Commits · 6dac748f06d7e220332d148e065fd23c6cc7711c · POTTIER Francois / menhir

26 Sep, 2019 9 commits
- 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 5 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
- Refactoring in [Lr1]: record a node's incoming symbol when an edge is traversed. · ea998e61
  POTTIER Francois authored Sep 18, 2019
  
  ea998e61
- Add the module [Lr1.BackwardEdges]. Remove the function [Lr1.reverse_dfs]. · 257c79c3
  POTTIER Francois authored Sep 18, 2019
  
  257c79c3
- 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 1 commit
- Typo in comment. · f4ca49f4
  POTTIER Francois authored Aug 28, 2019
  
  f4ca49f4