Commits · 7ea0b7db2d25140ebd299a0420dcf47a5686e97d · POTTIER Francois / menhir

27 Jan, 2020 2 commits
- Manual: improved explanations regarding the use of dune. · 7ea0b7db
  POTTIER Francois authored Jan 27, 2020
  
  7ea0b7db
- Manual: fix some pointers to the demos. · a72952fe
  POTTIER Francois authored Jan 27, 2020
  
  a72952fe
24 Jan, 2020 5 commits
- Change the dependencies on dune to build-time dependencies. · e1b85522
  POTTIER Francois authored Jan 24, 2020
  
  e1b85522
- Add [promote.sh] to promote a specific test (or to add a new test). · c9813dd2
  POTTIER Francois authored Jan 24, 2020
  
  c9813dd2
- Move [make expected] and [make depend] to the toplevel Makefile. · 344d760f
  POTTIER Francois authored Jan 24, 2020
  
  344d760f
- test/static/src/test.ml: make dune.auto more readable. · af7816f8
  POTTIER Francois authored Jan 24, 2020
  
  af7816f8
- Increase the maximum length of a production. Display polite message if exceeded. · 686f4383
  POTTIER Francois authored Jan 24, 2020
```
Close issue #31.
```
  686f4383
23 Jan, 2020 6 commits
- Tiny tweaks in CHANGES. · 3666c879
  POTTIER Francois authored Jan 23, 2020
  
  3666c879
- Remove dune-workspace.versions from release branches. · 56f02cc8
  POTTIER Francois authored Jan 23, 2020
  
  56f02cc8
- Saved and published documentation for release 20200123. · e3f67efa
  POTTIER Francois authored Jan 23, 2020
  
  e3f67efa
- Add [name] fields to the .opam files. · fd9a4b99
  POTTIER Francois authored Jan 23, 2020
  
  fd9a4b99
- Split the opam package into 3 packages and let opam do the installation instead of dune. · 423432d2
  POTTIER Francois authored Jan 23, 2020
  
  423432d2
- Fix the creation of coq-menhirlib/src/Version.v. · eb8a4411
  POTTIER Francois authored Jan 23, 2020
  
  eb8a4411
22 Jan, 2020 2 commits
- src/dune: make OCaml warnings non-fatal in release builds. · 1ed1dd31
  POTTIER Francois authored Jan 22, 2020
```
menhir.opam: add --profile=release when building.
```
  1ed1dd31
- Fix [src/stage{1,2,3}/dune] to extend the OCaml compilation flags defined in... · 932a8df7
  POTTIER Francois authored Jan 22, 2020
```
Fix [src/stage{1,2,3}/dune] to extend the OCaml compilation flags defined in [src/dune] instead of clobbering them.
```
  932a8df7
21 Jan, 2020 5 commits
- coq-menhirlib.opam: add a [license] field. · 8f0d2b5f
  POTTIER Francois authored Jan 21, 2020
  
  8f0d2b5f
- Saved and published documentation for release 20200121. · e81e3149
  POTTIER Francois authored Jan 21, 2020
  
  e81e3149
- Rename [Pervasives.compare] in order to avoid a warning in OCaml 4.09. · d7aee078
  POTTIER Francois authored Jan 21, 2020
  
  d7aee078
- Fix [generate-printers] for compatibility with OCaml 4.02.3. · 4f08ad19
  POTTIER Francois authored Jan 21, 2020
  
  4f08ad19
- The BIG SWITCH from ocamlbuild to dune. · 21741c6b
  POTTIER Francois authored Jan 15, 2020
```
* Remove support for installing via ocamlfind.
* Remove PREFIX.
* Move the source of MenhirLib into lib/.
* Move the source of MenhirSdk into sdk/.
* Build and install everything using dune.
* Run all tests using dune. Reorganize the test directory.
* Move the old ocamlbuild demos to a subdirectory.
* Introduce [make versions] to test Menhir with multiple versions of OCaml.
* Update the release scripts.
```
  21741c6b
20 Jan, 2020 1 commit
- Fix [make test] by letting the .flags file take precedence over the default settings. · 13e4da9f
  POTTIER Francois authored Jan 20, 2020
  
  13e4da9f
17 Jan, 2020 2 commits
- Remove demos/obsolete. · 404de40c
  POTTIER Francois authored Jan 17, 2020
  
  404de40c
- Manual: indicate dune is preferred over ocamlbuild. · bc873567
  POTTIER Francois authored Jan 17, 2020
  
  bc873567
15 Jan, 2020 2 commits
- LRijkstraCore: introduce a [debug] flag to control assertions. · 9db9a976
  POTTIER Francois authored Jan 15, 2020
```
One assertion in LRijkstra remains *not* controlled by this flag.
```
  9db9a976
- demos/coq-minicalc/Makefile: use -include to avoid an error message. · 70a6427f
  POTTIER Francois authored Jan 15, 2020
  
  70a6427f
07 Jan, 2020 1 commit
- TODO. · f3526936
  POTTIER Francois authored Jan 07, 2020
  
  f3526936
01 Jan, 2020 2 commits
- Remove redundant TODO entry. · 98f14d84
  POTTIER Francois authored Jan 01, 2020
  
  98f14d84
- TODO. · 56c39d17
  POTTIER Francois authored Jan 01, 2020
  
  56c39d17
23 Oct, 2019 1 commit
- TODO. · 8dae2cb5
  POTTIER Francois authored Oct 23, 2019
  
  8dae2cb5
02 Oct, 2019 3 commits
- New function [Lr0.has_eos_conflict_lr1state]. · 0bdd5a54
  POTTIER Francois authored Oct 02, 2019
  
  0bdd5a54
- Name the output signature of [Lr1construction.Run]. · 2da1a416
  POTTIER Francois authored Oct 02, 2019
  
  2da1a416
- Add missing headers. · 6c296588
  POTTIER Francois authored Oct 02, 2019
  
  6c296588
01 Oct, 2019 2 commits
- Fix coq-menhirlib/CHANGES.md. · ecf11313
  POTTIER Francois authored Oct 02, 2019
  
  ecf11313
- New function [SymbolMap.init]. · d674c82a
  POTTIER Francois authored Oct 01, 2019
  
  d674c82a
26 Sep, 2019 6 commits
- Coq-menhirlib is not compatible with Coq 8.6 · ca968110
  Jacques-Henri Jourdan authored Sep 26, 2019
  
  ca968110
- In the test script, pass extra flags to Menhir *before* our verbosity settings. · 6dac748f
  POTTIER Francois authored Sep 12, 2019
  
  6dac748f
- Clean up the code that detects and reports end-of-stream conflicts in Lr1. · d6703c1e
  POTTIER Francois authored Sep 26, 2019
  
  d6703c1e
- New functions [transition_tokens] and [reduction_tokens] in Lr0. · aea80b11
  POTTIER Francois authored Sep 26, 2019
  
  aea80b11
- New function [Lr0.has_eos_conflict]. · 5580435d
  POTTIER Francois authored Sep 26, 2019
  
  5580435d
- New function [Symbol.is_terminal]. · 8634638f
  POTTIER Francois authored Sep 26, 2019
  
  8634638f