Activity
From 11/28/2018 to 12/27/2018
12/14/2018
12/12/2018
- 11:28 AM Lustrec-Tests Revision a0f656ac (lustrec-tests): Added JSON files for valencia VHDL tests
- 11:11 AM Revision 265f2eca (lustrec): Making labels optional for sequential statements
12/11/2018
- 02:39 PM Lustrec-Tests Revision 78957d3d (lustrec-tests): Major update of vhdl tests
12/10/2018
- 03:25 PM Lustrec-Tests Revision 90da642a (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 03:24 PM Lustrec-Tests Revision d93979b7 (lustrec-tests): Update of vhdl samples files
- 03:11 PM Lustrec-Tests Revision 0f87afc0 (lustrec-tests): Samples cleaning
12/07/2018
- 05:50 PM Revision 5360dcf8 (lustrec): Beggining of implicit latching check
- 11:08 AM Revision aeec0f04 (lustrec): Updated expression folding visitor using visitors ppx
12/06/2018
- 12:42 PM Revision f9667424 (lustrec): Experiences on new checks using visitors
- 12:41 PM Revision e050e30c (lustrec): Removed generated yojson parser, now relies on pre-processed version
- 12:41 PM Revision 1e0f3191 (lustrec): Update of types fields names
- 12:40 PM Revision 20d354f4 (lustrec): Update of types fields names
- 12:39 PM Revision 95076858 (lustrec): Merged separated types as one type for VHDL and MiniVHDL asts
- 12:36 PM Revision c3bd7dcc (lustrec): Package dependencies cleaning for lustrei and added visitors ppx
- 12:35 PM Revision 4857c483 (lustrec): Typo in readme
12/04/2018
- 09:40 PM Lustrec-Tests Revision 4748b215 (lustrec-tests): add more simulink tests
11/28/2018
Also available in: Atom