/ - Repository - LustreC

Name	Size	Revision	Age	Author	Comment
doc		fce0c270	about 8 years	Pierre-Loïc Garoche	automata_spec
include		afbf8da2	almost 8 years	Bourbouh	add tan function in math.lusi
share		641493cf	over 8 years	Eric NOULARD	Suppress some commented code
src		a6974c82	almost 8 years	Pierre-Loïc Garoche	[Horn] Workaround to prevent the use of declare...
.gitignore	93 Bytes	53a9b564	about 10 years	Teme Kahsai	Changed configuration and update the horn_backe...
.ocaml-config.sh	335 Bytes	e548bb75	almost 10 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	2.79 KB	e656160b	almost 8 years	Pierre-Loïc Garoche	Better dist-clean
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	over 8 years	Frederic Boniol	Document release process
TODO.org	2.05 KB	0dee2bc1	over 9 years	Pierre-Loïc Garoche	Refactoring of the horn backend with Reset/Step...
configure.ac	5.12 KB	a86bae77	almost 8 years	Pierre-Loïc Garoche	- Adding new Makefile target for regression tes...
svnignore	103 Bytes	22fe1c93	over 11 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler git-sv...

#	Date	Author	Comment
afbf8da2	06/20/2017 10:51 PM	Bourbouh	add tan function in math.lusi
a6974c82	05/17/2017 12:21 PM	Pierre-Loïc Garoche	[Horn] Workaround to prevent the use of declared keywords as node name
e656160b	05/17/2017 10:14 AM	Pierre-Loïc Garoche	Better dist-clean
5d08c49e	05/17/2017 10:13 AM	Pierre-Loïc Garoche	Solved printing bug in Horn backend
990210f3	05/16/2017 04:57 PM	Pierre-Loïc Garoche	Improved include folders behaviors: - allow multiple -I dir, will be used in order (first one declared is first used) - when declaring a global library #open <foo>, foo is first checked in local folders, than in global one (install path). This does not apply to local libraries opened with #open "foo".
0cddb853	05/16/2017 03:18 PM	Pierre-Loïc Garoche	Solved dependency in Makefile
521e2a6b	05/16/2017 10:56 AM	Pierre-Loïc Garoche	trying to improving pretty printing. Not so perfect for the moment
7354c96c	05/16/2017 10:56 AM	Pierre-Loïc Garoche	[bug solved] issues with asserts (invalid eqs scheduling)
4d138e19	05/16/2017 10:51 AM	Pierre-Loïc Garoche	added pp_imap function
a86bae77	05/05/2017 10:09 PM	Pierre-Loïc Garoche	- Adding new Makefile target for regression test - Version now includes current git branch

CristalCaveGem » LustreC