- 06 Apr, 2017 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 24 Mar, 2017 1 commit
-
-
POTTIER Francois authored
-
- 20 Jan, 2017 1 commit
-
-
POTTIER Francois authored
-
- 01 Jan, 2017 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
of menhir --suggest-ocamlfind, so that the Makefile works when Menhir is compiled as a Windows executable. (Suggested by Jonathan Protzenko.)
-
- 01 Dec, 2016 1 commit
-
-
POTTIER Francois authored
-
- 15 Nov, 2016 2 commits
-
-
POTTIER Francois authored
bindings of the form [x = $i] for ocamlyacc. This should work around a name capture caused by the fact that ocamlyacc internally translates [$i] to [_i] (and our own variables are often of the form [_i]).
-
POTTIER Francois authored
%type declarations for ocamlyacc. (Reported by Kenji Maillard.)
-
- 14 Nov, 2016 1 commit
-
-
POTTIER Francois authored
-
- 05 Sep, 2016 1 commit
-
-
POTTIER Francois authored
-
- 26 Aug, 2016 1 commit
-
-
POTTIER Francois authored
-
- 25 Aug, 2016 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 08 Aug, 2016 1 commit
-
-
POTTIER Francois authored
-
- 05 Aug, 2016 1 commit
-
-
POTTIER Francois authored
-
- 23 Jun, 2016 1 commit
-
-
POTTIER Francois authored
so as to avoid OCaml's warning 41.
-
- 18 May, 2016 2 commits
-
-
POTTIER Francois authored
by removing redundant (unused) parameters.
-
POTTIER Francois authored
-
- 04 May, 2016 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
Jacques-Henri Jourdan authored
-
- 11 Mar, 2016 1 commit
-
-
POTTIER Francois authored
-
- 03 Mar, 2016 1 commit
-
-
POTTIER Francois authored
-
- 30 Dec, 2015 1 commit
-
-
POTTIER Francois authored
-
- 11 Nov, 2015 1 commit
-
-
POTTIER Francois authored
-
- 10 Nov, 2015 3 commits
-
-
POTTIER Francois authored
a parser produced by menhir --table cannot be linked with an incorrect version of MenhirLib.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 06 Nov, 2015 1 commit
-
-
POTTIER Francois authored
-
- 04 Nov, 2015 3 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
Updated the table back-end to properly initialize the position in the sentinel cell at the bottom of the stack. This requires changing the function [start] in the incremental API to take a position. Updated the doc and demos.
-
- 03 Nov, 2015 1 commit
-
-
POTTIER Francois authored
-
- 02 Nov, 2015 1 commit
-
-
POTTIER Francois authored
In the previous version, the redefinition of $(libdir) was ineffective when we were called from opam, which overrides $(libdir) from outside.
-
- 31 Oct, 2015 1 commit
-
-
POTTIER Francois authored
-
- 30 Oct, 2015 1 commit
-
-
POTTIER Francois authored
-
- 27 Oct, 2015 1 commit
-
-
POTTIER Francois authored
-
- 26 Oct, 2015 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-