Activity
From 11/22/2018 to 12/21/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
- 04:51 PM Revision 029fd57f (lustrec): updated repository branch definition in opam config
- 04:50 PM Revision 782ba91a (lustrec): Unix package use dependency cleaning in tags
- 04:50 PM Revision fb5326a7 (lustrec): Cleaned code to prevent unused variables warnings
11/27/2018
11/26/2018
- 03:35 PM Revision fa7c7e0a (lustrec): Merge branch 'unstable' into vhdl
- 03:32 PM Revision 3b1065d3 (lustrec): Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into vhdl
- 03:28 PM Revision b6efcf3a (lustrec): Merge remote-tracking branch 'origin/unstable' into vhdl
11/24/2018
11/23/2018
11/22/2018
Also available in: Atom