Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  Ada b5b745fb about 3 years Guillaume DAVY Ada: First support for transition predicate gen...
  C 71999483 about 3 years Pierre-Loïc Garoche Cleaning C backend - removing unused functiions...
  EMF a4c3d888 about 3 years Pierre-Loïc Garoche rev machines in emf
  Horn 42f91c0b about 3 years Pierre-Loïc Garoche Better EMF output, solved some invalid JSON pro...
  Java ae7d913d over 3 years Pierre-Loïc Garoche Merlin files
  VHDL dea84f9e almost 4 years Pierre-Loïc Garoche Working example!
.merlin 3 Bytes ae7d913d over 3 years Pierre-Loïc Garoche Merlin files
backends.ml 1.14 KB ad4774b0 about 4 years Pierre-Loïc Garoche - Normalization parameters (alias and unfold_ar...

Latest revisions

# Date Author Comment
b5b745fb 04/05/2019 04:37 PM Guillaume DAVY

Ada: First support for transition predicate generation.

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.

View revisions

Also available in: Atom