CristalCaveGem » LustreC

07/11/2018

04:52 PM Revision e1102543 (lustrec): Renaming of cst_val_t type as vhdl_cst_val_t

Arnaud Dieumegard

04:49 PM Revision d3f0059e (lustrec): New version of the VHDL importer with pretty printing based on ppx_show

Arnaud Dieumegard

09:32 AM Revision 62b6a61c (lustrec): Functional VHDL importer

Arnaud Dieumegard

07/09/2018

05:05 PM Revision eb07b479 (lustrec): Added support for subprograms, variables assignments, aggregate, others

Arnaud Dieumegard

07/04/2018

04:06 PM Revision fbc571e6 (lustrec): Refactoring of vhdl data types

Arnaud Dieumegard

06/22/2018

10:29 PM Lustrec-Tests Revision 81306cb7 (lustrec-tests): Tiny example for zustre debugging

Pierre-Loïc Garoche

10:28 PM Lustrec-Tests Revision 1fd649ea (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests

Pierre-Loïc Garoche

08:33 PM Lustrec-Tests Revision 2e549261 (lustrec-tests): add Kind2Results

Bourbouh

06:24 PM Revision 7d77632f (lustrec): Added two fresh vars counter and uid.

uid is a list of integer denoting the specific instance of a stateful/stateless node. Pierre-Loïc Garoche

11:24 AM Revision 57d61d67 (lustrec): New option to select github version of Z3

Added Yojson dependency in lustrev
Some progress on Cex generation Pierre-Loïc Garoche

08:56 AM Lustrec-Tests Revision 4b18af93 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests

Pierre-Loïc Garoche

08:54 AM Lustrec-Tests Revision 4f47032a (lustrec-tests): Updates some expected outputs

Pierre-Loïc Garoche

08:51 AM Lustrec-Tests Revision ddc8cb0f (lustrec-tests): add zustre results

Bourbouh

06/21/2018

05:42 PM Revision fae1790f (lustrec): Added support for Process statements, signal assignment, If, Exit and Null sequential statements

Arnaud Dieumegard

06/15/2018

05:45 PM Revision d77323b8 (lustrec): Added postprocessing for numeric literals

Arnaud Dieumegard

06/14/2018

01:21 AM Lustrec-Tests Revision 184630f0 (lustrec-tests): add json regression tests

Bourbouh

06/12/2018

05:10 PM Revision 55963629 (lustrec): Ongoing work on json vhdl to vhdl structure conversion

Arnaud Dieumegard