/ - 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		212d6eff	over 7 years	Pierre-Loïc Garoche	[HORN] handled asserts in stateless node step r...
.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
212d6eff	07/13/2017 06:40 PM	Pierre-Loïc Garoche	[HORN] handled asserts in stateless node step rule definition
07ceae4c	07/13/2017 05:47 PM	Pierre-Loïc Garoche	[HORN] Protect names of stateless nodes with a _fun suffix. This was conflicting with existing names in Z3, ie. "abs". [HORN] Better treatment of stateless nodes collecting semantics Fixes issue #13 on github: https://github.com/coco-team/lustrec/issues/13
7352a936	07/13/2017 08:41 AM	Pierre-Loïc Garoche	Addressing node calls in asserts
ef8a361a	07/13/2017 01:00 AM	Pierre-Loïc Garoche	Provides type compatible with Matlab types in EMF backend
01b501ca	07/12/2017 09:06 PM	Pierre-Loïc Garoche	[EMF backend] Merging branches
13507742	07/12/2017 09:06 PM	Pierre-Loïc Garoche	Refactored some code: optimization of machine
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

CristalCaveGem » LustreC