Project

General

Profile

Activity

From 06/01/2018 to 06/30/2018

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

06/11/2018

09:37 PM Revision 998766b4 (lustrec): missing file
Pierre-Loïc Garoche
06:44 PM Revision 4300981b (lustrec): Zustre: timeout and slicing
Pierre-Loïc Garoche

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...
Hamza Bourbouh
11:09 AM Bug #65 (Closed): integer division (euclidein division)
Solved in unstable branch Hamza Bourbouh
11:08 AM Bug #66 (Closed): Lustrec generates different outputs for the same code
Fixed by Xavier Hamza Bourbouh
11:06 AM Lustrec-Tests Revision 952e86fa (lustrec-tests): add helpful_functions to the modules folder
Bourbouh

06/08/2018

06:45 PM Revision 31027df4 (lustrec): updated luster lexer ??
Xavier Thirioux

06/01/2018

05:23 PM Revision dea84f9e (lustrec): Working example!
Pierre-Loïc Garoche
04:15 PM Revision 8f9ce6d4 (lustrec): Pom pom pom
Pierre-Loïc Garoche
04:14 PM Revision 5daedd81 (lustrec): Sample value for VHDL
Pierre-Loïc Garoche
04:12 PM Revision 3ca452f3 (lustrec): Main lustrei
Pierre-Loïc Garoche
10:02 AM Revision 090baab6 (lustrec): Compiling - while doing nothing :)
Pierre-Loïc Garoche
09:32 AM Revision 91cc0f70 (lustrec): Bootstrapping VHDL importer/exporter
Pierre-Loïc Garoche
 

Also available in: Atom