Num module for mli
Num is a package in recent ocaml
Merge branch 'cocospec_to_be_merged' into unstableMainly adapting to new cocospec syntax for contracts
Some refactoringAdapted the parser/types/constructors for cocospec syntax
finishing solving strange conflicts for merge...
- Removed the kind2 file (parser/lexer/types)- Cleaned a little bit our parser: removal of old prelude constructs
Temporily disabling Mehnir as a parser.
Provide back the previous behavior concerning parsing spec.
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