Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 566dbf49

Name Size Revision Age Author Comment
  doc a2d97a3e over 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  include 1e48ef45 almost 5 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
  share 3fd9f1f2 almost 5 years Eric Noulard Properly handle generated files git-svn-id: h...
  src 566dbf49 over 4 years Pierre-Loïc Garoche Added local inlining using the keyword (*! /inl...
  test 3ca6d126 over 4 years Pierre-Loïc Garoche Reactivated the generation of traceability info...
.gitignore 93 Bytes 53a9b564 over 4 years Teme Kahsai Changed configuration and update the horn_backe...
AUTHORS 133 Bytes a2d97a3e over 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
LICENSE-LGPL.txt 25.8 KB 22fe1c93 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile.in 1.3 KB 2e6dfb46 over 4 years Eric Noulard Install FindLustre.cmake as well git-svn-id: ...
README.lustrec 802 Bytes 22fe1c93 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
README.md 151 Bytes 8b34da11 over 4 years Teme Kahsai README.md edited online with Bitbucket git-svn...
TODO.org 1.13 KB 22fe1c93 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
configure.ac 3.21 KB 53a9b564 over 4 years Teme Kahsai Changed configuration and update the horn_backe...
lustrec.odocl 623 Bytes 3d134f43 almost 5 years Pierre-Loïc Garoche Doc file git-svn-id: https://cavale.enseeiht....
setup.ml 153 KB d1baac41 almost 5 years Xavier Thirioux corrected a bug that made an error silent, conf...
svnignore 103 Bytes 22fe1c93 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
566dbf49 03/24/2015 07:26 PM Pierre-Loïc Garoche

Added local inlining using the keyword (*! /inlining/:true *)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@426 041b043f-8d7c-46b2-b46e-ef0dd855326e

228ebb2c 03/17/2015 08:30 AM Pierre-Loïc Garoche

Print the types

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@425 041b043f-8d7c-46b2-b46e-ef0dd855326e

b9c40119 03/17/2015 08:24 AM Pierre-Loïc Garoche

revert back to previous expression for path

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@424 041b043f-8d7c-46b2-b46e-ef0dd855326e

922ed789 03/16/2015 08:31 PM Teme Kahsai

mapping horn values to lustre values in xml format

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@423 041b043f-8d7c-46b2-b46e-ef0dd855326e

b701409d 03/16/2015 08:31 PM Teme Kahsai

sync horn backend

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@422 041b043f-8d7c-46b2-b46e-ef0dd855326e

193a5ca6 03/16/2015 08:31 PM Teme Kahsai

sync horn backend

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@421 041b043f-8d7c-46b2-b46e-ef0dd855326e

e9b71779 03/16/2015 08:31 PM Teme Kahsai

modifed / to div in horn backend

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@420 041b043f-8d7c-46b2-b46e-ef0dd855326e

99d9ac94 03/16/2015 08:30 PM Teme Kahsai

fixing double printing of horn rules

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@419 041b043f-8d7c-46b2-b46e-ef0dd855326e

53a9b564 03/16/2015 08:30 PM Teme Kahsai

Changed configuration and update the horn_backend.ml

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@418 041b043f-8d7c-46b2-b46e-ef0dd855326e

c7c6ef4c 03/16/2015 08:30 PM Teme Kahsai

Fixed conflict with the svn trunk version

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@417 041b043f-8d7c-46b2-b46e-ef0dd855326e

View all revisions | View revisions

Also available in: Atom