From 01/03/2020 to 02/01/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
- 07:00 PM Revision 2120af73 (lustrec): [bug cavale 93] solved: issue when resetting a stateless node. Now g...
- 04:24 PM Revision a0c92fa8 (lustrec): printing nodes + more progress on seal export
Also available in: Atom