- 01 Jul, 2020 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
This allows a 30% speedup on the construction of large LR(1) automata and in conflict explanation.
-
- 28 Jun, 2020 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 24 Jun, 2020 7 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
although it is not clear whether this is necessary.
-
POTTIER Francois authored
Fix DWordBitSet.remove and QWordBitSet.remove in the same way, although it is not clear whether this is necessary.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
always preserves physical equality when the element is already in the set. This property was exploited by the conflict explanation code. The failure of this property (since 2020/01/30) would cause all reduce/reduce conflicts to be mistakenly declared unexplainable.
-
POTTIER Francois authored
This grammar currently has an unexplainable conflict which in fact should be explainable. Investigation shows that this is due to an incorrect assumption about the function [TerminalSet.add]. This will be fixed in the next commit.
-
- 19 Jun, 2020 4 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
instead of .cmo and .cmx. This should have been done earlier (when we switched to automated installation via opam).
-
- 12 Jun, 2020 11 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
Remove --no-print-directory, because it prevents emacs from jumping to the file that contains the error.
-
POTTIER Francois authored
Use [pvarlocated] when creating the mock file, so that warnings or errors about unused semantic values are reported in the .mly file.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
Change [src/Makefile] so that [make] under emacs produces errors that emacs knows how to locate (yay).
-
- 06 Jun, 2020 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
A pseudo-token (declared e.g. by %left) could appear in a position where a normal token was expected (e.g., as an actual parameter of a parameterized symbol) and that was not detected, giving rise (later on) to an assertion failure.
-
POTTIER Francois authored
-
- 05 Jun, 2020 4 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 27 May, 2020 1 commit
-
-
POTTIER Francois authored
-
- 25 May, 2020 6 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
Infer: change the content of the .mock.ml file so that all occurrences of the type of a nonterminal symbol are shared. Also, use the type inferred by OCaml instead of the type declared by the user, as they do not necessarily coincide. This closes issue #37. Adjust the demo test/dynamic/misc/variants, where the OCaml type-checker now correctly requires one more branch in the [match] construct.
-
POTTIER Francois authored
New test test/dynamic/misc/variants, which in the current version of Menhir causes a segmentation fault. This illustrates issue #37.
-
POTTIER Francois authored
Change [Infer.ntvar] to return a type, not a string. Do not export [CodePieces.ntvar], which is unused.
-
POTTIER Francois authored
-