Commits · 612c6139e6a12e27bd26543cfc62b11dc7be9afe · POTTIER Francois / menhir · GitLab

25 Sep, 2015 1 commit
- Added [Word.compare]. · 612c6139
  POTTIER Francois authored Sep 25, 2015
  
  612c6139
24 Sep, 2015 33 commits
- Big TODO update. · 15678eaf
  POTTIER Francois authored Sep 24, 2015
  
  15678eaf
- Skeleton of a new paper. · 199c9208
  POTTIER Francois authored Sep 24, 2015
  
  199c9208
- Comment. · 4e5fdb15
  POTTIER Francois authored Sep 24, 2015
  
  4e5fdb15
- Updated .mly and .expected files in bench/bad. · 1839e1be
  POTTIER Francois authored Sep 24, 2015
  
  1839e1be
- Renamed several files in bench/bad because they did not respect · 21d67a84
  POTTIER Francois authored Sep 24, 2015
```
the naming convention for single- versus multi-file tests.
```
  21d67a84
- Updated [FancyDriver] to produce a fancy message. This seems to be working. · 69bd2a49
  POTTIER Francois authored Sep 24, 2015
  
  69bd2a49
- Very slight improvement in the positions produced by [Lexer] on an error. · 13bd0b0f
  POTTIER Francois authored Sep 24, 2015
  
  13bd0b0f
- Changed [Makefile] and [FancyDriver] to use --table mode and the incremental API. · 73d7abcc
  POTTIER Francois authored Sep 24, 2015
  
  73d7abcc
- [Front] now relies on [Driver]. · 6e48be5f
  POTTIER Francois authored Sep 24, 2015
  
  6e48be5f
- Added [skipping_parser_generation] to selectively turn off [--infer]. · 93725fdd
  POTTIER Francois authored Sep 24, 2015
  
  93725fdd
- Nice cleanup of myocamlbuild.ml. · 5cf1260c
  POTTIER Francois authored Sep 24, 2015
  
  5cf1260c
- Revert "Turn off --infer silently if --compile-errors or other similar flags are set." · c71bf554
  POTTIER Francois authored Sep 24, 2015
```
This reverts commit 4260fe03eed26efcaf6d4f117190f6e82d1dcaa5.
```
  c71bf554
- Cleanup. · 96a6caea
  POTTIER Francois authored Sep 24, 2015
  
  96a6caea
- Fix to rely on just one tag, [fancy_parser]. · 128a7d41
  POTTIER Francois authored Sep 24, 2015
  
  128a7d41
- Merge branch 'coverage' into merr · c01cd18d
  POTTIER Francois authored Sep 24, 2015
  
  c01cd18d
- Merge branch 'master' into coverage · 391f3d05
  POTTIER Francois authored Sep 24, 2015
  
  391f3d05
- Cleaner way of passing flags to Menhir via -yaccflags. · de68e474
  POTTIER Francois authored Sep 24, 2015
  
  de68e474
- Major simplification of the ocamlbuild code governing parser choice. · 61f52514
  POTTIER Francois authored Sep 24, 2015
  
  61f52514
- Added [fancyDriver], [yaccDriver], a dependency of [Front] on [Driver], · 93909c54
  POTTIER Francois authored Sep 24, 2015
```
and ocamlbuild rules.
```
  93909c54
- Turn off --infer silently if --compile-errors or other similar flags are set. · 28245bbb
  POTTIER Francois authored Sep 24, 2015
  
  28245bbb
- A little cleanup. · 8c7c6948
  POTTIER Francois authored Sep 24, 2015
  
  8c7c6948
- Produce comments. · 4604e0e4
  POTTIER Francois authored Sep 24, 2015
  
  4604e0e4
- Added [SIComment]. · 43ed86b4
  POTTIER Francois authored Sep 24, 2015
  
  43ed86b4
- Compile a .messages file down to OCaml code. · bce441e5
  POTTIER Francois authored Sep 24, 2015
  
  bce441e5
- Added [CodeBits.eraisenotfound]. · adcbf30c
  POTTIER Francois authored Sep 24, 2015
  
  adcbf30c
- Tiny cleanup. · 204c6158
  POTTIER Francois authored Sep 24, 2015
  
  204c6158
- Extended [Interpret] to check for sentences that end in the same error state. · c60d5464
  POTTIER Francois authored Sep 24, 2015
  
  c60d5464
- Cleanup and more code sharing in [Interpret]. · 713af11f
  POTTIER Francois authored Sep 24, 2015
  
  713af11f
- Cleanup of [Interpret]. Now able to read a .messages file. · 06df0f59
  POTTIER Francois authored Sep 24, 2015
  
  06df0f59
- Cleanup of [SentenceParser]. · ce8395ac
  POTTIER Francois authored Sep 24, 2015
  
  ce8395ac
- Cleanup of [SentenceLexer], including dead code removal, · 63aaf75e
  POTTIER Francois authored Sep 24, 2015
```
replacing [error1] with [error2], and replacing [update_loc] with [new_line].
```
  63aaf75e
- Added [Segment.segment]. · 85b19a53
  POTTIER Francois authored Sep 24, 2015
  
  85b19a53
- Added [Positions.print]. A debugging utility. · 41a5fc79
  POTTIER Francois authored Sep 24, 2015
  
  41a5fc79
23 Sep, 2015 6 commits
- A little fix in Segment. · b3ce45bf
  POTTIER Francois authored Sep 23, 2015
  
  b3ce45bf
- Added [Segment]. Untested. · d80e7c78
  POTTIER Francois authored Sep 23, 2015
  
  d80e7c78
- Merge branch 'coverage' into merr · 62b2cb2a
  POTTIER Francois authored Sep 23, 2015
  
  62b2cb2a
- Added max heap size to the statistics. · 62e4518e
  POTTIER Francois authored Sep 23, 2015
  
  62e4518e
- Hacked [Interpret] to obey --compile-errors. Unfinished, unhappy. · 46d48e46
  POTTIER Francois authored Sep 23, 2015
  
  46d48e46
- Hacked SentenceLexer and SentenceParser. Unsatisfactory for now. · e9609532
  POTTIER Francois authored Sep 23, 2015
  
  e9609532