Merge branch 'unstable' into lustrec-seal
Issues with linking Z3 on OSX
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.
Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
New option to select github version of Z3Added Yojson dependency in lustrevSome progress on Cex generation
Compiling - while doing nothing :)
Provide back the previous behavior concerning parsing spec.
Tentative to rely on Kind parser for contracts
Some progress on zustre2
- Normalization parameters (alias and unfold_array) are now provided as parameter- program type renamed as program_t- Initiating the lustrev tool with dependencies to z3 and seal.
[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