Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/backends @ 1f868027

Name Size Revision Age Author Comment
  Ada 1f868027 over 5 years Pierre-Loïc Garoche JSON EMF
  C 71999483 over 5 years Pierre-Loïc Garoche Cleaning C backend - removing unused functiions...
  EMF 1f868027 over 5 years Pierre-Loïc Garoche JSON EMF
  Horn 42f91c0b over 5 years Pierre-Loïc Garoche Better EMF output, solved some invalid JSON pro...
  Java ae7d913d almost 6 years Pierre-Loïc Garoche Merlin files
  VHDL dea84f9e over 6 years Pierre-Loïc Garoche Working example!
.merlin 3 Bytes ae7d913d almost 6 years Pierre-Loïc Garoche Merlin files
backends.ml 1.14 KB ad4774b0 over 6 years Pierre-Loïc Garoche - Normalization parameters (alias and unfold_ar...

Latest revisions

# Date Author Comment
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
71999483 03/21/2019 05:18 PM Pierre-Loïc Garoche

Cleaning C backend - removing unused functiions
Preparing for coming ACSL
de671495 03/18/2019 08:31 PM Pierre-Loïc Garoche

Merging branches, disabling the specification print in Ada backend. Should be re-enabled at some point
ab26e196 03/18/2019 04:52 PM Pierre-Loïc Garoche

Merge branch 'lustrec-seal' into ada
c3b0a8c9 03/16/2019 03:28 PM Pierre-Loïc Garoche

Merge branch 'salsa' into lustrec-seal
f0a067e9 03/15/2019 10:14 PM Pierre-Loïc Garoche

Better production of trace files.
By default traces are not produced. Requires the option -t to produce them

View revisions

Also available in: Atom