Project

General

Profile

Activity

From 11/10/2019 to 12/09/2019

11/22/2019

03:09 AM Lustrec-Tests Revision 0ac53ee0 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Pierre-Loïc Garoche
03:09 AM Lustrec-Tests Revision 82c328c1 (lustrec-tests): seal target
Pierre-Loïc Garoche
03:08 AM Lustrec-Tests Revision 033be72c (lustrec-tests): Seal targets
Pierre-Loïc Garoche
03:07 AM Lustrec-Tests Revision 43dfd684 (lustrec-tests): Added function pure real
Pierre-Loïc Garoche

11/21/2019

11:53 PM Lustrec-Tests Revision 63185cd3 (lustrec-tests): add lm challenges
hbourbou
11:53 PM Lustrec-Tests Revision 7b8a8e7b (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
hbourbou
03:45 AM LustreC Revision 04a188ec (lustrec): - Refactored Error exception and messages
- Bugs in partial evaluation for equalities among bool constants
and a nice recursive call generating a stack overf...
Pierre-Loïc Garoche

11/20/2019

08:57 PM LustreC Revision ea758c12 (lustrec): Commenting out unused variables
Pierre-Loïc Garoche
08:57 PM LustreC Revision 1147e80a (lustrec): Array access: solved issues in C backend when basic operations in ar...
Pierre-Loïc Garoche
05:09 PM LustreC Revision c2db420f (lustrec): comment some code to avoid warning at compile time
Pierre-Loïc Garoche
04:42 PM LustreC Revision 9b2c037f (lustrec): solved bug 91 on cavale: spurious commas in emf backend
Pierre-Loïc Garoche
04:38 PM LustreC Revision 490f1952 (lustrec): Merge branch 'unstable' into lustrec-seal
Pierre-Loïc Garoche
04:38 PM LustreC Bug #90 (Closed): Lustrec error is unreadable
solved in lustrec-seal 94a9e2c3e99071700d91dbd56a9 Pierre-Loïc Garoche
04:37 PM LustreC Bug #91 (Closed): Json of EMF backend is broken for array access
closed.
lustrec-seal 9b2c037f5
Pierre-Loïc Garoche
04:10 PM LustreC Revision 94a9e2c3 (lustrec): better location error
Pierre-Loïc Garoche

11/19/2019

06:32 AM LustreC Revision 60fbbbd9 (lustrec): Optimize_machine
- Constants were improperly unfolded
- Do not unfold clock definition
Pierre-Loïc Garoche

11/18/2019

05:25 PM LustreC Revision b309c9b7 (lustrec): big: missing case with substituting expressions
Pierre-Loïc Garoche

11/14/2019

12:34 AM LustreC Revision e8f55c25 (lustrec): - tag_true and tag_false moved to lustre_types
- real constants are hidden in Real.ml{i} module Pierre-Loïc Garoche
12:34 AM LustreC Revision efc2cd2f (lustrec): [seal] more progress on seal extract
Pierre-Loïc Garoche
12:33 AM LustreC Revision 720c7244 (lustrec): sort of slicing for machine code
Pierre-Loïc Garoche
12:32 AM LustreC Revision 7075d9fc (lustrec): kind2 option for printing expressions
Pierre-Loïc Garoche
12:27 AM LustreC Revision 8df40160 (lustrec): Reactivated Unfold constant
Pierre-Loïc Garoche
12:25 AM LustreC Revision 2d2d89d7 (lustrec): partial evaluation for basic lib
Pierre-Loïc Garoche
12:02 AM LustreC Revision de8e9811 (lustrec): Module to manipulate real constants. For the moment we Num
Pierre-Loïc Garoche
05:56 PM LustreC Revision 3066247f (lustrec): cleaning debug logs
Pierre-Loïc Garoche
05:56 PM LustreC Revision e47138b8 (lustrec): reactivating the unfolding of constants
Pierre-Loïc Garoche
05:55 PM LustreC Revision 2db953dd (lustrec): flatten dependencies in schedule to make sure all required equations...
Pierre-Loïc Garoche
05:54 PM LustreC Revision 8a11dc80 (lustrec): cleaning debug logs
Pierre-Loïc Garoche
05:15 AM LustreC Bug #92 (New): expression should have been normalized in EMF backend
lustrec -emf test.lus
.. parsing source file ./test.lus
.. Phase 1 : Normalisation
.. expanding automata
.. ...
Hamza Bourbouh
02:57 AM LustreC Bug #91 (Closed): Json of EMF backend is broken for array access
{"type": "array access",
"array": [{"type": "variable",
"value": "x",
"datatype": { "kind": "a...
Hamza Bourbouh
02:34 AM LustreC Bug #90 (Closed): Lustrec error is unreadable
lustrec -lusi NLGuidanceSpec.lus
Raised at file "parsing.ml", line 183, characters 8-17
Called from file "parsers/...
Hamza Bourbouh
 

Also available in: Atom