Project

General

Profile

Activity

From 07/29/2018 to 08/27/2018

08/27/2018

05:38 PM Lustrec-Tests Revision 1a2296da (lustrec-tests): Update of d-latch sample
Arnaud Dieumegard
05:37 PM Revision 70ec69a7 (lustrec): Added missing sensitivity list resolution fold
Arnaud Dieumegard
05:36 PM Revision a33a345a (lustrec): Added -check flag to start vhdl model verification
Arnaud Dieumegard
05:36 PM Revision 010428a7 (lustrec): DB tuple update to contain assigned elements in component
Arnaud Dieumegard
03:07 PM Revision 6a2c1a43 (lustrec): vhdl and mini-vhdl process printing
Arnaud Dieumegard
02:42 PM Revision b6ff3e98 (lustrec): Removed concurrent assignment statement from mini-vhdl grammar
Arnaud Dieumegard
02:40 PM Revision b2ca2f67 (lustrec): Mini-vhdl pretty printing for sequential statements and processes
Arnaud Dieumegard
02:39 PM Revision 23b37f25 (lustrec): Concurrent signal assignment statement transformation to concurrent process statement
Arnaud Dieumegard
02:38 PM Revision dcae4909 (lustrec): Clean ppx deriving comments
Arnaud Dieumegard

08/24/2018

04:52 PM Revision 304640aa (lustrec): update of mini-vhdl to lustre
Arnaud Dieumegard
04:51 PM Revision 3831b5cc (lustrec): Update of mini-vhdl pp
Arnaud Dieumegard
04:51 PM Revision 4aa05aca (lustrec): Building explicit process from concurrent signl assignment
Arnaud Dieumegard
01:50 PM Revision 4a92cb37 (lustrec): Bug fix: resolve entity/arch reference from component instantiation declaration
Arnaud Dieumegard
01:49 PM Revision 4a0ba157 (lustrec): Minor comments update
Arnaud Dieumegard

08/04/2018

12:58 AM Revision e4811e4c (lustrec): add more conversion libraries
Bourbouh

07/31/2018

02:35 PM Revision 1732ef44 (lustrec): Start of the Lustre generator
Arnaud Dieumegard
02:34 PM Lustrec-Tests Revision 6ba539c0 (lustrec-tests): Added test laucher for lustre generation
Arnaud Dieumegard
11:05 AM Revision 76f9de64 (lustrec): mutable object field storing architecture<->entities<->contexts relation, generation of MiniVHDL component instantiation
Arnaud Dieumegard
11:04 AM Revision 96cb9cf2 (lustrec): Added MiniVHDL versions of component instantiation and concurretn statement
Arnaud Dieumegard

07/30/2018

06:27 PM Lustrec-Tests Revision 1c688dd0 (lustrec-tests): Continue even if generation fails
Arnaud Dieumegard
06:26 PM Revision 9c1ed3ad (lustrec): PP order for components and packages
Arnaud Dieumegard
06:07 PM Lustrec-Tests Revision 33a42553 (lustrec-tests): Makefile update for new version of lustrei with command line parameters
Arnaud Dieumegard
06:07 PM Lustrec-Tests Revision 928e4486 (lustrec-tests): Test file update for typo
Arnaud Dieumegard
06:05 PM Revision 768e8c07 (lustrec): PP for packages in minivhdl
Arnaud Dieumegard
06:04 PM Revision b15439da (lustrec): Update of the command line
Arnaud Dieumegard
05:33 PM Revision cd7d074b (lustrec): Added command line parameters
Arnaud Dieumegard
05:33 PM Revision 4a37b02a (lustrec): Typo correction
Arnaud Dieumegard
04:05 PM Revision 3340aff0 (lustrec): Some code comments
Arnaud Dieumegard
03:59 PM Revision 5bbf7413 (lustrec): definition of the mini-vhdl types + pp + transformation from vhdl structure
Arnaud Dieumegard
 

Also available in: Atom