Activity
From 05/24/2018 to 06/22/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
06/12/2018
06/11/2018
- 09:37 PM Revision 998766b4 (lustrec): missing file
- 06:44 PM Revision 4300981b (lustrec): Zustre: timeout and slicing
06/09/2018
- 11:11 AM Bug #67 (Closed): Lusi generation failed because of parser in unstable branch
- lustrec -lusi *lustrec-tests/regression_tests/lustre_files/success/machine_types/kind_fmcad/two_counters.lus*
.. par... - 11:09 AM Bug #65 (Closed): integer division (euclidein division)
- Solved in unstable branch
- 11:08 AM Bug #66 (Closed): Lustrec generates different outputs for the same code
- Fixed by Xavier
- 11:06 AM Lustrec-Tests Revision 952e86fa (lustrec-tests): add helpful_functions to the modules folder
06/08/2018
06/01/2018
- 05:23 PM Revision dea84f9e (lustrec): Working example!
- 04:15 PM Revision 8f9ce6d4 (lustrec): Pom pom pom
- 04:14 PM Revision 5daedd81 (lustrec): Sample value for VHDL
- 04:12 PM Revision 3ca452f3 (lustrec): Main lustrei
- 10:02 AM Revision 090baab6 (lustrec): Compiling - while doing nothing :)
- 09:32 AM Revision 91cc0f70 (lustrec): Bootstrapping VHDL importer/exporter
05/31/2018
- 04:39 PM Revision 0bd19a92 (lustrec): bug wrt normalization. Didn't take clock into account.
- 04:35 PM Revision bec3cf3d (lustrec): strange bug (ill-typed source) wrt Bytes/String conversion
- 04:33 PM Revision cff64531 (lustrec): bug in CSE, was disregarding clock
- 02:59 PM Revision 885b2896 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
- 01:47 PM Revision 22a34b49 (lustrec): json-parser: starting changing datatypes
- 11:33 AM Bug #66 (Closed): Lustrec generates different outputs for the same code
- Attached is 2 Lustre files, they have common code defining the first output of the main node.
The binary of both Lus...
05/30/2018
- 04:02 PM Revision 2f7c9195 (lustrec): zustre progress. Issues with sliced predicates
- 11:49 AM Lustrec-Tests Revision fd5381b7 (lustrec-tests): stopwatch
05/29/2018
- 08:59 PM Revision 3d3718ae (lustrec): package z3 to Z3 when using z3 github repo.
- 01:49 PM Revision df00d682 (lustrec): Adding input in MAIN fdecl
- 09:56 AM Lustrec-Tests Revision 75bb7d62 (lustrec-tests): Simple test to show cex with zustre
- 12:10 AM Revision 5275a6fd (lustrec): [lustrev] forced the z3 lib to be loaded before others when using the provided bash script.
- 12:09 AM Revision dbab1fe5 (lustrec): [lustrev] fixed some issues when calling Z3. Seems working for the moment: basic call to Z3 and sat/unsat result
Also available in: Atom