/ - Repository - LustreC

Name	Size	Revision	Age	Author	Comment
doc		fce0c270	over 6 years	Pierre-Loïc Garoche	automata_spec
include		40ad675e	about 6 years	Pierre-Loïc Garoche	A math library for some functions used in Simulink
share		641493cf	almost 7 years	Eric NOULARD	Suppress some commented code
src		e7cc5186	about 6 years	Pierre-Loïc Garoche	Refactor error printing.
.gitignore	93 Bytes	53a9b564	over 8 years	Teme Kahsai	Changed configuration and update the horn_backe...
.ocaml-config.sh	335 Bytes	e548bb75	over 8 years	lememta	smaller amount of compilers
.travis.yml	1.66 KB	e057dd08	over 6 years	Teme Kahsai	adjusting travis
AUTHORS	165 Bytes	1da8b334	over 8 years	Pierre-Loïc Garoche	Add teme git-svn-id: https://cavale.enseeiht....
LICENSE-LGPL.txt	25.8 KB	22fe1c93	almost 10 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler git-sv...
Makefile.in	3 KB	30f46c0c	about 6 years	Pierre-Loïc Garoche	Renamed math lib into lustrec_math to avoid con...
README.lustrec	991 Bytes	7bfb18df	over 8 years	Xavier Thirioux	updated version of README.lustrec about how to ...
README.md	678 Bytes	5573fee2	about 7 years	Teme Kahsai	new readme
ReleaseProcess.txt	1.68 KB	dd74ca16	almost 7 years	Frederic Boniol	Document release process
TODO.org	2.05 KB	0dee2bc1	almost 8 years	Pierre-Loïc Garoche	Refactoring of the horn backend with Reset/Step...
configure.ac	5.15 KB	bd1bb668	over 6 years	Pierre-Loïc Garoche	Moved to 1.5 dev
svnignore	103 Bytes	22fe1c93	almost 10 years	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler git-sv...

#	Date	Author	Comment
e7cc5186	07/18/2017 12:03 AM	Pierre-Loïc Garoche	Refactor error printing.
785b64f9	07/14/2017 07:32 AM	Pierre-Loïc Garoche	[EMF] Protecting print of names to ensure a length < 50. Remove the middle part of the string and inject a hash of it.
40ad675e	07/14/2017 06:32 AM	Pierre-Loïc Garoche	A math library for some functions used in Simulink
30f46c0c	07/14/2017 06:30 AM	Pierre-Loïc Garoche	Renamed math lib into lustrec_math to avoid conflicting calls to <math.h>
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

CristalCaveGem » LustreC