Commits · 26133e133ec9bacd9428774386d807ac06c1c4bf · POTTIER Francois / menhir

10 May, 2017 1 commit
- Clarify a comment. · 26133e13
  POTTIER Francois authored May 10, 2017
  
  26133e13
09 May, 2017 6 commits
- Tiny GNUmakefile improvement. · 4601ad21
  POTTIER Francois authored May 09, 2017
  
  4601ad21
- CHANGES. · dc36f23b
  POTTIER Francois authored May 09, 2017
  
  dc36f23b
- Removed [Action.print], which was used only once. (Inlined there.) · 071b032e
  POTTIER Francois authored May 09, 2017
  
  071b032e
- Always include line number directives in generated .ml files. · 2352844c
  POTTIER Francois authored May 09, 2017
  
  2352844c
- Comments. · 15021b8a
  POTTIER Francois authored May 09, 2017
  
  15021b8a
- TODO. · 3389a4f3
  POTTIER Francois authored May 09, 2017
  
  3389a4f3
02 May, 2017 3 commits
- New example test/good/pager.mly. · be045f3a
  POTTIER Francois authored May 02, 2017
  
  be045f3a
- Comment. · 170862ef
  POTTIER Francois authored May 02, 2017
  
  170862ef
- TODO. · b1c17bde
  POTTIER Francois authored May 02, 2017
  
  b1c17bde
19 Apr, 2017 2 commits
- Fix date in CHANGES.md. · 91b68bf1
  POTTIER Francois authored Apr 19, 2017
  
  91b68bf1
- Added a new test, no_future. · a4689b8a
  POTTIER Francois authored Apr 19, 2017
  
  a4689b8a
18 Apr, 2017 6 commits
- GNUmakefile fix. · 7a457321
  POTTIER Francois authored Apr 18, 2017
  
  7a457321
- Headers. · 2540a850
  POTTIER Francois authored Apr 18, 2017
  
  2540a850
- TODO. · f248910b
  POTTIER Francois authored Apr 18, 2017
  
  f248910b
- Eliminate an overfull \hbox. · b430b21a
  POTTIER Francois authored Apr 18, 2017
  
  b430b21a
- Documentation improvements. · ab19bdfb
  POTTIER Francois authored Apr 18, 2017
  
  ab19bdfb
- Reordering of functions in the API. · 1e028721
  POTTIER Francois authored Apr 18, 2017
  
  1e028721
10 Apr, 2017 5 commits
- TODO. · 631ef751
  POTTIER Francois authored Apr 10, 2017
  
  631ef751
- Mention MenhirLib.ErrorReports in CHANGES. · d5f98371
  POTTIER Francois authored Apr 10, 2017
  
  d5f98371
- CHANGES. · d2ebbe37
  POTTIER Francois authored Apr 10, 2017
  
  d2ebbe37
- Document [feed]. · ec365950
  POTTIER Francois authored Apr 10, 2017
  
  ec365950
- Document [current_state_number]. · 4b199254
  POTTIER Francois authored Apr 10, 2017
  
  4b199254
07 Apr, 2017 16 commits
- CHANGES. · db51d2ce
  POTTIER Francois authored Apr 07, 2017
  
  db51d2ce
- Merge branch 'master' of gitlab.inria.fr:fpottier/menhir · a9767a15
  POTTIER Francois authored Apr 07, 2017
  
  a9767a15
- TODO. · 9a1c5eec
  POTTIER Francois authored Apr 07, 2017
  
  9a1c5eec
- Document [equal]. · 754eefd7
  POTTIER Francois authored Apr 07, 2017
  
  754eefd7
- Documented [get]. · f3b9933b
  POTTIER Francois authored Apr 07, 2017
  
  f3b9933b
- Document [pop_many]. · d5dd4089
  POTTIER Francois authored Apr 07, 2017
  
  d5dd4089
- Document [top]. · 0f2e9c1a
  POTTIER Francois authored Apr 07, 2017
  
  0f2e9c1a
- Add a comment about the type [production]. · 40d92a65
  POTTIER Francois authored Apr 07, 2017
  
  40d92a65
- Documentation: move a sentence about the type [production]. · 5bfbf871
  POTTIER Francois authored Apr 07, 2017
  
  5bfbf871
- Document [state_has_default_reduction]. · 53c67a0d
  POTTIER Francois authored Apr 07, 2017
  
  53c67a0d
- Incremental API: rename [find_default_reduction] to [state_has_default_reduction], · 5a3903d4
  POTTIER Francois authored Apr 07, 2017
```
and let it return a Boolean result.
```
  5a3903d4
- Incremental API: rename [has_default_reduction] to [env_has_default_reduction]. · b00eac64
  POTTIER Francois authored Apr 07, 2017
  
  b00eac64
- In [force_reduction], add an assertion to make sure that [prod] is not a start production. · ac0d635b
  POTTIER Francois authored Apr 07, 2017
  
  ac0d635b
- Some references. · 6f32bcb7
  POTTIER Francois authored Apr 07, 2017
  
  6f32bcb7
- Document [pop], [force_reduction], [production_index] and [find_production]. · 91b6b188
  POTTIER Francois authored Apr 07, 2017
  
  91b6b188
- Comment. · 8464c493
  POTTIER Francois authored Apr 07, 2017
  
  8464c493
06 Apr, 2017 1 commit
- TODO. · 61019779
  POTTIER Francois authored Apr 06, 2017
  
  61019779