Activity
From 10/23/2019 to 11/21/2019
11/21/2019
- 11:53 PM Lustrec-Tests Revision 63185cd3 (lustrec-tests): add lm challenges
- 11:53 PM Lustrec-Tests Revision 7b8a8e7b (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 03:49 AM Revision f3574a72 (lustrec): Moved some code
- 03:45 AM 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...
11/20/2019
- 08:57 PM Revision ea758c12 (lustrec): Commenting out unused variables
- 08:57 PM Revision 1147e80a (lustrec): Array access: solved issues in C backend when basic operations in array access dimensions. Also better handling in EMF, ie further normalization through new equations
- 05:09 PM Revision c2db420f (lustrec): comment some code to avoid warning at compile time
- 04:42 PM Revision 9b2c037f (lustrec): solved bug 91 on cavale: spurious commas in emf backend
- 04:38 PM Revision 490f1952 (lustrec): Merge branch 'unstable' into lustrec-seal
- 04:38 PM Bug #90 (Closed): Lustrec error is unreadable
- solved in lustrec-seal 94a9e2c3e99071700d91dbd56a9
- 04:37 PM Bug #91 (Closed): Json of EMF backend is broken for array access
- closed.
lustrec-seal 9b2c037f5 - 04:10 PM Revision 94a9e2c3 (lustrec): better location error
11/19/2019
- 06:32 AM Revision 60fbbbd9 (lustrec): Optimize_machine
- - Constants were improperly unfolded
- Do not unfold clock definition
11/18/2019
11/15/2019
- 12:34 AM Revision e8f55c25 (lustrec): - tag_true and tag_false moved to lustre_types
- - real constants are hidden in Real.ml{i} module
- 12:34 AM Revision efc2cd2f (lustrec): [seal] more progress on seal extract
- 12:33 AM Revision 720c7244 (lustrec): sort of slicing for machine code
- 12:32 AM Revision 7075d9fc (lustrec): kind2 option for printing expressions
- 12:27 AM Revision 8df40160 (lustrec): Reactivated Unfold constant
- 12:25 AM Revision 2d2d89d7 (lustrec): partial evaluation for basic lib
- 12:02 AM Revision de8e9811 (lustrec): Module to manipulate real constants. For the moment we Num
11/14/2019
- 05:56 PM Revision 3066247f (lustrec): cleaning debug logs
- 05:56 PM Revision e47138b8 (lustrec): reactivating the unfolding of constants
- 05:55 PM Revision 2db953dd (lustrec): flatten dependencies in schedule to make sure all required equations are used
- 05:54 PM Revision 8a11dc80 (lustrec): cleaning debug logs
- 05:15 AM 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
.. ... - 02:57 AM Bug #91 (Closed): Json of EMF backend is broken for array access
- {"type": "array access",
"array": [{"type": "variable",
"value": "x",
"datatype": { "kind": "a... - 02:34 AM 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/...
11/06/2019
- 10:19 AM Revision ab8388cf (lustrec): [emf] added the names of the cocospec properties in the output json
- 07:53 AM Revision e6b644f4 (lustrec): better negation of constants
11/05/2019
Also available in: Atom