Project

General

Profile

Activity

From 02/23/2015 to 03/24/2015

03/24/2015

09:54 PM Revision 933ee7a3 (lustrec): synch with svn
Teme Kahsai
09:54 PM Revision c89faaa4 (lustrec): synch with svn
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@429 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
09:54 PM Revision eec8ce11 (lustrec): fixing double printing of horn rules
Teme Kahsai
09:54 PM Revision 3a87efb8 (lustrec): fixing double printing of horn rules
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@428 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
09:54 PM Revision a5193ff5 (lustrec): Fixed conflict with the svn trunk version
Teme Kahsai
09:54 PM Revision d41b874a (lustrec): Fixed conflict with the svn trunk version
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@427 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
07:26 PM Revision 6394042a (lustrec): Added local inlining using the keyword (*! /inlining/:true *)
Pierre-Loïc Garoche
07:26 PM Revision 566dbf49 (lustrec): 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 Pierre-Loïc Garoche

03/17/2015

08:30 AM Revision 9d01f989 (lustrec): Print the types
Pierre-Loïc Garoche
08:30 AM Revision 228ebb2c (lustrec): Print the types
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@425 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
08:24 AM Revision c9570528 (lustrec): revert back to previous expression for path
Pierre-Loïc Garoche
08:24 AM Revision b9c40119 (lustrec): 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 Pierre-Loïc Garoche

03/16/2015

08:31 PM Revision 720f159a (lustrec): mapping horn values to lustre values in xml format
Teme Kahsai
08:31 PM Revision 922ed789 (lustrec): 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 Teme Kahsai
08:31 PM Revision 96d33ff2 (lustrec): sync horn backend
Teme Kahsai
08:31 PM Revision b701409d (lustrec): sync horn backend
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@422 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
08:31 PM Revision 97d3f81a (lustrec): sync horn backend
Teme Kahsai
08:31 PM Revision 193a5ca6 (lustrec): sync horn backend
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@421 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
08:31 PM Revision 58272238 (lustrec): modifed / to div in horn backend
Teme Kahsai
08:31 PM Revision e9b71779 (lustrec): modifed / to div in horn backend
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@420 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
08:30 PM Revision 24a55d0d (lustrec): fixing double printing of horn rules
Teme Kahsai
08:30 PM Revision 99d9ac94 (lustrec): fixing double printing of horn rules
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@419 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
08:30 PM Revision 545772c4 (lustrec): Changed configuration and update the horn_backend.ml
Teme Kahsai
08:30 PM Revision 53a9b564 (lustrec): 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 Teme Kahsai
08:30 PM Revision 62f65f02 (lustrec): Fixed conflict with the svn trunk version
Teme Kahsai
08:30 PM Revision c7c6ef4c (lustrec): 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 Teme Kahsai

03/12/2015

02:24 PM Revision 89f551c9 (lustrec): Install FindLustre.cmake as well
Eric Noulard
02:24 PM Revision 2e6dfb46 (lustrec): Install FindLustre.cmake as well
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@416 041b043f-8d7c-46b2-b46e-ef0dd855326e Eric Noulard

03/06/2015

11:09 AM Revision c065827c (lustrec): Changed the option horntraces to a general traces option
This annotation phases would have to be moved in optimization of normalized code Pierre-Loïc Garoche
11:09 AM Revision ea1c2906 (lustrec): Changed the option horntraces to a general traces option
This annotation phases would have to be moved in optimization of normalized code
git-svn-id: https://cavale.enseeih...
Pierre-Loïc Garoche

03/05/2015

11:48 PM Revision e9c64a30 (lustrec): Reactivated the generation of traceability information
Changed the test-compile to use the horn-traces and the horn-queries option Pierre-Loïc Garoche
11:48 PM Revision 3ca6d126 (lustrec): Reactivated the generation of traceability information
Changed the test-compile to use the horn-traces and the horn-queries option
git-svn-id: https://cavale.enseeiht.fr/...
Pierre-Loïc Garoche

03/03/2015

09:10 PM Revision 56d3f3e1 (lustrec): README.md edited online with Bitbucket
Teme Kahsai
09:10 PM Revision 8b34da11 (lustrec): README.md edited online with Bitbucket
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@413 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
09:10 PM Revision f133f964 (lustrec): added invariants
Teme Kahsai
09:10 PM Revision 7d9df109 (lustrec): added invariants
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@412 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
09:10 PM Revision ea94d58f (lustrec): including invariants
Teme Kahsai
09:10 PM Revision 8d4fddd8 (lustrec): including invariants
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@411 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
09:10 PM Revision 3c862628 (lustrec): Fixed horn backend to make query for properties. More work needed fo...
Teme Kahsai
09:10 PM Revision 5cf953ec (lustrec): Fixed horn backend to make query for properties. More work needed fo...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@410 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai
 

Also available in: Atom