- 11 May, 2022 1 commit
-
-
POTTIER Francois authored
-
- 15 Apr, 2022 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 07 Apr, 2022 1 commit
-
-
POTTIER Francois authored
-
- 29 Mar, 2022 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 24 Mar, 2022 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 10 Mar, 2022 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
This fixes [--interpret-show-cst], which was inadvertently broken and did not work at all (assertion failure).
-
POTTIER Francois authored
-
- 10 Feb, 2022 7 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
This allows using --interpret together with --strategy legacy and --strategy simplified, as one wishes.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 04 Feb, 2022 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 26 Jan, 2022 1 commit
-
-
POTTIER Francois authored
-
- 25 Jan, 2022 5 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
LRijkstraFast: ignore transitions that became unreachable Closes #64 See merge request !29
-
Frédéric Bour authored
This fixes issue 64: Fatal error: exception File "src/LRijkstraFast.ml", line 892, characters 10-16: Assertion failed After conflict resolution, a goto transition can become impossible to reach (it still exists in the automaton but all reductions that allowed to each it where removed). In this case, LRijkstraFast does not even keep the unreachable class in the corresponding partition. Previously it would error in this case, now it just ignore the transition. Here is a minimal grammar to reproduce the issue: ``` %token IDENT EOF %start<unit> prog %% prog: decl* EOF { () } decl: term { () } term: | IDENT { () } | term term { () } ```
-
- 21 Jan, 2022 1 commit
-
-
POTTIER Francois authored
-
- 20 Jan, 2022 5 commits
-
-
Jacques-Henri Jourdan authored
-
Jacques-Henri Jourdan authored
-
POTTIER Francois authored
-
Jacques-Henri Jourdan authored
-
Jacques-Henri Jourdan authored
Use coq_makefile instead of custom Makefile. This should fix #60.
-
- 19 Jan, 2022 1 commit
-
-
POTTIER Francois authored
-
- 06 Jan, 2022 5 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
-
-