Project

General

Profile

Activity

From 05/14/2014 to 06/12/2014

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

05/20/2014

02:12 PM Revision 1174cdd9 (lustrec): typo corrected in code generation for array memories (bad parentheses)
Xavier Thirioux
02:12 PM Revision 4e07ac7f (lustrec): typo corrected in code generation for array memories (bad parentheses)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@255 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
01:54 PM Revision 7231d0e4 (lustrec): Trying to correct support for pre in acsl annotation but it is not p...
Guillaume Davy
01:47 PM Revision 90028770 (lustrec): Math lusi (trigo)
Pierre-Loïc Garoche
01:47 PM Revision 6e7164b1 (lustrec): Math lusi (trigo)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@253 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

05/19/2014

03:51 PM Revision 075fd56f (lustrec): bug corrected for allocation of dynamic arrays in node memory
Xavier Thirioux
03:51 PM Revision 07d8e7e7 (lustrec): bug corrected for allocation of dynamic arrays in node memory
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@251 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
02:38 PM Revision 7ac15bcf (lustrec): node memory namespace bug corrected; library linear_ctl/arrays corre...
Xavier Thirioux
02:38 PM Revision 81af199f (lustrec): node memory namespace bug corrected; library linear_ctl/arrays corre...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@249 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux
01:57 PM Revision 4437ddbc (lustrec): Updated list with new tests
Pierre-Loïc Garoche
01:57 PM Revision 525f9650 (lustrec): Updated list with new tests
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@248 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
01:46 PM Revision 45c0d258 (lustrec): Solved bug:
- loading lusi
- loading lib in lusi files: "in m" is now "lib m"
Pierre-Loïc Garoche
01:46 PM Revision 3826f8cb (lustrec): Solved bug:
- loading lusi
- loading lib in lusi files: "in m" is now "lib m"
git-svn-id: https://cavale.enseeiht.fr/svn/lustr...
Pierre-Loïc Garoche
01:45 PM Revision 7a1ec3fa (lustrec): Additional checks in transpose
Pierre-Loïc Garoche
01:45 PM Revision a55c2d70 (lustrec): Additional checks in transpose
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@246 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
01:45 PM Revision 316af809 (lustrec): Check node is stateful
Pierre-Loïc Garoche
01:45 PM Revision 3ab5748b (lustrec): Check node is stateful
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@245 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche
01:44 PM Revision d9d34564 (lustrec): Bug solved on tuple equalities in expressions (eg. OK = (a,b,c) = (d...
Pierre-Loïc Garoche
01:44 PM Revision 1b01da98 (lustrec): Bug solved on tuple equalities in expressions (eg. OK = (a,b,c) = (d...
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@244 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

05/16/2014

05:26 PM Revision c00d0b42 (lustrec): Changed the load of lusi files: imported nodes or function can speci...
Parse updated as well as Makefile generation. Pierre-Loïc Garoche
05:26 PM Revision 54ae8ac7 (lustrec): Changed the load of lusi files: imported nodes or function can speci...
Parse updated as well as Makefile generation.
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/t...
Pierre-Loïc Garoche
 

Also available in: Atom