- 15 Feb, 2019 1 commit
-
-
Jacques-Henri Jourdan authored
-
- 07 Feb, 2019 1 commit
-
-
POTTIER Francois authored
-
- 23 Nov, 2018 1 commit
-
-
POTTIER Francois authored
-
- 14 Nov, 2018 4 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 12 Nov, 2018 1 commit
-
-
POTTIER Francois authored
-
- 06 Nov, 2018 1 commit
-
-
POTTIER Francois authored
-
- 31 Oct, 2018 2 commits
-
-
POTTIER Francois authored
during the elimination of %inlined symbols.
-
POTTIER Francois authored
Updated [Invariant.print] for this purpose.
-
- 26 Oct, 2018 1 commit
-
-
POTTIER Francois authored
-
- 25 Oct, 2018 1 commit
-
-
POTTIER Francois authored
-
- 24 Oct, 2018 2 commits
-
-
POTTIER Francois authored
which produces a token [SEMI]. The parser SEMI to appear in three places: after a declaration; after a rule; after a producer. Only two grammars in the test suite have required changes.
-
POTTIER Francois authored
-
- 19 Oct, 2018 1 commit
-
-
POTTIER Francois authored
when bound to a wildcard pattern. Thus, avoid triggering OCaml's warning 9.
-
- 06 Oct, 2018 1 commit
-
-
POTTIER Francois authored
I attempted a release yesterday, but it was not compatible with OCaml 4.02.
-
- 05 Oct, 2018 5 commits
-
-
POTTIER Francois authored
as we need to annotate it with `%unreachable` to declare that it is okay if it is unreachable.
-
POTTIER Francois authored
Add a link from the manual to `standard.mly` in the repository.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 03 Oct, 2018 1 commit
-
-
POTTIER Francois authored
-
- 20 Sep, 2018 1 commit
-
-
POTTIER Francois authored
-
- 18 Sep, 2018 1 commit
-
-
POTTIER Francois authored
a sentence (composed of terminal symbols) of minimal length generated by `N`.
-
- 13 Sep, 2018 1 commit
-
-
POTTIER Francois authored
-
- 10 Sep, 2018 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 05 Sep, 2018 1 commit
-
-
POTTIER Francois authored
(wiping out any pre-existing file), even if there are in fact no conflicts.
-
- 27 Aug, 2018 1 commit
-
-
POTTIER Francois authored
which would cause an incompatibility with Coq > 8.8.1. (Reported and corrected by Michael Soegtrop.)
-
- 03 Jul, 2018 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 08 Jun, 2018 1 commit
-
-
POTTIER Francois authored
-
- 30 May, 2018 1 commit
-
-
POTTIER Francois authored
New options --coq-lib-path and --coq-lib-no-path control this behavior.
-
- 23 May, 2018 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 22 Dec, 2017 1 commit
-
-
POTTIER Francois authored
-
- 07 Dec, 2017 1 commit
-
-
POTTIER Francois authored
-
- 06 Dec, 2017 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-