CristalCaveGem » LustreC

02/12/2020

12:34 AM Revision dbe19cd9 (lustrec): disable lustret and tiny error

Khanh Trinh

01/30/2020

09:40 PM Revision b2ffde68 (lustrec): Merge branch 'lustrec-seal' into cocosim_master

Hamza Bourbouh

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 Pierre-Loïc Garoche

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)

Pierre-Loïc Garoche

06:52 PM Bug #93 (Closed): C code generation ERROR when node is stateless

Pierre-Loïc Garoche

06:51 PM Bug #93 (Resolved): C code generation ERROR when node is stateless

Pierre-Loïc Garoche

06:51 PM Bug #93: C code generation ERROR when node is stateless

Solved in commit 2120af730 Anonymous

04:24 PM Revision a0c92fa8 (lustrec): printing nodes + more progress on seal export

Pierre-Loïc Garoche