/src/backends/Horn - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Horn @ 042dc586

Name	Size	Revision	Age	Author	Comment
horn_backend.ml	3.98 KB	042dc586	about 8 years	Pierre-Loïc Garoche	Revert some ocaml code to ocaml 4.01 compatibility
horn_backend_collecting_sem.ml	7.03 KB	fea041c5	over 8 years	Xavier Thirioux	new branch for merging mpfr and horn
horn_backend_common.ml	4.11 KB	9f77bff7	about 8 years	Teme Kahsai	adding math.smt2
horn_backend_printers.ml	21.1 KB	44ce4da8	about 8 years	Pierre-Loïc Garoche	Solved some issues with commited code (like it ...
horn_backend_traces.ml	6.25 KB	9f77bff7	about 8 years	Teme Kahsai	adding math.smt2

#	Date	Author	Comment
042dc586	01/11/2017 10:02 AM	Pierre-Loïc Garoche	Revert some ocaml code to ocaml 4.01 compatibility
dcafc99b	01/11/2017 12:28 AM	Pierre-Loïc Garoche	Merge branch 'github_master' into integ_github_jan10 Intregrate all modifs by Teme et al
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

Also available in: Atom