Commits · aa0b25fc4e383cd402ce065af837632f85ac1b03 · POTTIER Francois / menhir

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 11 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
- CHANGES. · ee02d385
  POTTIER Francois authored Jun 13, 2019
  
  ee02d385
- Update [make opam] in GNUmakefile to use the new opam-publish. · 5ad48508
  POTTIER Francois authored Jun 13, 2019
  
  5ad48508
06 Jun, 2019 1 commit
- Add a paragraph to the manual about why it is recommended to check completeness of .messages files. · ce21077f
  POTTIER Francois authored Jun 06, 2019
  
  ce21077f
05 May, 2019 1 commit
- TODO. · 5eadec6e
  POTTIER Francois authored May 05, 2019
  
  5eadec6e
29 Mar, 2019 2 commits
- Merge branch 'master' of gitlab.inria.fr:fpottier/menhir · 5eb0c3da
  Jacques-Henri Jourdan authored Mar 29, 2019
  
  5eb0c3da
- Coq Menhirlib : the validator is automatically generated from its specification using type classes. · 1d8cd89d
  Jacques-Henri Jourdan authored Mar 29, 2019
  
  1d8cd89d
26 Mar, 2019 4 commits
- Revert "Several adjusments." · d60be303
  Yann Regis-Gianas authored Mar 26, 2019
```
This reverts commit e8b59724.
```
  d60be303
- Several adjusments. · e8b59724
  Yann Regis-Gianas authored Mar 26, 2019
  
  e8b59724
- Several adjusments. · dd7f27cc
  Yann Regis-Gianas authored Mar 26, 2019
  
  dd7f27cc
- Several adjusments. · fad3d087
  Yann Regis-Gianas authored Mar 26, 2019
  
  fad3d087
25 Mar, 2019 6 commits
- Minor adjustment of the website. · db87d24f
  Yann Regis-Gianas authored Mar 25, 2019
  
  db87d24f
- New layout draft for website. · c3e5c0a2
  Yann Regis-Gianas authored Mar 25, 2019
  
  c3e5c0a2
- TODO. · cef7236e
  POTTIER Francois authored Mar 25, 2019
  
  cef7236e
- CHANGES: cosmetic changes. · 81594239
  POTTIER Francois authored Mar 25, 2019
  
  81594239
- Fix CSS for mobile phone. · 047d5f9f
  Yann Regis-Gianas authored Mar 25, 2019
  
  047d5f9f
- A new version of the webpage. · d5788860
  Yann Regis-Gianas authored Mar 25, 2019
  
  d5788860
21 Mar, 2019 1 commit
- Coq backend: the fuel parameter is now given as the logarithm of the maximal number of steps. · 8e7ec381
  Jacques-Henri Jourdan authored Mar 21, 2019
  
  8e7ec381
13 Mar, 2019 1 commit
- Coq backend : do no longer use Stdlib's Stream library, which is likely to be... · 76292c83
  Jacques-Henri Jourdan authored Mar 13, 2019
```
Coq backend : do no longer use Stdlib's Stream library, which is likely to be deprecated because it is using positive coinductive types.
```
  76292c83
25 Feb, 2019 7 commits
- Sillier bug. · d0593e9a
  Jacques-Henri Jourdan authored Feb 25, 2019
  
  d0593e9a
- Silly bug. · 6ced6d63
  Jacques-Henri Jourdan authored Feb 25, 2019
  
  6ced6d63
- Update changes. · 206abba6
  Jacques-Henri Jourdan authored Feb 25, 2019
  
  206abba6
- Make optional the version check for the Coq backend · 70ddd069
  Jacques-Henri Jourdan authored Feb 25, 2019
  
  70ddd069
- Coq backend: Rename submodule Parser of generated parsers into MenhirLibParser to avoid clashes. · decd6ec9
  Jacques-Henri Jourdan authored Feb 25, 2019
  
  decd6ec9
- Get rid of some Obj.t in the interface of the extraction of Coq parsers. · 01aeda9e
  Jacques-Henri Jourdan authored Feb 25, 2019
  
  01aeda9e
- Coq backend : the token type is now an inductive. · 678f8ec7
  Jacques-Henri Jourdan authored Feb 25, 2019
  
  678f8ec7