/ - Repository - LustreC

Name	Size	Revision	Age	Author	Comment
doc		fce0c270	about 8 years	Pierre-Loïc Garoche	automata_spec
include		9a7268ba	over 7 years	Pierre-Loïc Garoche	io_frontend header with new functions
share		641493cf	about 8 years	Eric NOULARD	Suppress some commented code
src		1b721bfd	over 7 years	Pierre-Loïc Garoche	bug fixed: Inputs for branches solved
.gitignore	93 Bytes	53a9b564	almost 10 years	Teme Kahsai	Changed configuration and update the horn_backe...
.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	2.92 KB	fa880262	over 7 years	Pierre-Loïc Garoche	Bug solved: lusic dependency of mpfr
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	bd1bb668	over 7 years	Pierre-Loïc Garoche	Moved to 1.5 dev
svnignore	103 Bytes	22fe1c93	over 11 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler git-sv...

#	Date	Author	Comment
1b721bfd	07/11/2017 08:09 AM	Pierre-Loïc Garoche	bug fixed: Inputs for branches solved
2823bc51	07/11/2017 01:16 AM	Pierre-Loïc Garoche	Proper integer index for enumerated branches
c82ea2ca	07/11/2017 01:07 AM	Pierre-Loïc Garoche	Enumerated datatypes as integer
2475c9e8	07/10/2017 11:43 PM	Pierre-Loïc Garoche	Refactored EMF backend. Handle now the call to existing math and conv libraries
dd71e482	07/10/2017 06:52 PM	Pierre-Loïc Garoche	EMF backend: each branch provides the inputs and outputs
017eec6a	07/10/2017 06:04 PM	Pierre-Loïc Garoche	Renamed ISet of Machine_code to VSet: was sets of variable and was conflicting with ISet from Utils which carries strings.
a6b58a46	07/10/2017 05:14 PM	Bourbouh	Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
ab1c9ed2	07/10/2017 05:03 PM	Bourbouh	small modifs in EMF format
27d18db9	07/08/2017 05:29 PM	Pierre-Loïc Garoche	Branchs output in EMF is only the intersection of each branch defined flows
9f0f88dd	07/07/2017 10:53 PM	Pierre-Loïc Garoche	Full rewrite of EMF backend.

CristalCaveGem » LustreC