Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends @ ab8388cf

Name Size Revision Age Author Comment
  Ada 05f85b44 8 months Guillaume DAVY Ada: Start cleaning Ada to prepare for why beckend
  C 71999483 9 months Pierre-Loïc Garoche Cleaning C backend - removing unused functiions...
  EMF ab8388cf about 1 month Pierre-Loïc Garoche [emf] added the names of the cocospec propertie...
  Horn 42f91c0b 9 months Pierre-Loïc Garoche Better EMF output, solved some invalid JSON pro...
  Java ae7d913d about 1 year Pierre-Loïc Garoche Merlin files
  VHDL dea84f9e over 1 year Pierre-Loïc Garoche Working example!
.merlin 3 Bytes ae7d913d about 1 year Pierre-Loïc Garoche Merlin files
backends.ml 1.14 KB ad4774b0 over 1 year Pierre-Loïc Garoche - Normalization parameters (alias and unfold_ar...

Latest revisions

# Date Author Comment
ab8388cf 11/06/2019 10:19 AM Pierre-Loïc Garoche

[emf] added the names of the cocospec properties in the output json

51aef490 11/05/2019 12:11 AM Pierre-Loïc Garoche

Better treatment of arrays in EMF backend. Be careful it may have changed the way enum types are declared

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

View revisions

Also available in: Atom