History | View | Annotate | Download (9.81 KB)
z3 as an optional pacage in configure
Added back the gitbranch option ins configure.ac. Was wrongly removed in the release process
Merge branch 'unstable' into lustrec-seal
Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
Initiating nwew version 1.7 Xia/Huai
Cleaning git references for release
Preparing release 1.6 Xia/Zhui
Some autoconf update
Issues with linking Z3 on OSX
Lustre test gen mutation: bug solved. The path to the installation was hardcoded.
Improved configure.ac
Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
configure.ac tuning
Merge branch 'git-configure' into cocospec
Better management of git branch in configure.ac
Improving connection with CDash
Update the configure to prepare the next release 1.6 Xia/Zhu
Preparing release of 1.5 Xia/Shao Kang
New option to select github version of Z3Added Yojson dependency in lustrevSome progress on Cex generation
package z3 to Z3 when using z3 github repo.
Some progress on zustre
install of yojson depends on lustresf in configure now
Zustre backend
Add the script to update LD_LIBRARY_PATH for z3
- 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.
Solved issues with configure and ocaml libs dependencies
[lustresf] lustresf targets are optional in Makefiles (see configure.ac)
simple conflict when merging unstable and json-parser
Solving a warning with ocaml 4.04 and uppercase_ascii. Provides backward compatibility for 4.02
json-parser: add check for librairies in configure.ac
parser-json: first steps to integrate JSON parser
Moved to 1.5 dev
Preparing relaease LustreC 1.4 Xia/Xiang
Print branch in configure.ac
- Adding new Makefile target for regression test- Version now includes current git branch
Cleaner configure autoconf script
Merge branch 'testgen' into merging_unstable_testgen
Merge branch 'unstable' into merging_pluginsNon regression results were similar to master branch
This is the first merge that does compile. Not tested yet.
Merge branch 'github_master' into integ_github_jan10Intregrate all modifs by Teme et al
removed myocamlbuild.ml. Seems unused
Post 1.3 dev
Prepare 1.3 release
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)
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
Release lustrec 1.2 Xia-Tai-Kang
Add codename to version handling. This should ease making release.Development codename is "dev"
full merge of salsa/mpfr and master
Updated to onera_git commit version 9421e24
Merge branch 'salsa' into merge_salsa_horn_2Postponed conflicts to be solvedConflicts: src/_tags src/backends/Horn/horn_backend.ml src/machine_code.ml src/main_lustre_compiler.ml src/myocamlbuild.ml.in src/optimize_machine.ml
Removed myocamlbuild.ml. Not used anymore
Plugin based framework
Import bug
major branche merging salsa/mpfr with trunk
Post 1.1 release.Back to dev version
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@473 041b043f-8d7c-46b2-b46e-ef0dd855326e
prepare lustrec 1.1
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@471 041b043f-8d7c-46b2-b46e-ef0dd855326e
first commit
Post Xia dev
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@439 041b043f-8d7c-46b2-b46e-ef0dd855326e
Prepare for tagging : Xia version 1.0
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@437 041b043f-8d7c-46b2-b46e-ef0dd855326e
Changed configuration and update the horn_backend.ml
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@418 041b043f-8d7c-46b2-b46e-ef0dd855326e
Moved Makefile into src folder
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@382 041b043f-8d7c-46b2-b46e-ef0dd855326e
- Dealt with compiling lusic from distant lusi files.- Header now do not allow the generation of function previously declared as C prototype
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@375 041b043f-8d7c-46b2-b46e-ef0dd855326e