Project

General

Profile

Activity

From 11/22/2018 to 12/21/2018

12/14/2018

03:02 PM Revision 92aface4 (lustrec): Removed warnings and solved bug for visitors iterators references be...
Arnaud Dieumegard

12/12/2018

11:28 AM Lustrec-Tests Revision a0f656ac (lustrec-tests): Added JSON files for valencia VHDL tests
Arnaud Dieumegard
11:11 AM Revision 265f2eca (lustrec): Making labels optional for sequential statements
Arnaud Dieumegard

12/11/2018

02:39 PM Lustrec-Tests Revision 78957d3d (lustrec-tests): Major update of vhdl tests
Arnaud Dieumegard

12/10/2018

03:25 PM Lustrec-Tests Revision 90da642a (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Arnaud Dieumegard
03:24 PM Lustrec-Tests Revision d93979b7 (lustrec-tests): Update of vhdl samples files
Arnaud Dieumegard
03:11 PM Lustrec-Tests Revision 0f87afc0 (lustrec-tests): Samples cleaning
Arnaud Dieumegard

12/07/2018

05:50 PM Revision 5360dcf8 (lustrec): Beggining of implicit latching check
Arnaud Dieumegard
11:08 AM Revision aeec0f04 (lustrec): Updated expression folding visitor using visitors ppx
Arnaud Dieumegard

12/06/2018

12:42 PM Revision f9667424 (lustrec): Experiences on new checks using visitors
Arnaud Dieumegard
12:41 PM Revision e050e30c (lustrec): Removed generated yojson parser, now relies on pre-processed version
Arnaud Dieumegard
12:41 PM Revision 1e0f3191 (lustrec): Update of types fields names
Arnaud Dieumegard
12:40 PM Revision 20d354f4 (lustrec): Update of types fields names
Arnaud Dieumegard
12:39 PM Revision 95076858 (lustrec): Merged separated types as one type for VHDL and MiniVHDL asts
Arnaud Dieumegard
12:36 PM Revision c3bd7dcc (lustrec): Package dependencies cleaning for lustrei and added visitors ppx
Arnaud Dieumegard
12:35 PM Revision 4857c483 (lustrec): Typo in readme
Arnaud Dieumegard

12/04/2018

09:40 PM Lustrec-Tests Revision 4748b215 (lustrec-tests): add more simulink tests
hbourbou

11/28/2018

04:51 PM Revision 029fd57f (lustrec): updated repository branch definition in opam config
Arnaud Dieumegard
04:50 PM Revision 782ba91a (lustrec): Unix package use dependency cleaning in tags
Arnaud Dieumegard
04:50 PM Revision fb5326a7 (lustrec): Cleaned code to prevent unused variables warnings
Arnaud Dieumegard

11/27/2018

01:27 PM Revision 8271d94a (lustrec): Added unix package dependency in tags
Arnaud Dieumegard

11/26/2018

03:35 PM Revision fa7c7e0a (lustrec): Merge branch 'unstable' into vhdl
Arnaud Dieumegard
03:32 PM Revision 3b1065d3 (lustrec): Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into vhdl
Arnaud Dieumegard
03:28 PM Revision b6efcf3a (lustrec): Merge remote-tracking branch 'origin/unstable' into vhdl
Arnaud Dieumegard

11/23/2018

12:16 AM Revision 5de4dde4 (lustrec): Major refreshing of machine generation
Pierre-Loïc Garoche
03:32 AM Revision 59020713 (lustrec): Some progress on EMF bqckend. Refactoring machines code
Pierre-Loïc Garoche

11/21/2018

12:16 AM Revision e8250987 (lustrec): Unevaluation of types and clocks dimension has been already performe...
Pierre-Loïc Garoche
 

Also available in: Atom