Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/backends @ 2477d634

Name Size Revision Age Author Comment
  Ada 2477d634 over 5 years Guillaume DAVY Ada: Correct some errors in printing
  C 71999483 over 5 years Pierre-Loïc Garoche Cleaning C backend - removing unused functiions...
  EMF a4c3d888 over 5 years Pierre-Loïc Garoche rev machines in emf
  Horn 42f91c0b over 5 years Pierre-Loïc Garoche Better EMF output, solved some invalid JSON pro...
  Java ae7d913d almost 6 years Pierre-Loïc Garoche Merlin files
  VHDL dea84f9e over 6 years Pierre-Loïc Garoche Working example!
.merlin 3 Bytes ae7d913d almost 6 years Pierre-Loïc Garoche Merlin files
backends.ml 1.14 KB ad4774b0 over 6 years Pierre-Loïc Garoche - Normalization parameters (alias and unfold_ar...

Latest revisions

# Date Author Comment
2477d634 04/04/2019 04:11 PM Guillaume DAVY

Ada: Correct some errors in printing
230b168e 04/04/2019 02:14 PM Guillaume DAVY

Ada: Refactor Ada Backend to reduce redundancy, make it more modular and
more simple.
2eee868b 03/22/2019 01:51 PM Guillaume DAVY

Merge branch 'lustrec-seal' into ada
826063db 03/22/2019 01:50 PM Guillaume DAVY

Ada: Correct ada main to handle statelles top level node
a4c3d888 03/22/2019 02:05 AM Pierre-Loïc Garoche

rev machines in emf
1f868027 03/22/2019 01:02 AM Pierre-Loïc Garoche

JSON EMF
08788a01 03/21/2019 09:42 PM Pierre-Loïc Garoche

Merge branch 'ada' into lustrec-seal
f5769e61 03/21/2019 07:55 PM Pierre-Loïc Garoche

Better JSON for EMF backend
61e0c3c4 03/21/2019 07:23 PM Guillaume DAVY

Ada:
- Correct the merge with lustrec-seal
- Improve support for builtin function(still work to do)
- Add generation of a gpr file for lib(without main).
- Add var initialisation in the reset, still work to do.
42f91c0b 03/21/2019 05:19 PM Pierre-Loïc Garoche

Better EMF output, solved some invalid JSON produced

View revisions

Also available in: Atom