Activity
From 12/30/2019 to 01/28/2020
01/28/2020
- 05:26 AM Revision f0195e96 (lustrec): - Primitive Tiny backend
- - Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num
01/27/2020
- 07:00 PM Revision 2120af73 (lustrec): [bug cavale 93] solved: issue when resetting a stateless node. Now generating a warning and forcing the stateful status. Could be improved to remove the reset statement. (TODO)
- 06:52 PM Bug #93 (Closed): C code generation ERROR when node is stateless
- 06:51 PM Bug #93 (Resolved): C code generation ERROR when node is stateless
- 06:51 PM Bug #93: C code generation ERROR when node is stateless
- Solved in commit 2120af730
- 04:24 PM Revision a0c92fa8 (lustrec): printing nodes + more progress on seal export
01/17/2020
01/07/2020
- 05:35 AM Bug #93 (Closed): C code generation ERROR when node is stateless
- lustrec -node Abs_TestGen5_PP Abs_TestGen5_PP.LUSTREC.lus
>make -f Abs_TestGen5_PP.LUSTREC.makefile
gcc -O0 -I/Us...
Also available in: Atom