/src/backends/Horn - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Horn @ 2ed9b6f2

Name	Size	Revision	Age	Author	Comment
horn_backend.ml	2.43 KB	2ed9b6f2	over 8 years	Pierre-Loïc Garoche	solved bug: missing parenthesis in enum typedef
horn_backend_collecting_sem.ml	6.93 KB	0dee2bc1	almost 9 years	Pierre-Loïc Garoche	Refactoring of the horn backend with Reset/Step...
horn_backend_common.ml	4.03 KB	0dee2bc1	almost 9 years	Pierre-Loïc Garoche	Refactoring of the horn backend with Reset/Step...
horn_backend_printers.ml	14.1 KB	0dee2bc1	almost 9 years	Pierre-Loïc Garoche	Refactoring of the horn backend with Reset/Step...
horn_backend_traces.ml	6.25 KB	0dee2bc1	almost 9 years	Pierre-Loïc Garoche	Refactoring of the horn backend with Reset/Step...

#	Date	Author	Comment
2ed9b6f2	01/07/2016 04:41 PM	Pierre-Loïc Garoche	solved bug: missing parenthesis in enum typedef
5df5dd85	12/16/2015 03:18 PM	Pierre-Loïc Garoche	Merge branch 'master' into horn_enum_types Conflicts: src/backends/Horn/horn_backend.ml
0dee2bc1	11/20/2015 06:41 PM	Pierre-Loïc Garoche	Refactoring of the horn backend with Reset/Step instead of Init/Step. Teme, please perform a string non regression test wrt the previous version, to make sure we have the same model checking results.
2580acfd	11/06/2015 06:09 PM	Teme Kahsai	fixed a printing bug in horn backend git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@481 041b043f-8d7c-46b2-b46e-ef0dd855326e
50f7d587	10/09/2015 07:23 PM	Pierre-Loïc Garoche	bug:double def fr init rules
7c95dcab	10/08/2015 07:11 PM	Pierre-Loïc Garoche	Two fresh branches :) to manage enum and arrays in the horn backend.
cdf01754	05/05/2015 07:30 PM	Teme Kahsai	small logging change git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@455 041b043f-8d7c-46b2-b46e-ef0dd855326e
ad6b7375	05/05/2015 07:30 PM	Teme Kahsai	small logging change
8deaa2dd	05/05/2015 01:17 AM	Teme Kahsai	do not use lusi for horn, and some logging for horn git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@451 041b043f-8d7c-46b2-b46e-ef0dd855326e
9c4624e4	05/05/2015 01:17 AM	Teme Kahsai	do not use lusi for horn, and some logging for horn

Also available in: Atom