Commits · bc873567dbf4ba57726183884f2be167740e3fa6 · POTTIER Francois / menhir

17 Jan, 2020 1 commit
- 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 10 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
- Misc adjustments regarding coq-minicalc. · cec5e7ec
  POTTIER Francois authored Sep 23, 2019
  
  cec5e7ec
- Update [Lr1] to use [Lr1construction]. · d46683e3
  POTTIER Francois authored Sep 19, 2019
```
Also, move [invert] from [Lr1] to [Lr0].
```
  d46683e3
- New function [Lr0.reductions_table]. · 6978b22a
  POTTIER Francois authored Sep 23, 2019 and POTTIER Francois committed Sep 26, 2019
  
  6978b22a
- Introduce a new module Lr1construction, which isolates the construction... · e386eb24
  POTTIER Francois authored Sep 19, 2019
```
Introduce a new module Lr1construction, which isolates the construction algorithm currently found at the beginning of Lr1.
```
  e386eb24
24 Sep, 2019 15 commits
- Addition to CHANGES.md. · 37d5e3db
  POTTIER Francois authored Sep 24, 2019
  
  37d5e3db
- Saved and published documentation for release 20190924. · 2f246ce5
  POTTIER Francois authored Sep 24, 2019
  
  2f246ce5
- Update the expected output of tests. · 24b550ad
  POTTIER Francois authored Sep 24, 2019
  
  24b550ad
- Ensure that the standard library is loaded first. This fixes the bug... · d15311b7
  POTTIER Francois authored Sep 24, 2019
```
Ensure that the standard library is loaded first. This fixes the bug introduced by my incorrect refactoring in commit 6abe2316.
```
  d15311b7
- Update headache URL. · 6842ebf8
  POTTIER Francois authored Sep 24, 2019
  
  6842ebf8
- Update CHANGES.md. · f2a1b488
  POTTIER Francois authored Sep 24, 2019
  
  f2a1b488
- In [menhir --help], indicate that [--stdlib] is deprecated. · 3aeab8c3
  POTTIER Francois authored Sep 24, 2019
  
  3aeab8c3
- Documentation. · d324b9ad
  POTTIER Francois authored Sep 24, 2019
  
  d324b9ad
- Some refactoring and comments in [Front]. · 6abe2316
  POTTIER Francois authored Sep 24, 2019
  
  6abe2316
- Adapt manual · d8a74eab
  Nicolás Ojeda Bär authored Sep 19, 2019 and POTTIER Francois committed Sep 24, 2019
  
  d8a74eab
- Small Cygwin fix · 6c63aa99
  Nicolás Ojeda Bär authored Sep 19, 2019 and POTTIER Francois committed Sep 24, 2019
  
  6c63aa99
- Adapt distribution script · 5482ac13
  Nicolás Ojeda Bär authored Sep 19, 2019 and POTTIER Francois committed Sep 24, 2019
  
  5482ac13
- Remove MENHIR_STDLIB, --stdlib logic · b07fb441
  Nicolás Ojeda Bär authored Sep 19, 2019 and POTTIER Francois committed Sep 24, 2019
  
  b07fb441
- Load stdlib grammar from embedded standard.mly · 83463c31
  Nicolás Ojeda Bär authored Sep 19, 2019 and POTTIER Francois committed Sep 24, 2019
  
  83463c31
- Add ocamlbuild rule to embed an .mly inside an OCaml module · ed40ca11
  Nicolás Ojeda Bär authored Sep 19, 2019 and POTTIER Francois committed Sep 24, 2019
  
  ed40ca11
19 Sep, 2019 1 commit
- Remove the duplicate function [addl] in [Slr] and [Lr1]. Replace it with [Lr0.add_reductions]. · 95145679
  POTTIER Francois authored Sep 19, 2019
  
  95145679
18 Sep, 2019 2 commits
- Refactoring in Lr1: use [DFS] instead of a home-made [visit] function. · 1dd3480c
  POTTIER Francois authored Sep 18, 2019
  
  1dd3480c
- Use Boolean marks in Lr1. · 4c2a2c83
  POTTIER Francois authored Sep 18, 2019
  
  4c2a2c83