Activity
From 03/10/2015 to 04/08/2015
04/08/2015
- 11:04 PM Revision 7bfb18df (lustrec): updated version of README.lustrec about how to install lustrec and how to compile.
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@446 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 11:04 PM Revision 3a958c40 (lustrec): updated version of README.lustrec about how to install lustrec and how to compile.
- 11:01 PM Revision 14c56a07 (lustrec): some tiny mistakes corrected...
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@445 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 11:01 PM Revision 4f4a77a4 (lustrec): some tiny mistakes corrected...
- 10:43 PM Revision a28d1ba7 (lustrec): some cosmetic changes in error messages when loading libraries
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@444 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 10:43 PM Revision b3543e39 (lustrec): some cosmetic changes in error messages when loading libraries
- 10:03 PM Revision ec433d69 (lustrec): Major revision due to severe limitations and bugs of inlining capabilities:
- - destination dir should now work properly
- lusic files now have a version number, to avoid nasty segfaults
when... - 10:03 PM Revision 01d48bb0 (lustrec): Major revision due to severe limitations and bugs of inlining capabilities:
- - destination dir should now work properly
- lusic files now have a version number, to avoid nasty segfaults
when... - 04:01 PM Revision 3cb2f745 (lustrec): Cleaning lusic when installing
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@442 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 04:01 PM Revision 8958262e (lustrec): Cleaning lusic when installing
- 03:54 PM Revision 7df1a309 (lustrec): horn queries back
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@441 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 03:54 PM Revision f8b3de19 (lustrec): horn queries back
- 09:08 AM Revision 1da8b334 (lustrec): Add teme
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@440 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 09:08 AM Revision 330b42e3 (lustrec): Add teme
- 08:53 AM Revision 302eeebe (lustrec): Post Xia dev
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@439 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 08:53 AM Revision 00b2c9f8 (lustrec): Post Xia dev
- 08:50 AM Revision 2bd3b8cd (lustrec): Prepare for tagging : Xia version 1.0
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@437 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 08:50 AM Revision ba2f9fa1 (lustrec): Prepare for tagging : Xia version 1.0
04/04/2015
- 03:59 PM Revision 0b352b14 (lustrec): corrected various bugs in the compilation/installation Makefile.in.
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@435 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 03:59 PM Revision e9350b02 (lustrec): corrected various bugs in the compilation/installation Makefile.in.
04/03/2015
- 06:22 PM Revision fc886259 (lustrec): LOTS of bug correction wrt inlining, still a work in progress...
- - global constants were not accounted for
- no good avoidance of name capture when inlining
- static parameters (ar... - 06:22 PM Revision b3f91fdb (lustrec): LOTS of bug correction wrt inlining, still a work in progress...
- - global constants were not accounted for
- no good avoidance of name capture when inlining
- static parameters (ar...
04/01/2015
- 06:41 PM Revision 77a61575 (lustrec): added some test files
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@432 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 06:41 PM Revision 7dd90f72 (lustrec): added some test files
- 04:10 PM Revision 6efbcb73 (lustrec): correction of bugs:
- - a small problem in the parser
- regarding the handling of destination directory, source directory, current directo... - 04:10 PM Revision f4acee4c (lustrec): correction of bugs:
- - a small problem in the parser
- regarding the handling of destination directory, source directory, current directo...
03/24/2015
- 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
- 09:54 PM Revision 933ee7a3 (lustrec): synch with svn
- 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
- 09:54 PM Revision eec8ce11 (lustrec): fixing double printing of horn rules
- 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
- 09:54 PM Revision a5193ff5 (lustrec): Fixed conflict with the svn trunk version
- 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
- 07:26 PM Revision 6394042a (lustrec): Added local inlining using the keyword (*! /inlining/:true *)
03/17/2015
- 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
- 08:30 AM Revision 9d01f989 (lustrec): Print the types
- 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
- 08:24 AM Revision c9570528 (lustrec): revert back to previous expression for path
03/16/2015
- 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
- 08:31 PM Revision 720f159a (lustrec): mapping horn values to lustre values in xml format
- 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
- 08:31 PM Revision 96d33ff2 (lustrec): sync horn backend
- 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
- 08:31 PM Revision 97d3f81a (lustrec): sync horn backend
- 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
- 08:31 PM Revision 58272238 (lustrec): modifed / to div in horn backend
- 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
- 08:30 PM Revision 24a55d0d (lustrec): fixing double printing of horn rules
- 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
- 08:30 PM Revision 545772c4 (lustrec): Changed configuration and update the horn_backend.ml
- 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
- 08:30 PM Revision 62f65f02 (lustrec): Fixed conflict with the svn trunk version
03/12/2015
- 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
- 02:24 PM Revision 89f551c9 (lustrec): Install FindLustre.cmake as well
Also available in: Atom