/src/backends/Horn - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Horn @ d128bbd4

Name	Size	Revision	Age	Author	Comment
horn_backend.ml	3.98 KB	d128bbd4	almost 7 years	Teme Kahsai	fixed sfunction detetction
horn_backend_collecting_sem.ml	7.03 KB	85a6f473	about 7 years	Teme Kahsai	adding onera automata version
horn_backend_common.ml	4.11 KB	9f77bff7	almost 7 years	Teme Kahsai	adding math.smt2
horn_backend_printers.ml	21 KB	44ce4da8	almost 7 years	Pierre-Loïc Garoche	Solved some issues with commited code (like it ...
horn_backend_traces.ml	6.21 KB	9f77bff7	almost 7 years	Teme Kahsai	adding math.smt2

#	Date	Author	Comment
d128bbd4	01/06/2017 08:04 PM	Teme Kahsai	fixed sfunction detetction
9f77bff7	01/06/2017 08:11 AM	Teme Kahsai	adding math.smt2
44ce4da8	01/04/2017 12:30 AM	Pierre-Loïc Garoche	Solved some issues with commited code (like it doesn't compile). The code was written by Teme's student and - did not rely on existing typing.ml function - used strange fprintf code Code was refactored but old stuff kept in comment just in case. Will have to be cleaned at some point.
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

Also available in: Atom