Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  Ada 2477d634 almost 3 years Guillaume DAVY Ada: Correct some errors in printing
  C 71999483 almost 3 years Pierre-Loïc Garoche Cleaning C backend - removing unused functiions...
  EMF a4c3d888 almost 3 years Pierre-Loïc Garoche rev machines in emf
  Horn 42f91c0b almost 3 years Pierre-Loïc Garoche Better EMF output, solved some invalid JSON pro...
  Java ae7d913d about 3 years Pierre-Loïc Garoche Merlin files
  VHDL dea84f9e over 3 years Pierre-Loïc Garoche Working example!
.merlin 3 Bytes ae7d913d about 3 years Pierre-Loïc Garoche Merlin files
backends.ml 1.14 KB ad4774b0 almost 4 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