Commits · 5ad48508489b6832a81472ccff57ad627eb776d0 · POTTIER Francois / menhir · GitLab

13 Jun, 2019 1 commit
- 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
23 Feb, 2019 1 commit
- Coq backend : Make generated parsers executable. · fa91ef1b
  Jacques-Henri Jourdan authored Feb 23, 2019
  
  fa91ef1b
22 Feb, 2019 5 commits
- Headache, licences, headers for coq-menhirlib. · 1eaae61e
  Jacques-Henri Jourdan authored Feb 23, 2019
  
  1eaae61e
- NumberedAlphabet should not be opaque. · 61e48315
  Jacques-Henri Jourdan authored Feb 22, 2019
  
  61e48315
- Fix coq backend. · ff242077
  Jacques-Henri Jourdan authored Feb 22, 2019
  
  ff242077
- Coq backend: get rid of int31. · bdae60bc
  Jacques-Henri Jourdan authored Feb 22, 2019
  
  bdae60bc
- coq-menhirlib : use -R and drop "From MenhirLib" · 5138e988
  Jacques-Henri Jourdan authored Feb 22, 2019
  
  5138e988
21 Feb, 2019 6 commits
- We actually want to support --coq-lib-path. · 3f218a9a
  Jacques-Henri Jourdan authored Feb 21, 2019
```
This reverts commit cc4aaa06.
```
  3f218a9a
- Update changes. · 79d71413
  Jacques-Henri Jourdan authored Feb 21, 2019
  
  79d71413
- Useless parameter. · 61180d3e
  Jacques-Henri Jourdan authored Feb 21, 2019
  
  61180d3e
- Coq menhirlib : in cast, make sure we do reprove the equality in the extracted code. · 82945e24
  Jacques-Henri Jourdan authored Feb 21, 2019
  
  82945e24
- Fix Coq backend for new validator, check version in Coq parsers. · cc4aaa06
  Jacques-Henri Jourdan authored Feb 21, 2019
  
  cc4aaa06
- coq-menhirlib/descr n'a rien a faire dans l'archive non plus. · 98a73d83
  Jacques-Henri Jourdan authored Feb 21, 2019
  
  98a73d83
15 Feb, 2019 4 commits
- We cannot use the same version of opam-publish for menhir and coq-menhirlib. · d6c51cf8
  Jacques-Henri Jourdan authored Feb 15, 2019
  
  d6c51cf8
- Coq repo uses opam 1.2 format. · 53ffce87
  Jacques-Henri Jourdan authored Feb 15, 2019
  
  53ffce87
- Revert "No need to pass the archive to opam publish." · 5bb950fd
  Jacques-Henri Jourdan authored Feb 15, 2019
```
This reverts commit 8f1610ec.
```
  5bb950fd
- No need to pass the archive to opam publish. · 8f1610ec
  Jacques-Henri Jourdan authored Feb 15, 2019
  
  8f1610ec