Commits · 9f8a85cc719a4993ad578d2a593668b7431a0f2f · POTTIER Francois / menhir

27 Oct, 2015 10 commits
- Acknowledgement. · 9f8a85cc
  POTTIER Francois authored Oct 27, 2015
  
  9f8a85cc
- Bib fix. · 1b4b5c76
  POTTIER Francois authored Oct 27, 2015
  
  1b4b5c76
- Minor. · c771da95
  POTTIER Francois authored Oct 27, 2015
  
  c771da95
- Document the tools for maintaining .messages files. · da865727
  POTTIER Francois authored Oct 27, 2015
  
  da865727
- Document the .messages file format. · 26d98a0a
  POTTIER Francois authored Oct 27, 2015
  
  26d98a0a
- Documented the new command line switches for dealing with .messages files. · 59cc0f8a
  POTTIER Francois authored Oct 27, 2015
```
The beginning of a new section on error handling.
```
  59cc0f8a
- Remove a TODO item. · 905d7d4b
  POTTIER Francois authored Oct 27, 2015
  
  905d7d4b
- --interpret-error now obeys --trace. · 56e3805d
  POTTIER Francois authored Oct 27, 2015
  
  56e3805d
- Replace ${} with $() for uniformity. · 7c8c5a62
  POTTIER Francois authored Oct 27, 2015
  
  7c8c5a62
- Fix the Makefile (again) to allow installation under opam/Windows. · 0344bb69
  POTTIER Francois authored Oct 27, 2015
  
  0344bb69
26 Oct, 2015 14 commits
- Support %.flags also when timing --list-errors. · 8de56171
  POTTIER Francois authored Oct 26, 2015
  
  8de56171
- Added an up-to-date version of CompCert's pre-parser. · f1cc2005
  POTTIER Francois authored Oct 26, 2015
  
  f1cc2005
- Modified bench/good/Makefile to take a %.flags file into account if there is · cb06b399
  POTTIER Francois authored Oct 26, 2015
```
one.
```
  cb06b399
- Bibliography update. · dc7496ee
  POTTIER Francois authored Oct 26, 2015
  
  dc7496ee
- TODO item. · 8826d2af
  POTTIER Francois authored Oct 26, 2015
  
  8826d2af
- CHANGES update. · 65953e4f
  POTTIER Francois authored Oct 26, 2015
  
  65953e4f
- Removed a TODO item. · 7e1a87f2
  POTTIER Francois authored Oct 26, 2015
  
  7e1a87f2
- Cleanup: updated [signal], [warning] and [grammar_warning] to also take a format. · 01f4b77d
  POTTIER Francois authored Oct 26, 2015
  
  01f4b77d
- Cleanup: modified [Error.errorp] to take a format. · 1a570d12
  POTTIER Francois authored Oct 26, 2015
  
  1a570d12
- Cleanup: modified [Error.error] to directly take a format as an argument. · abb1f3ad
  POTTIER Francois authored Oct 26, 2015
  
  abb1f3ad
- Removed a superfluous newline. · 06a7f399
  POTTIER Francois authored Oct 26, 2015
  
  06a7f399
- Comment. · 05e3fb7f
  POTTIER Francois authored Oct 26, 2015
  
  05e3fb7f
- Modified LRijkstra to run on 32-bit machines. · 314c644a
  POTTIER Francois authored Oct 26, 2015
```
This will work only if the grammar is small.
This is actually used by Menhir itself during [make bootstrap].
Another approach would be to disable the completeness check during bootstrap.
```
  314c644a
- Fix the Makefile in an attempt to allow installation under opam/Cygwin. · 2939a47e
  POTTIER Francois authored Oct 26, 2015
  
  2939a47e
25 Oct, 2015 1 commit
- Typo in a comment. · 8656ba66
  POTTIER Francois authored Oct 25, 2015
  
  8656ba66
23 Oct, 2015 5 commits
- Moved NonpositiveCycles to the attic. · 6b3783f7
  POTTIER Francois authored Oct 23, 2015
  
  6b3783f7
- Disabled the creation of lr.csv. · 4eecf3ae
  POTTIER Francois authored Oct 23, 2015
  
  4eecf3ae
- Removed a few TODO items. · befe0f17
  POTTIER Francois authored Oct 23, 2015
  
  befe0f17
- Updated CHANGES. · b42588ab
  POTTIER Francois authored Oct 23, 2015
  
  b42588ab
- Replaced the command line switch --on-error-reduce with a declaration %on_error_reduce. · d5707d6e
  POTTIER Francois authored Oct 23, 2015
  
  d5707d6e
22 Oct, 2015 1 commit
- Renamed "cumulated star size" to "total star size". · 4b3b8c9f
  POTTIER Francois authored Oct 22, 2015
  
  4b3b8c9f
21 Oct, 2015 1 commit
- Long discussion of spurious reductions. The paper is now too long. · a2d27552
  POTTIER Francois authored Oct 21, 2015
  
  a2d27552
20 Oct, 2015 7 commits
- Warn if an --on-error-reduce option is useless. · 324acba3
  POTTIER Francois authored Oct 20, 2015
  
  324acba3
- Added [make local] for local installation of the development version. · 1e34d32c
  POTTIER Francois authored Oct 20, 2015
  
  1e34d32c
- Forgot to exit 0. · 90b68214
  POTTIER Francois authored Oct 20, 2015
  
  90b68214
- Added --echo-errors. · 29bd0ce7
  POTTIER Francois authored Oct 20, 2015
  
  29bd0ce7
- Moved to the lax interpretation of [--on-error-reduce]. · 050831fd
  POTTIER Francois authored Oct 20, 2015
  
  050831fd
- Added [filter] in the [Map] interface. · d85f5836
  POTTIER Francois authored Oct 20, 2015
  
  d85f5836
- Comment. · 53843f7e
  POTTIER Francois authored Oct 20, 2015
  
  53843f7e
19 Oct, 2015 1 commit
- Added an experimental switch, [--on-error-reduce symbol]. · b2d35f36
  POTTIER Francois authored Oct 19, 2015
  
  b2d35f36