Project

General

Profile

Activity

From 06/18/2018 to 07/17/2018

07/17/2018

04:01 PM Revision 4fda48d3 (lustrec): Cleaned main importer, now outputs only the vhdl code
Arnaud Dieumegard
04:00 PM Revision d4175560 (lustrec): Correction of Variables,Signals,Constants definitions of initial val...
Arnaud Dieumegard
02:00 PM Revision 5f3d7be6 (lustrec): PP correction for separating spaces
Arnaud Dieumegard
01:39 PM Revision 3bc26d43 (lustrec): PP support for concurrent assignment, processes
Arnaud Dieumegard
10:50 AM Revision 52323a31 (lustrec): PP for Exit, Null and Return statements
Arnaud Dieumegard
10:42 AM Revision cfe98135 (lustrec): Update of importer to display only last version of pretty printed vh...
Arnaud Dieumegard
10:42 AM Revision 00970bbf (lustrec): Update of default values for some option constructions + added end i...
Arnaud Dieumegard

07/16/2018

05:48 PM Revision f779d524 (lustrec): Update of the vhdl pretty printer
Arnaud Dieumegard
05:07 PM Revision 7775659c (lustrec): Update of the _tags.in file to include required packages
Arnaud Dieumegard
10:44 AM Revision 40364f53 (lustrec): New version of the vhdl import + compilation
Arnaud Dieumegard

07/13/2018

11:34 PM Revision d0d8fe27 (lustrec): Updating dependencies in the READ:E
Pierre Loic Garoche
08:34 PM Git access is now open
Anonymous read access to lustrec git:
git clone https://cavale.enseeiht.fr/git/lustrec
Pierre-Loïc Garoche
08:32 PM Release of LustreC 1.5 Xia/Shao Kang
New release available at https://cavale.enseeiht.fr/redmine/attachments/download/114/lustrec-1.5-Xia-Shao-Kang-src.tgz Pierre-Loïc Garoche
08:25 PM Revision d7e89c59 (lustrec): Merge branch 'master' into unstable
Pierre-Loïc Garoche
08:25 PM Revision 88df55b3 (lustrec): Merge branch 'merge' into unstable
Pierre-Loïc Garoche
08:21 PM Revision de041ec0 (lustrec): Update the configure to prepare the next release 1.6 Xia/Zhu
Pierre-Loïc Garoche
08:18 PM lustrec-1.5-Xia-Shao-Kang-src.tgz
Pierre-Loïc Garoche
08:05 PM Revision 83dc064f (lustrec): Byte/String bug reappeared
Pierre-Loïc Garoche
07:52 PM Revision f9d0c175 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
Pierre-Loïc Garoche
07:44 PM Revision c1c4263c (lustrec): Preparing release of 1.5 Xia/Shao Kang
Pierre-Loïc Garoche
07:39 PM Revision 681f591b (lustrec): Preparing release 1.6 Xia/Zhu
Pierre-Loïc Garoche
05:22 PM Bug #67 (Closed): Lusi generation failed because of parser in unstable branch
Temporary disabling of Mehnir and Kind2 parser for annotation. Still work in progress. Pierre-Loïc Garoche
05:20 PM Bug #57 (Closed): horn-traces backend not working when not initialising a pre operator
Solved with commit 2d2144c04d8df16bfae1936b93eb7eeb8e5fcc4c Pierre-Loïc Garoche
05:18 PM Revision 2d2144c0 (lustrec): Solved bug#57: issues when indirect init of a pre in horn-traces
Pierre-Loïc Garoche

07/12/2018

07:43 PM Bug #55 (Closed): assertions generation in Horn clauses (smt2 file)
Solved in current unstable version 1.5-827 Pierre-Loïc Garoche
07:35 PM Revision bc9fd714 (lustrec): Temporily disabling Mehnir as a parser.
Pierre-Loïc Garoche
04:04 PM Revision b0c381d0 (lustrec): Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into l...
Pierre-Loïc Garoche

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/lustre...
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/lustre...
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 an...
Arnaud Dieumegard
 

Also available in: Atom