/src/backends/Horn - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Horn @ 1b57e111

Name	Size	Revision	Age	Author	Comment
horn_backend.ml	3.97 KB	1b57e111	almost 8 years	Teme Kahsai	adding sfunction support
horn_backend_collecting_sem.ml	7.03 KB	85a6f473	about 8 years	Teme Kahsai	adding onera automata version
horn_backend_common.ml	4.03 KB	85a6f473	about 8 years	Teme Kahsai	adding onera automata version
horn_backend_printers.ml	17.6 KB	1b57e111	almost 8 years	Teme Kahsai	adding sfunction support
horn_backend_traces.ml	6.25 KB	85a6f473	about 8 years	Teme Kahsai	adding onera automata version

#	Date	Author	Comment
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
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
89bc26df	11/16/2015 05:23 PM	Teme Kahsai	remove duplication
4347ae0c	10/13/2015 10:29 PM	Teme Kahsai	changes to horn
9cb34634	10/09/2015 07:19 PM	Teme Kahsai	revereted to previous commit

Also available in: Atom