Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
main_lustre_importer.ml 3.57 KB d040e852 over 6 years Arnaud Dieumegard Modified output display for check mode
mini_vhdl_check.ml 4.16 KB e15a8d65 over 6 years Arnaud Dieumegard Added open in vhdl ast
mini_vhdl_to_lustre.ml 21.1 KB a0721293 over 6 years Pierre-Loïc Garoche program type is now program_t

Latest revisions

# Date Author Comment
a0721293 11/17/2018 05:31 AM Pierre-Loïc Garoche

program type is now program_t

d17a251e 10/05/2018 03:55 PM Pierre-Loïc Garoche

Some progress on Lustre-> VHDL backend. The structure is prepared but almost empty. More work to be done.

a972e0f8 09/26/2018 12:40 PM Arnaud Dieumegard

Help comments on mini_vhdl to lustre transformation

639e5db9 09/26/2018 11:31 AM Arnaud Dieumegard

Added node variables generation from signals/variables definitions in architecture

35107b42 09/26/2018 10:51 AM Arnaud Dieumegard

Code cosmetics

dd48d8c9 09/26/2018 09:50 AM Arnaud Dieumegard

Mini_vhdl to lsutre code cleaning

b98638f7 09/25/2018 05:59 PM Arnaud Dieumegard

Added new functions to generate i/o and nodes

13872a54 09/25/2018 03:56 PM Arnaud Dieumegard

Added missing transformation methods squelettons for mini_vhdl to lustre transformation

d040e852 09/10/2018 04:36 PM Arnaud Dieumegard

Modified output display for check mode

e15a8d65 08/31/2018 10:05 AM Arnaud Dieumegard

Added open in vhdl ast

View revisions

Also available in: Atom