/ - 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	about 10 years	Pierre-Loïc Garoche	- Dealt with compiling lusic from distant lusi ...
share		76b2936d	about 10 years	Eric Noulard	Properly handle generated files
src		bed8ea64	about 10 years	Pierre-Loïc Garoche	Moved Makefile into src folder
test		6a1a01d2	over 10 years	Xavier Thirioux	- Added major feature: Lustre V6 automata !!! ...
.gitignore	77 Bytes	817d5bcb	over 10 years	Teme Kahsai	Fixed horn backend to make query for properties...
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	820 Bytes	bed8ea64	about 10 years	Pierre-Loïc Garoche	Moved Makefile into src folder
README.lustrec	802 Bytes	0cbf0839	over 11 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler
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	bed8ea64	about 10 years	Pierre-Loïc Garoche	Moved Makefile into src folder
lustrec.odocl	623 Bytes	24d59df8	about 10 years	Pierre-Loïc Garoche	Doc file
setup.ml	153 KB	95763423	about 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
bed8ea64	12/09/2014 01:41 PM	Pierre-Loïc Garoche	Moved Makefile into src folder
830de634	12/08/2014 09:09 PM	Pierre-Loïc Garoche	Added a construct for Dependencies (was a tuple before) and a boolean attribute stateful
a6208edd	12/08/2014 09:06 PM	Pierre-Loïc Garoche	Almost nothing
76b2936d	12/08/2014 02:36 PM	Eric Noulard	Properly handle generated files
24d59df8	12/01/2014 11:37 PM	Pierre-Loïc Garoche	Doc file
a8e66e98	12/01/2014 11:35 PM	Pierre-Loïc Garoche	Removed oasis, now use the classical autoconf; ./configure; make
5ae8db15	12/01/2014 11:32 PM	Pierre-Loïc Garoche	- Dealt with compiling lusic from distant lusi files. - Header now do not allow the generation of function previously declared as C prototype
30a4debf	12/01/2014 03:13 PM	Eric Noulard	Small update
801f63fa	12/01/2014 02:53 PM	Eric Noulard	Add first version of FindLustre.cmake
c7879e4f	12/01/2014 01:56 PM	Pierre-Loïc Garoche	Added compilation and install of include/*.lusi

CristalCaveGem » LustreC