adding & in shell
mauve generator with annotations
mauve generator: first shot
adding c++ backend
nice bug correction wrt constants with a large number of digits. Would raise exception when comparing these constants
remove deps
fix tracebility
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
bug correction in automata.ml (order of assigned variables was not always coherent between automata branches)
cleaned up bin
Cleaning old file
corrected pessimistic behavior of optimization phase -O 3
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@486 041b043f-8d7c-46b2-b46e-ef0dd855326e
bug correction in typing: tuple types were computed but not recorded
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@485 041b043f-8d7c-46b2-b46e-ef0dd855326e
remove duplication
bug corrected: in some cases, local const vars were assigned twice
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@483 041b043f-8d7c-46b2-b46e-ef0dd855326e