Commits · e6e55b406b04ab8ed3575c983d4b564325344f47 · POTTIER Francois / menhir

29 Jan, 2020 1 commit
- Rename [CompressedBitSet] to [SparseBitSet]. · e6e55b40
  POTTIER Francois authored Jan 29, 2020
  
  e6e55b40
24 Mar, 2017 1 commit

Changed the license of the Generator from QPL to GPL. · bd7310b9

POTTIER Francois authored Mar 24, 2017

MenhirLib remains under LGPL with a linking exception.
MenhirSdk is considered part of the Generator.
Updated the header of every source file under version control.

bd7310b9

28 Apr, 2016 2 commits
- Remove trailing whitespace. · cc7fc51e
  POTTIER Francois authored Apr 29, 2016
  
  cc7fc51e
- Replace all tabs with spaces (expand -t 8). · 4172c02f
  POTTIER Francois authored Apr 28, 2016
  
  4172c02f
07 Jul, 2015 3 commits
- Added [TerminalSet.is_singleton]. · ff91b958
  POTTIER Francois authored Jul 07, 2015
  
  ff91b958
- A simplification in [CompressedBitSet.fold]. · 3b3071df
  POTTIER Francois authored Jul 07, 2015
```
No measurable speed improvement.
```
  3b3071df
- Speed improvement in [CompressedBitSet.fold]. · c2d9df5f
  POTTIER Francois authored Jul 07, 2015
```
Move call to [fold f qs] into loop, making it tail-recursive.
Then, hoist [loop] out of [fold].
The impact is measurable on [Coverage] (maybe 10% overall).
```
  c2d9df5f
04 Dec, 2014 1 commit
- Merge the stylistic patch from master branch. · bb3ab865
  POTTIER Francois authored Dec 04, 2014
  
  bb3ab865
03 Dec, 2014 1 commit

Enabled nazi warnings. · 99fd6612

POTTIER Francois authored Dec 04, 2014

A lot of cosmetic changes in order to avoid warnings (mostly unused variables).

99fd6612

01 Mar, 2013 1 commit

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