/ - Repository - LustreC

Name	Size	Revision	Age	Author	Comment
doc		fdeaac38	over 9 years	Pierre-Loïc Garoche	Lustre interfaces: lusi files are generated and...
include		0cbf0839	over 9 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler
src		9334747d	about 9 years	Pierre-Loïc Garoche	Fixed bug on the main part
test		f1da5111	about 9 years	Pierre-Loïc Garoche	Updated version of test script: timeout for z3
LICENSE-LGPL.txt	25.8 KB	0cbf0839	over 9 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler
Makefile	702 Bytes	0cbf0839	over 9 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler
README.lustrec	802 Bytes	0cbf0839	over 9 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler
TODO.org	1.13 KB	0cbf0839	over 9 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler
_oasis	591 Bytes	0cbf0839	over 9 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler
_tags	322 Bytes	0cbf0839	over 9 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler
configure	132 Bytes	0cbf0839	over 9 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler
myocamlbuild.ml	12.7 KB	0cbf0839	over 9 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler
setup.ml	133 KB	0cbf0839	over 9 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler
svn_version.sh	371 Bytes	0cbf0839	over 9 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler
svnignore	103 Bytes	0cbf0839	over 9 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler

#	Date	Author	Comment
f1da5111	02/24/2014 04:47 PM	Pierre-Loïc Garoche	Updated version of test script: timeout for z3
9334747d	02/24/2014 04:26 PM	Pierre-Loïc Garoche	Fixed bug on the main part
433b1e6b	02/24/2014 11:48 AM	Pierre-Loïc Garoche	Cleaning useless files
3e209698	02/24/2014 11:47 AM	Pierre-Loïc Garoche	First fully working version of horn backend. Has to be called with "-horn -node main_node" The test script compute the smt2 file and calls z3 on them.
3a60ec17	02/24/2014 11:25 AM	Pierre-Loïc Garoche	...
4f3cc9f3	02/24/2014 10:50 AM	Pierre-Loïc Garoche	Is it working?
c0003810	02/24/2014 09:46 AM	Pierre-Loïc Garoche	Working on bugs
3a9e1fe8	02/21/2014 05:34 PM	Pierre-Loïc Garoche	Manually corrected version of ex3. Should integrate the modifications
40f8d0f9	02/21/2014 05:11 PM	Pierre-Loïc Garoche	Second (almost) working version
faa5e5c5	02/21/2014 04:39 PM	Pierre-Loïc Garoche	First (almost) working version

CristalCaveGem » LustreC