History | View | Annotate | Download (1.47 KB)
- Removed the kind2 file (parser/lexer/types)- Cleaned a little bit our parser: removal of old prelude constructs
Tentative to rely on Kind parser for contracts
[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8) typing was transformed as a functor and parametrized by basic types (int/real/bool) it can also be applied multiple times on the same program
[lustresf] use Unix package
json-parser: prepare tests in Makefiles and _tags.in
json-parser: clean packages and _tags.in
json-parser: clean files names and directories
json-parser: use Logs and Cmdliner librairies
clean _tags.in for YoJSON package
minor changes in _tags.in
parser-json: first steps to integrate JSON parser
Moved stateflow tool in src/toolUpdated the makefile to compile lustresfNot working yet
Merge branch 'unstable' into seahorn_a6df3a6df3 is the initial commit of branch seahorn
Cleaner configure autoconf script