Commits · a19cf04c5ac2a2bd35422a982df0f19be2d8a86f · POTTIER Francois / menhir

18 Sep, 2019 1 commit
- New module DFS. · a19cf04c
  POTTIER Francois authored Sep 18, 2019
  
  a19cf04c
15 Sep, 2019 1 commit
- Add two variants of existing positive tests. · fdc51f26
  POTTIER Francois authored Sep 15, 2019
  
  fdc51f26
12 Sep, 2019 6 commits
- New function [Lr0.incoming_edges]. · 6e4b8abf
  POTTIER Francois authored Sep 12, 2019
  
  6e4b8abf
- New function [Lr0.outgoing_edges]. · 2bd96cd5
  POTTIER Francois authored Sep 12, 2019
  
  2bd96cd5
- Typo. · f6ef5a8d
  POTTIER Francois authored Sep 12, 2019
  
  f6ef5a8d
- New function [Lr0.compare]. · 899b2889
  POTTIER Francois authored Sep 12, 2019
  
  899b2889
- Change [Misc.ListExtras.equal] to return [false] if the lists have different lengths. · 2294287c
  POTTIER Francois authored Sep 12, 2019
```
This conforms with the documentation of this function.
This function is currently unused anyway.
```
  2294287c
- Replace one instance of [Misc.ListExtras.equal] with its definition. · bb07fa6a
  POTTIER Francois authored Sep 12, 2019
  
  bb07fa6a
10 Sep, 2019 2 commits
- Add [--extra-flags] option to the test script. (Untested!) · b0019639
  POTTIER Francois authored Sep 10, 2019
  
  b0019639
- New function [Misc.trim] (unused on master). · 6a638bf9
  POTTIER Francois authored Sep 10, 2019
  
  6a638bf9
28 Aug, 2019 3 commits
- Typo in comment. · f4ca49f4
  POTTIER Francois authored Aug 28, 2019
  
  f4ca49f4
- Typo in comment. · 1141d792
  POTTIER Francois authored Aug 28, 2019
  
  1141d792
- Typo in comment. · 05faf98e
  POTTIER Francois authored Aug 28, 2019
  
  05faf98e
28 Jul, 2019 1 commit
- Patch Makefile.coq to not use V. · 3a5a1883
  POTTIER Francois authored Jul 28, 2019
  
  3a5a1883
09 Jul, 2019 1 commit
- * Add demo coq-minicalc. · 9a940e0a
  Jacques-Henri Jourdan authored Jul 09, 2019
```
* Fix check-tarball.sh accordingly, and make it compatible with local switches.
```
  9a940e0a
06 Jul, 2019 2 commits
- Changes. · 8251cc2d
  Jacques-Henri Jourdan authored Jul 06, 2019
  
  8251cc2d
- Nit about SSR style. · 1154fae0
  Jacques-Henri Jourdan authored Jul 06, 2019
  
  1154fae0
05 Jul, 2019 1 commit
- Fix compatibility with Coq 8.10/master, and fix Coq 8.10 warnings. · c8facadd
  Jacques-Henri Jourdan authored Jul 06, 2019
  
  c8facadd
26 Jun, 2019 3 commits
- Enable OCaml warnings 61..66. · dfce23df
  POTTIER Francois authored Jun 26, 2019
  
  dfce23df
- Saved and published documentation for release 20190626. · e34fccbd
  POTTIER Francois authored Jun 26, 2019
  
  e34fccbd
- Update the date in coq-menhirlib/CHANGES.md before the release. · 18b2e64f
  POTTIER Francois authored Jun 26, 2019
  
  18b2e64f
25 Jun, 2019 1 commit
- Changes.g · 59c3c754
  Jacques-Henri Jourdan authored Jun 25, 2019
  
  59c3c754
24 Jun, 2019 1 commit
- Honor DESTDIR in coq-menhirlib/src/Makefile. Closes issue #25 . · af37e557
  POTTIER Francois authored Jun 24, 2019
  
  af37e557
21 Jun, 2019 2 commits
- Merge branch 'master' of gitlab.inria.fr:fpottier/menhir · f4da0e11
  Jacques-Henri Jourdan authored Jun 22, 2019
  
  f4da0e11
- Fix compatibility wrt Coq 8.7.2 and Coq 8.9.1. · 5f195649
  Jacques-Henri Jourdan authored Jun 22, 2019
  
  5f195649
20 Jun, 2019 2 commits
- Fix a mistake in the GNUmakefile. · aa0b25fc
  POTTIER Francois authored Jun 20, 2019
  
  aa0b25fc
- Saved and published documentation for release 20190620. · 81848500
  POTTIER Francois authored Jun 20, 2019
  
  81848500
19 Jun, 2019 1 commit
- Work around in bug in [String.escaped] in OCaml 4.02.3. Closes issue #24 . · 7e5c7c06
  POTTIER Francois authored Jun 19, 2019
  
  7e5c7c06
18 Jun, 2019 1 commit
- Cosmetic fixes in the change logs. · 6cefed83
  POTTIER Francois authored Jun 18, 2019
  
  6cefed83
15 Jun, 2019 1 commit
- Remove remove: field in menhir.opam. · 3df9c52f
  POTTIER Francois authored Jun 15, 2019
  
  3df9c52f
14 Jun, 2019 1 commit
- Update GNUmakefile to use opam publish --packages-directory. · acfa8916
  POTTIER Francois authored Jun 14, 2019
  
  acfa8916
13 Jun, 2019 9 commits
- GNUmakefile and coq-menhirlib.opam: remove dependency on Menhir. Use a... · cbe8dea4
  POTTIER Francois authored Jun 13, 2019
```
GNUmakefile and coq-menhirlib.opam: remove dependency on Menhir. Use a conflicts: field to require the correct version of Menhir, if installed. Add date: and logpath: tags.
```
  cbe8dea4
- coq-menhirlib.opam: suppress redundant remove: field. · 2b431bf1
  POTTIER Francois authored Jun 13, 2019
  
  2b431bf1
- GNUmakefile: use a MacOS-compatible sed invocation. · 23d5c2bd
  POTTIER Francois authored Jun 13, 2019
  
  23d5c2bd
- GNUmakefile: fix the name of the Coq opam repository. · 5e6aa871
  POTTIER Francois authored Jun 13, 2019
  
  5e6aa871
- Saved and published documentation for release 20190613. · 1fa5c451
  POTTIER Francois authored Jun 13, 2019
  
  1fa5c451
- Update check-tarball.sh to remove Menhir(Lib) without asking. · 31fcf82c
  POTTIER Francois authored Jun 13, 2019
  
  31fcf82c
- Fix GNUmakefile to correctly update Version.v. · 07183886
  POTTIER Francois authored Jun 13, 2019
  
  07183886
- Modify check-tarball.sh to use a dedicated opam switch. · a5d2c4bb
  POTTIER Francois authored Jun 13, 2019
  
  a5d2c4bb
- Switch coq-menhirlib.opam back to 2.0 format. · 028f5393
  POTTIER Francois authored Jun 13, 2019
  
  028f5393