Project

General

Profile

Activity

From 03/17/2015 to 04/15/2015

04/13/2015

10:08 AM Revision e24b2e9b (lustrec): some optimization in code optimization !!
Xavier Thirioux
10:08 AM Revision e3a4e911 (lustrec): some optimization in code optimization !!
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@449 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux

04/09/2015

10:57 PM Revision 5f31b494 (lustrec): corrected a bug when activating optimization (-O 3) (edge missing in...
Xavier Thirioux
10:57 PM Revision e39f5319 (lustrec): corrected a bug when activating optimization (-O 3) (edge missing in...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@448 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
01:24 PM Revision 6a93d814 (lustrec): added a directory optim/ dedicated to experiments about injecting/pr...
Xavier Thirioux

04/08/2015

11:04 PM Revision 3a958c40 (lustrec): updated version of README.lustrec about how to install lustrec and h...
Xavier Thirioux
11:04 PM Revision 7bfb18df (lustrec): updated version of README.lustrec about how to install lustrec and h...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@446 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
11:01 PM Revision 4f4a77a4 (lustrec): some tiny mistakes corrected...
Xavier Thirioux
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 Xavier Thirioux
10:43 PM Revision b3543e39 (lustrec): some cosmetic changes in error messages when loading libraries
Xavier Thirioux
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 Xavier Thirioux
10:03 PM Revision 01d48bb0 (lustrec): Major revision due to severe limitations and bugs of inlining capabi...
- destination dir should now work properly
- lusic files now have a version number, to avoid nasty segfaults
when...
Xavier Thirioux
10:03 PM Revision ec433d69 (lustrec): Major revision due to severe limitations and bugs of inlining capabi...
- destination dir should now work properly
- lusic files now have a version number, to avoid nasty segfaults
when...
Xavier Thirioux
04:01 PM Revision 8958262e (lustrec): Cleaning lusic when installing
Pierre-Loïc Garoche
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 Pierre-Loïc Garoche
03:54 PM Revision f8b3de19 (lustrec): horn queries back
Pierre-Loïc Garoche
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 Pierre-Loïc Garoche
09:08 AM Revision 330b42e3 (lustrec): Add teme
Pierre-Loïc Garoche
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 Pierre-Loïc Garoche
08:53 AM Revision 00b2c9f8 (lustrec): Post Xia dev
Pierre-Loïc Garoche
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 Pierre-Loïc Garoche
08:50 AM Revision ba2f9fa1 (lustrec): Prepare for tagging : Xia version 1.0
Pierre-Loïc Garoche
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 Pierre-Loïc Garoche

04/04/2015

03:59 PM Revision e9350b02 (lustrec): corrected various bugs in the compilation/installation Makefile.in.
Xavier Thirioux
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 Xavier Thirioux

04/03/2015

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...
Xavier Thirioux
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...
Xavier Thirioux

04/01/2015

06:41 PM Revision 7dd90f72 (lustrec): added some test files
Xavier Thirioux
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 Xavier Thirioux
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...
Xavier Thirioux
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...
Xavier Thirioux

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
 

Also available in: Atom