Activity
From 06/13/2018 to 07/12/2018
07/12/2018
- 07:43 PM Bug #55 (Closed): assertions generation in Horn clauses (smt2 file)
- Solved in current unstable version 1.5-827
- 07:35 PM Revision bc9fd714 (lustrec): Temporily disabling Mehnir as a parser.
- 04:04 PM Revision b0c381d0 (lustrec): Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
07/11/2018
- 04:52 PM Revision e1102543 (lustrec): Renaming of cst_val_t type as vhdl_cst_val_t
- 04:49 PM Revision d3f0059e (lustrec): New version of the VHDL importer with pretty printing based on ppx_show
- 09:32 AM Revision 62b6a61c (lustrec): Functional VHDL importer
07/09/2018
- 05:05 PM Revision eb07b479 (lustrec): Added support for subprograms, variables assignments, aggregate, others
07/04/2018
06/22/2018
- 10:29 PM Lustrec-Tests Revision 81306cb7 (lustrec-tests): Tiny example for zustre debugging
- 10:28 PM Lustrec-Tests Revision 1fd649ea (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 08:33 PM Lustrec-Tests Revision 2e549261 (lustrec-tests): add Kind2Results
- 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.
- 11:24 AM Revision 57d61d67 (lustrec): New option to select github version of Z3
- Added Yojson dependency in lustrev
Some progress on Cex generation - 08:56 AM Lustrec-Tests Revision 4b18af93 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 08:54 AM Lustrec-Tests Revision 4f47032a (lustrec-tests): Updates some expected outputs
- 08:51 AM Lustrec-Tests Revision ddc8cb0f (lustrec-tests): add zustre results
06/21/2018
06/15/2018
06/14/2018
- 01:21 AM Lustrec-Tests Revision 184630f0 (lustrec-tests): add json regression tests
Also available in: Atom