Project

General

Profile

Activity

From 06/14/2021 to 07/13/2021

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
 

Also available in: Atom