/src/backends/Horn - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Horn @ e057dd08

Name	Size	Revision	Age	Author	Comment
horn_backend.ml	3.97 KB	1b57e111	over 6 years	Teme Kahsai	adding sfunction support
horn_backend_collecting_sem.ml	7.03 KB	85a6f473	over 6 years	Teme Kahsai	adding onera automata version
horn_backend_common.ml	4.12 KB	84902260	over 6 years	jbraine	Arrays
horn_backend_printers.ml	20.7 KB	e057dd08	over 6 years	Teme Kahsai	adjusting travis
horn_backend_traces.ml	6.25 KB	85a6f473	over 6 years	Teme Kahsai	adding onera automata version

#	Date	Author	Comment
e057dd08	12/30/2016 10:47 PM	Teme Kahsai	adjusting travis
7ad4ff7c	12/30/2016 09:29 PM	Teme Kahsai	Merge branch 'master' into master
1b57e111	12/30/2016 09:20 PM	Teme Kahsai	adding sfunction support
2dd3d358	12/29/2016 07:18 AM	Teme Kahsai	making library statically link to horn backend
822f31e1	12/08/2016 05:55 PM	Teme Kahsai	updating to onera version 30f766a:2016-12-04
84902260	10/12/2016 11:44 PM	jbraine	Arrays
85a6f473	09/30/2016 06:41 PM	Teme Kahsai	adding onera automata version
3cdd2147	06/02/2016 01:45 AM	Teme Kahsai	fixed assert compilation in case of stateless program
bad9b6b2	02/23/2016 10:49 PM	Teme Kahsai	Updated to onera_git commit version 9421e24
7ec8e203	12/09/2015 12:40 AM	Teme Kahsai	travis

Also available in: Atom