Commits · a77cd4a76c0a49bf179b380a75a892023e7302c7 · POTTIER Francois / menhir · GitLab

25 Sep, 2015 22 commits
- Moving things around in parserMessages.messages. · a77cd4a7
  POTTIER Francois authored Sep 26, 2015
  
  a77cd4a7
- TODO item. · 76517283
  POTTIER Francois authored Sep 26, 2015
  
  76517283
- Changed Menhir's bootstrapped parser to --canonical. · 75e7eb23
  POTTIER Francois authored Sep 25, 2015
  
  75e7eb23
- Changed --canonical to allow default reductions. · 53982660
  POTTIER Francois authored Sep 25, 2015
  
  53982660
- Big cleanup in myocamlbuild.ml. Generic rules. Completeness check. · 53e2c164
  POTTIER Francois authored Sep 25, 2015
```
  Generic rules for dealing with .messages files.
  Completeness check now built into "make bootstrap".
```
  53e2c164
- Re-established rule_specific_token, which allows giving a better syntax error... · 39a54d0c
  POTTIER Francois authored Sep 25, 2015
```
Re-established rule_specific_token, which allows giving a better syntax error message when %% is missing.
```
  39a54d0c
- Improved --compare-messages to also compare the messages (if non-default). · 48ba456c
  POTTIER Francois authored Sep 25, 2015
  
  48ba456c
- Identified two error messages. This was suggested by looking at the canonical automaton. · 9ac0d3bc
  POTTIER Francois authored Sep 25, 2015
  
  9ac0d3bc
- TODO update. · c15c7211
  POTTIER Francois authored Sep 25, 2015
  
  c15c7211
- TODO update. · cfbb25c9
  POTTIER Francois authored Sep 25, 2015
  
  cfbb25c9
- Implemented --compare-errors. · f52e873b
  POTTIER Francois authored Sep 25, 2015
  
  f52e873b
- More auxiliary functions in [Interpret]. · 9dd92d06
  POTTIER Francois authored Sep 25, 2015
  
  9dd92d06
- Cleanup in [Interpret]. More auxiliary functions. · 38ef45d2
  POTTIER Francois authored Sep 25, 2015
  
  38ef45d2
- TODO update. · 6ca462ba
  POTTIER Francois authored Sep 25, 2015
  
  6ca462ba
- Modified LRijkstra to produce a .messages file. Verbose (includes closure). · 193ce7a7
  POTTIER Francois authored Sep 25, 2015
  
  193ce7a7
- Re-generated expected output. · 5da0686b
  POTTIER Francois authored Sep 25, 2015
  
  5da0686b
- Modified [LRijkstra] to store and sort the data. · 9de1c09a
  POTTIER Francois authored Sep 25, 2015
  
  9de1c09a
- Merge branch 'coverage' into merr · 9ef1b9d8
  POTTIER Francois authored Sep 25, 2015
  
  9ef1b9d8
- TODO update. · 6ad597c0
  POTTIER Francois authored Sep 25, 2015
  
  6ad597c0
- Added [Word.compare]. · 612c6139
  POTTIER Francois authored Sep 25, 2015
  
  612c6139
- Removed two OCaml error-handling functions that are no longer needed. · 0050c841
  POTTIER Francois authored Sep 25, 2015
  
  0050c841
- Added compcert_simplified, CompCert's pre-parser without the error rules. · 99d52537
  POTTIER Francois authored Sep 25, 2015
  
  99d52537
24 Sep, 2015 18 commits
- Merge branch 'coverage' of git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir into coverage · 60ad5585
  POTTIER Francois authored Sep 25, 2015
  
  60ad5585
- More sample grammars, from Frama-C. · bf483577
  POTTIER Francois authored Sep 25, 2015
  
  bf483577
- Makefile adjustment. · b5e2c148
  POTTIER Francois authored Sep 24, 2015
  
  b5e2c148
- Removed coverage.sh. · 711e4589
  POTTIER Francois authored Sep 24, 2015
  
  711e4589
- Merge branch 'coverage' of git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir into coverage · d9fa224c
  POTTIER Francois authored Sep 24, 2015
```
Conflicts:
	bench/good/Makefile
```
  d9fa224c
- Massive parallelism if running on teraram. · d8678f60
  POTTIER Francois authored Sep 24, 2015
  
  d8678f60
- Massive parallelism if running on teraram. · b2322f86
  POTTIER Francois authored Sep 24, 2015
  
  b2322f86
- Time the whole thing. Clean up *.log. · fbaca9e2
  POTTIER Francois authored Sep 24, 2015
  
  fbaca9e2
- Turned coverage.sh into Makefile entries. This allows parallel execution. · 77276960
  POTTIER Francois authored Sep 24, 2015
  
  77276960
- 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