Missing file
Merge branch 'seahorn_backend' of https://cavale.enseeiht.fr/git/lustrec into seahorn_backend
Merged code
make sure that I have conv.smt2
enabling math and conv library for horn backend
fixed matlab output
removed uncessary include math def
Merge branch 'master' into seahorn_backend
nice bug correction wrt constants with a large number of digits. Would raise exception when comparing these constants
new line in horn
Adding new def of math
merge pb
Started to recover specification compilation from branch proof_acslAdapted the EMF backend to new reqs
Changed the matlab function backend
_Bool are unsigned integer. The cast as a _Bool is delayed until the end of the function
remove deps
fix tracebility
Starting to initiate a node spec aware backend
Cleaning debug messages
Specific treatment of true/false constant to avoid declaring them as variables.
Working on EMF backend to express cocospec infos as Simulink blocks
cosmetic changes
[Horn] Updated traceability of Horn backend to deal with fby (arrow machines)
Revert some ocaml code to ocaml 4.01 compatibility
Remove generated files (.h for include for as well as .in files of configure)
Merge branch 'github_master' into integ_github_jan10Intregrate all modifs by Teme et al
Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
Changed the generated C file to produce input and output csv files (named inXX and outXX)
automata_spec
fixed sfunction detetction
missing files
adding math.smt2
Double call to main function. Wasa clearly a typo
Solved some issues with commited code (like it doesn't compile). The code was written by Teme's student and- did not rely on existing typing.ml function- used strange fprintf code
Code was refactored but old stuff kept in comment just in case. Will have to be cleaned at some point.
I can't recall where we use ocamlgraph
removed myocamlbuild.ml. Seems unused
adjusting travis
Merge pull request #7 from SerkerN/master
Arrays
Merge branch 'master' into master
adding sfunction support
making library statically link to horn backend
adding missing stuff
adding -I options to lustrec
Post 1.3 dev
Document release process
Prepare 1.3 release
Suppress some commented code
add lusi option
updating to onera version 30f766a:2016-12-04
Suppress -nowarn argument to find command line.This is not needed on Linux and it is not supported on Darwin (Mac OS)
explaining our automaton
slight improvement of causality error messages
adding onera automata version
Ongoing work on c backend for makefile. Does not compile yet
Tiny modif on cmake target
new readme
Merge pull request #1 from waffle-iron/master
waffle.io Badge
add waffle.io badge
moving C files name declaration in backend. Preparation for additional cmake target
Add forthcoming codename to the current dev version.Fix config.status call to add --recheck as expected
Back to post 1.2 dev now going on for possible 1.3
Fix rule for rebuilding configure
Release lustrec 1.2 Xia-Tai-Kang
Better handling of automatic relaunch of autoconf and configure
Merge branch 'add_source_dist'
Add makefile rules in order to ease the building of a source tarballwhich contains the generated configure script (but no more generated file)
Add codename to version handling. This should ease making release.Development codename is "dev"
File removed. It is now generated by configure
...
new branch for merging mpfr and horn
full merge of salsa/mpfr and master
fixing travis 2
fixing travis 1
fixing travis
fixed assert compilation in case of stateless program
bug removed: with dummy automata, lustrec would generate parameterless nodes, which is forbidden in Lustre (and would raise an exception)
removed a bug in automata code generation
Updated to onera_git commit version 9421e24
added README
Bug solved in automaton part
travis 6
travis 4
travis 3
travis 2
travis
Merge branch 'master' of https://github.com/coco-team/lustrec