Activity
From 11/19/2019 to 12/18/2019
12/09/2019
- 04:43 PM Revision 8d164031 (lustrec): [MPFR] add more functions and better treatment of print output variables in main.c
- 04:42 PM Revision 4e9ba094 (lustrec): temporary changed in the expression printer
- 09:53 AM Revision c4521397 (lustrec): preserving types/clocks when possible
11/22/2019
- 03:09 AM Lustrec-Tests Revision 0ac53ee0 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 03:09 AM Lustrec-Tests Revision 82c328c1 (lustrec-tests): seal target
- 03:08 AM Lustrec-Tests Revision 033be72c (lustrec-tests): Seal targets
- 03:07 AM Lustrec-Tests Revision 43dfd684 (lustrec-tests): Added function pure real
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: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
Also available in: Atom