/ - Repository - LustreC

Name	Size	Revision	Age	Author	Comment
doc		b38ffff3	over 10 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...
include		5ae8db15	over 10 years	Pierre-Loïc Garoche	- Dealt with compiling lusic from distant lusi ...
share		76b2936d	over 10 years	Eric Noulard	Properly handle generated files
src		97d3f81a	about 10 years	Teme Kahsai	sync horn backend
test		e9c64a30	about 10 years	Pierre-Loïc Garoche	Reactivated the generation of traceability info...
.gitignore	93 Bytes	545772c4	about 10 years	Teme Kahsai	Changed configuration and update the horn_backe...
AUTHORS	133 Bytes	b38ffff3	over 10 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...
LICENSE-LGPL.txt	25.8 KB	0cbf0839	over 11 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler
Makefile.in	1.3 KB	89f551c9	about 10 years	Eric Noulard	Install FindLustre.cmake as well
README.lustrec	802 Bytes	0cbf0839	over 11 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler
README.md	151 Bytes	56d3f3e1	about 10 years	Teme Kahsai	README.md edited online with Bitbucket
TODO.org	1.13 KB	0cbf0839	over 11 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler
configure.ac	3.21 KB	545772c4	about 10 years	Teme Kahsai	Changed configuration and update the horn_backe...
lustrec.odocl	623 Bytes	24d59df8	over 10 years	Pierre-Loïc Garoche	Doc file
setup.ml	153 KB	95763423	over 10 years	Xavier Thirioux	corrected a bug that made an error silent, conf...
svnignore	103 Bytes	0cbf0839	over 11 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler

#	Date	Author	Comment
97d3f81a	03/16/2015 08:31 PM	Teme Kahsai	sync horn backend
58272238	03/16/2015 08:31 PM	Teme Kahsai	modifed / to div in horn backend
24a55d0d	03/16/2015 08:30 PM	Teme Kahsai	fixing double printing of horn rules
545772c4	03/16/2015 08:30 PM	Teme Kahsai	Changed configuration and update the horn_backend.ml
62f65f02	03/16/2015 08:30 PM	Teme Kahsai	Fixed conflict with the svn trunk version
89f551c9	03/12/2015 02:24 PM	Eric Noulard	Install FindLustre.cmake as well
c065827c	03/06/2015 11:09 AM	Pierre-Loïc Garoche	Changed the option horntraces to a general traces option This annotation phases would have to be moved in optimization of normalized code
e9c64a30	03/05/2015 11:48 PM	Pierre-Loïc Garoche	Reactivated the generation of traceability information Changed the test-compile to use the horn-traces and the horn-queries option
56d3f3e1	03/03/2015 09:10 PM	Teme Kahsai	README.md edited online with Bitbucket
f133f964	03/03/2015 09:10 PM	Teme Kahsai	added invariants

CristalCaveGem » LustreC