/ - Repository - LustreC

Name	Size	Revision	Age	Author	Comment
doc		fce0c270	about 8 years	Pierre-Loïc Garoche	automata_spec
include		40ad675e	over 7 years	Pierre-Loïc Garoche	A math library for some functions used in Simulink
share		641493cf	about 8 years	Eric NOULARD	Suppress some commented code
src		eb70bae5	over 7 years	Christophe Garion	parser-json: final version of parser with new t...
.gitignore	161 Bytes	e7b4ba42	over 7 years	Christophe Garion	add files in gitignore
.ocaml-config.sh	335 Bytes	e548bb75	over 9 years	lememta	smaller amount of compilers
.travis.yml	1.66 KB	e057dd08	about 8 years	Teme Kahsai	adjusting travis
AUTHORS	165 Bytes	1da8b334	almost 10 years	Pierre-Loïc Garoche	Add teme git-svn-id: https://cavale.enseeiht....
LICENSE-LGPL.txt	25.8 KB	22fe1c93	over 11 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler git-sv...
Makefile.in	3.14 KB	bad7b67a	over 7 years	Christophe Garion	parser-json: first steps to integrate JSON parser
README.lustrec	991 Bytes	7bfb18df	almost 10 years	Xavier Thirioux	updated version of README.lustrec about how to ...
README.md	678 Bytes	5573fee2	over 8 years	Teme Kahsai	new readme
ReleaseProcess.txt	1.68 KB	dd74ca16	about 8 years	Frederic Boniol	Document release process
TODO.org	2.05 KB	0dee2bc1	about 9 years	Pierre-Loïc Garoche	Refactoring of the horn backend with Reset/Step...
configure.ac	5.15 KB	bad7b67a	over 7 years	Christophe Garion	parser-json: first steps to integrate JSON parser
svnignore	103 Bytes	22fe1c93	over 11 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler git-sv...

#	Date	Author	Comment
eb70bae5	09/26/2017 03:38 PM	Christophe Garion	parser-json: final version of parser with new types
18acb6fc	09/25/2017 11:20 AM	Christophe Garion	minor changes in _tags.in
15a6823b	09/25/2017 11:15 AM	Christophe Garion	TMerge branch 'unstable' into json-parser
68601cf5	09/23/2017 10:26 AM	Xavier Thirioux	bug correction: each var_decl must be unique and not shared as a global var
c5d45c13	09/22/2017 05:43 PM	Pierre-Loïc Garoche	[lustresf]: tuple of false values for initial state
74ca6b61	09/22/2017 05:38 PM	Pierre-Loïc Garoche	A fresh option to print with declared types instead of inferred ones
bad7b67a	09/22/2017 05:20 PM	Christophe Garion	parser-json: first steps to integrate JSON parser
e7b4ba42	09/22/2017 05:18 PM	Christophe Garion	add files in gitignore
69c96b6c	09/22/2017 04:39 PM	Pierre-Loïc Garoche	lustresf: Better construction of lustre ast. Still more work to be done.
27e5a70d	09/22/2017 04:38 PM	Pierre-Loïc Garoche	Even prettier pretty printing. Is it even possible to improve?

CristalCaveGem » LustreC