Project

General

Profile

Activity

From 05/22/2014 to 06/20/2014

06/20/2014

04:59 PM Revision 6b4d172f (lustrec): - refactorization of typing code (simpler subtyping rules)
- simplification of clock calculus (may be still buggy, work in progress)
no impact on unclocked programs.
Xavier Thirioux
04:59 PM Revision 6afa892a (lustrec): - refactorization of typing code (simpler subtyping rules)
- simplification of clock calculus (may be still buggy, work in progress)
no impact on unclocked programs.
git-s...
Xavier Thirioux

06/17/2014

12:01 AM Revision fa7dd986 (lustrec): Branch to develop (1) traces in variable names for horn backend (2) ...
Pierre-Loïc Garoche
11:56 PM Revision 839ca600 (lustrec): Update on the test script
Pierre-Loïc Garoche
11:56 PM Revision f01a1af8 (lustrec): Update on the test script
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@265 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

06/12/2014

05:53 PM Revision f6fa97f9 (lustrec): clean handling of undefined node application
Xavier Thirioux
05:53 PM Revision 719f9992 (lustrec): clean handling of undefined node application
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@261 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
02:08 PM Revision 5b5625e1 (lustrec): Updated typing error
Pierre-Loïc Garoche
02:08 PM Revision 870420a0 (lustrec): Updated typing error
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@260 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

05/23/2014

02:51 PM Revision 9f8c4c1d (lustrec): inlining update
Pierre-Loïc Garoche
02:51 PM Revision b50c665d (lustrec): inlining update
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@259 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
09:36 AM Revision f044d0b0 (lustrec): Convertion operators
Pierre-Loïc Garoche
09:36 AM Revision 3dacdcc2 (lustrec): Convertion operators
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@258 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

05/22/2014

10:29 AM Revision 14d694c7 (lustrec): bug correction in homomorphic extension
Xavier Thirioux
10:29 AM Revision b616fe7a (lustrec): bug correction in homomorphic extension
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@257 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
 

Also available in: Atom