Project

General

Profile

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

Latest revisions

# Date Author Comment
05f85b44 04/29/2019 01:53 PM Guillaume DAVY

Ada: Start cleaning Ada to prepare for why beckend

173a2a8f 04/19/2019 12:47 PM Guillaume DAVY

Ada: Lot of specification is exported in Ada. We use ghost code to store all states,
we generate the transition pridicate but also the invariant. But two problems, occured.
The first one is a visibility problem for the record which is private but must be
public for ghost variable which have to be public for specifaction. The second...

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

View revisions

Also available in: Atom