Commits · release-branch-20201216 · POTTIER Francois / menhir

16 Dec, 2020 8 commits
- Release 20201216. · abb46d3d
  POTTIER Francois authored Dec 16, 2020
  
  abb46d3d
- CHANGES. · 9d3866a7
  POTTIER Francois authored Dec 16, 2020
  
  9d3866a7
- Document --strategy. · 2a40fd4c
  POTTIER Francois authored Dec 16, 2020
  
  2a40fd4c
- TODO. · 03578c24
  POTTIER Francois authored Dec 16, 2020
  
  03578c24
- Obey [--strategy]. · 4277a013
  POTTIER Francois authored Dec 16, 2020
```
The function [MenhirLib.Engine.entry] is parameterized with a strategy.
The table back-end applies [entry] to the strategy dictacted by --strategy.
The code back-end currently does not support --strategy simplified.
The reference interpreter obeys --strategy.
```
  4277a013
- Settings: introduce the flag [--strategy]. · 205b97b3
  POTTIER Francois authored Dec 16, 2020
  
  205b97b3
- Change [strategy] to a variant type, for convenience. · 82ed54e0
  POTTIER Francois authored Dec 16, 2020
  
  82ed54e0
- MenhirLib.Engine: introduce a simplified error-handling strategy. · e71ce45f
  POTTIER Francois authored Dec 16, 2020
```
The parameter [strategy] allows choosing between the legacy strategy
and the new one.
```
  e71ce45f
14 Dec, 2020 21 commits
- Saved and published documentation for release 20201214. · 85e54666
  POTTIER Francois authored Dec 14, 2020
  
  85e54666
- Update [make versions] to compile only, not test. · 576dcd0e
  POTTIER Francois authored Dec 14, 2020
  
  576dcd0e
- Update [make handiwork]. (Utility command.) · b810d2eb
  POTTIER Francois authored Dec 14, 2020
  
  b810d2eb
- CHANGES. · 7677ac53
  POTTIER Francois authored Dec 14, 2020
  
  7677ac53
- Document --coq-no-version-check. · eeb14f3b
  POTTIER Francois authored Dec 14, 2020
  
  eeb14f3b
- Remove a long line in [menhir --help]. · 201233d8
  POTTIER Francois authored Dec 14, 2020
  
  201233d8
- CHANGES. · e90a3101
  POTTIER Francois authored Dec 14, 2020
  
  e90a3101
- Document --echo-errors-concrete. · ed456c2b
  POTTIER Francois authored Dec 14, 2020
  
  ed456c2b
- Add [--echo-errors-concrete]. · b35c24c4
  POTTIER Francois authored Dec 14, 2020
  
  b35c24c4
- CHANGES. · d841cddc
  POTTIER Francois authored Dec 14, 2020
  
  d841cddc
- Comment. · 6f9a2418
  POTTIER Francois authored Dec 14, 2020
  
  6f9a2418
- Use --require-aliases --strict when compiling Menhir in stage 2. · ffc385fd
  POTTIER Francois authored Dec 14, 2020
  
  ffc385fd
- Add token aliases for every token in Menhir's stage 2 grammar. · faeb14f1
  POTTIER Francois authored Dec 14, 2020
  
  faeb14f1
- Interpret: print a concrete sentence as part of the auto-comments. · ef2cd777
  POTTIER Francois authored Dec 14, 2020
  
  ef2cd777
- Open [Printf]. · e4f6f650
  POTTIER Francois authored Dec 14, 2020
  
  e4f6f650
- New function [Misc.with_buffer]. · 6ffd6a01
  POTTIER Francois authored Dec 14, 2020
  
  6ffd6a01
- Define [Terminal.alias] and [Terminal.unquoted_alias]. · 1d78a08f
  POTTIER Francois authored Dec 14, 2020
  
  1d78a08f
- Define [Lexer.decode_string]. · 9aefbbbe
  POTTIER Francois authored Dec 14, 2020
  
  9aefbbbe
- Lexer: remove a couple useless backslashes. · 1ce47bfd
  POTTIER Francois authored Dec 14, 2020
  
  1ce47bfd
- Add a test of --require-aliases --strict. · 594bd69f
  POTTIER Francois authored Dec 14, 2020
  
  594bd69f
- GrammarFunctor: define [every_token_has_an_alias]. · 56339f63
  POTTIER Francois authored Dec 14, 2020
  
  56339f63
12 Dec, 2020 1 commit
- Document --require-aliases. · 397505ef
  POTTIER Francois authored Dec 12, 2020
  
  397505ef
11 Dec, 2020 6 commits
- Lexer: allow an escaped double quote inside a string literal (a token alias). · d0e408c1
  POTTIER Francois authored Dec 11, 2020
  
  d0e408c1
- CHANGES. · f6f29d7b
  POTTIER Francois authored Dec 11, 2020
  
  f6f29d7b
- New option [--require-aliases]. · 07b8e78e
  POTTIER Francois authored Dec 11, 2020
  
  07b8e78e
- Keep token aliases instead of dropping them when joining partial grammars. · e6a4a9c7
  POTTIER Francois authored Dec 11, 2020
  
  e6a4a9c7
- Fix an out-of-date comment. · 425ec7ba
  POTTIER Francois authored Dec 11, 2020
  
  425ec7ba
- TODO. · 0f404f15
  POTTIER Francois authored Dec 11, 2020
  
  0f404f15
10 Dec, 2020 2 commits
- CHANGES. · c1661750
  POTTIER Francois authored Dec 10, 2020
  
  c1661750
- At log level [-la 2], show which states have a conflict between multiple... · 87f6da61
  POTTIER Francois authored Dec 10, 2020
```
At log level [-la 2], show which states have a conflict between multiple [%on_error_reduce] declarations.
```
  87f6da61
08 Dec, 2020 1 commit
- test/dynamic/speed: use [Gc.full_major] before beginning. · 3f051341
  POTTIER Francois authored Dec 08, 2020
  
  3f051341
07 Dec, 2020 1 commit
- TODO. · fbbdeaec
  POTTIER Francois authored Dec 07, 2020
  
  fbbdeaec