General

Profile

Pierre-Loïc Garoche

Issues

Projects

Activity

07/09/2020

03:33 PM LustreC Revision 8c36178f (lustrec): Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustre...
03:27 PM LustreC Revision 58fd528a (lustrec): Added some missing locations in tiny plugin

07/02/2020

03:32 PM LustreC Revision 3e039a34 (lustrec): Tiny: solved issue with a change in the Location.dummy signature

05/28/2020

03:45 PM LustreC Bug #96 (Resolved): Lustrec installation failed
Remove lustresf in configure since that's the one producing this error.
Still, that's pretty weird since ocamlbuild ...

03/12/2020

02:54 PM LustreC Bug #70 (Closed): Lustrec does not terminate
02:54 PM LustreC Bug #70 (Resolved): Lustrec does not terminate
Solved by thirioux in af49e9a4 (unstable)

03/11/2020

01:01 PM LustreC Bug #70: Lustrec does not terminate
The missing file

01/28/2020

05:26 AM LustreC 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 LustreC Revision 2120af73 (lustrec): [bug cavale 93] solved: issue when resetting a stateless node. Now g...
06:52 PM LustreC Bug #93 (Closed): C code generation ERROR when node is stateless

Also available in: Atom