Project

General

Profile

Activity

From 12/06/2018 to 01/04/2019

01/04/2019

05:13 PM Revision 5cfb7200 (lustrec): Initial commit for signals lattice building
Arnaud Dieumegard
03:59 PM Revision 7fb1bdba (lustrec): Code refactoring
Arnaud Dieumegard
03:54 PM Revision ccd386cb (lustrec): Added on keywork for wait statement and removed is keywork in proces...
Arnaud Dieumegard
03:48 PM Revision 00b2e06b (lustrec): rewriting of processes to transform sensitivity list to wait on stat...
Arnaud Dieumegard
03:46 PM Revision bd1f1929 (lustrec): Added sensitivity list to Wait statements in VHDL and MiniVHDL
Arnaud Dieumegard
03:00 PM Revision 4515d925 (lustrec): Added MiniVHDL package pp
Arnaud Dieumegard
02:54 PM Revision e0f0bc2c (lustrec): Added polymorphic option for generated visitors
Arnaud Dieumegard
02:45 PM Revision c26f5a31 (lustrec): Résolutions de conflits
Arnaud Dieumegard
02:40 PM Revision c1b877b6 (lustrec): Labels are now optional in the VHDL ast
Arnaud Dieumegard

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
 

Also available in: Atom