CristalCaveGem » LustreC

07/05/2021

04:09 PM Revision 76aa0d9e (lustrec): include_ is now include with dune 2.9

Lélio Brun

03:42 PM Revision f1518c7c (lustrec): more precise spec for stdout

Lélio Brun

07/02/2021

02:39 PM Revision 4c945dde (lustrec): Improved tiny backend

Pierre-Loïc Garoche

02:37 PM Revision 9326d33d (lustrec): Better handling of python web-based signal viewer

Pierre-Loïc Garoche

07/01/2021

01:56 PM Revision 18dada08 (lustrec): working spec in the main function

Lélio Brun

06/30/2021

06:29 PM Revision 1bb31f65 (lustrec): a mailmap to clarify logs

Lélio Brun

06:10 PM Revision d978c46e (lustrec): start instrumenting the main C function

Lélio Brun

11:21 AM Revision cc852504 (lustrec): comment dead code with (* XXX: UNUSED *) disclaimer

Lélio Brun

06/29/2021

06:03 PM Revision 2926ceee (lustrec): mli additions complete

Lélio Brun

06/28/2021

09:52 PM Revision a7062da6 (lustrec): another step towards refactoring

Lélio Brun

06/25/2021

12:35 PM Revision 50a8778a (lustrec): refactoring first step

Lélio Brun

06/18/2021

06:08 PM Revision 0406ab94 (lustrec): implement optimization on spec: IT WORKS

Lélio Brun

12:35 PM Revision 27502d69 (lustrec): add memory instances to footprint lemmas

Lélio Brun

06/17/2021

07:00 PM Revision d0f26f04 (lustrec): corrections for stateless nodes

Lélio Brun

11:33 AM Revision ca7ff3f7 (lustrec): reformatting

Lélio Brun

10:19 AM Revision 3ee26303 (lustrec): conditionnally print spec in machine code logs

Lélio Brun

06/16/2021

06:44 PM Revision aaa8e454 (lustrec): it works

Lélio Brun

03:20 PM Revision 1daf7bf0 (lustrec): systematically add dependencies to clock variables in rhs

Lélio Brun

01:24 PM Revision a91680fc (lustrec): Bug fix with constant inlining variable removal in machine code

Lélio Brun

06/15/2021

05:34 PM Revision c4780a6a (lustrec): work on new reset functions generation

Lélio Brun

06/14/2021

07:06 PM Revision 6d1693b9 (lustrec): work on spec generation almost done

Lélio Brun