Project

General

Profile

Activity

From 11/29/2018 to 12/28/2018

12/14/2018

03:02 PM Revision 92aface4 (lustrec): Removed warnings and solved bug for visitors iterators references between vhdl_ast and mini_vhdl_ast
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/lustrec-tests
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
 

Also available in: Atom