Commits · b5e2c148e8535fea989170457ded1587dea8c494 · POTTIER Francois / menhir

24 Sep, 2015 5 commits
- Makefile adjustment. · b5e2c148
  POTTIER Francois authored Sep 24, 2015
  
  b5e2c148
- 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
18 Jul, 2015 1 commit
- Fixed an incorrect (?) use of egrep. · 81525afe
  POTTIER Francois authored Jul 14, 2015
  
  81525afe
13 Jul, 2015 1 commit
- Fixed an incorrect (?) use of egrep. · 5ffba356
  POTTIER Francois authored Jul 14, 2015
  
  5ffba356
15 Dec, 2014 9 commits
- Fixed Makefiles to tolerate files ending in .mly~. · a0ee4385
  POTTIER Francois authored Dec 15, 2014
  
  a0ee4385
- bench/good: changed the naming convention. · bada7a0f
  POTTIER Francois authored Dec 15, 2014
  
  bada7a0f
- bench/good: add *.exp files containing the expected output of menhir. · a831271a
  POTTIER Francois authored Dec 15, 2014
```
So we will find out if anything changes in the warnings and errors
that menhir produces.
```
  a831271a
- bench/good: enable --explain during "make test". · 3dad74fc
  POTTIER Francois authored Dec 15, 2014
```
bench/good: added the known bug cutdown.mly.
```
  3dad74fc
- Fixed the test files in bench/good so that "make test" succeeds again. · 71d3aaad
  POTTIER Francois authored Dec 15, 2014
  
  71d3aaad
- Improved bench/good/Makefile to allow a set of known failures. · d1e79deb
  POTTIER Francois authored Dec 15, 2014
  
  d1e79deb
- Cleanup and nicer output in bench/good/Makefile. · ff33b05d
  POTTIER Francois authored Dec 15, 2014
  
  ff33b05d
- More consistent output of failures in bench/good/Makefile. · e4d72f52
  POTTIER Francois authored Dec 15, 2014
  
  e4d72f52
- Removed the part of the Makefile that dealt with missing .expected · 93abe70d
  POTTIER Francois authored Dec 15, 2014
```
files -- it was apparently dead, since all .expected files are here.
```
  93abe70d
02 Mar, 2013 2 commits

Updated Makefile with new location of menhir binary. Removed a test entry for... · 01234418

fpottier authored Mar 02, 2013

Updated Makefile with new location of menhir binary. Removed a test entry for the experimental --reduction-graph feature.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@336 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7

01234418

Apparently I deleted the entire bench/ directory by mistake. · 86b7f5f8

fpottier authored Mar 02, 2013

Now attempting it to resurrect it.


git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@335 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7

86b7f5f8

01 Mar, 2013 2 commits

Removed the (huge) directory bench, which was obsolete. · dfd16851
fpottier authored Mar 01, 2013
```
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@323 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7
```
dfd16851

Copying everything to a new trunk directory. · 8e9b54a3

fpottier authored Mar 01, 2013


git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@320 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7

8e9b54a3