Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Horn @ cf9cc6f9

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

Latest revisions

# Date Author Comment
cf9cc6f9 01/07/2016 04:43 PM Pierre-Loïc Garoche

Introduced the opposite of Reset call: NoReset. This simplify the general compilation process and makes the code more symmetric, hence simpler and clearer code.

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

View revisions

Also available in: Atom