Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends @ c2db420f

Name Size Revision Age Author Comment
  Ada c2db420f 9 months Pierre-Loïc Garoche comment some code to avoid warning at compile time
  C e8f55c25 9 months Pierre-Loïc Garoche - tag_true and tag_false moved to lustre_types...
  EMF 9b2c037f 9 months Pierre-Loïc Garoche solved bug 91 on cavale: spurious commas in emf...
  Horn e8f55c25 9 months Pierre-Loïc Garoche - tag_true and tag_false moved to lustre_types...
  Java ae7d913d over 1 year Pierre-Loïc Garoche Merlin files
  VHDL dea84f9e about 2 years Pierre-Loïc Garoche Working example!
.merlin 3 Bytes ae7d913d over 1 year Pierre-Loïc Garoche Merlin files
backends.ml 1.14 KB ad4774b0 over 2 years Pierre-Loïc Garoche - Normalization parameters (alias and unfold_ar...

Latest revisions

# Date Author Comment
c2db420f 11/20/2019 05:09 PM Pierre-Loïc Garoche

comment some code to avoid warning at compile time

9b2c037f 11/20/2019 04:42 PM Pierre-Loïc Garoche

solved bug 91 on cavale: spurious commas in emf backend

490f1952 11/20/2019 04:38 PM Pierre-Loïc Garoche

Merge branch 'unstable' into lustrec-seal

e8f55c25 11/15/2019 12:34 AM Pierre-Loïc Garoche

- tag_true and tag_false moved to lustre_types
- real constants are hidden in Real.ml{i} module

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

3b007718 07/18/2019 07:39 AM Pierre-Loïc Garoche

EMF backend issue

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.

View revisions

Also available in: Atom