New feature to specify the number of digits to be printed
Extending types to machine types
Cleaning output:- no more classic display for ocamlc- compilation warnings removed
Merge branch 'unstable' into merge_mauve_unstable
_tags is generated now
Cleaner configure autoconf script
Merge branch 'testgen' into merging_unstable_testgen
Missing files
Merge branch 'unstable' into merging_pluginsNon regression results were similar to master branch
Removing generated file
Printing reals in Horn backend
Solved a bug in the compilation of asserts. Now different behavior depending on the backend:functional: keep it as isnon func: introduce a fresh local var v and replace assert(e) by v=e; assert (v);
functional_backend function moved to corelang
Cosmetic changes
More informative error message in case of untyped value
Updated deps: requires ocamlgraph as an ocamlfind package
Deprecated function changed for compatibility with ocaml 4.04
This is the first merge that does compile. Not tested yet.
first version (doesn't even compile) of mutation and test generation standalone command: lustretmostly a recovery of an ancient svn repo: mutations
another issue with an old merge: missing nums dep
adding dealloc
Merge branch 'master' into mauve
added deallocation for dynamic memory allocation scheme
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