Project

General

Profile

Activity

From 01/28/2020 to 02/26/2020

02/11/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
 

Also available in: Atom