Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  Ada 61e0c3c4 about 4 years Guillaume DAVY Ada: - Correct the merge with lustrec-seal ...
  C f0a067e9 about 4 years Pierre-Loïc Garoche Better production of trace files. By default tr...
  EMF f4cba4b8 about 4 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
  Horn 19a1e66b over 4 years Pierre-Loïc Garoche Added include directive that directly inject a ...
  Java ae7d913d over 4 years Pierre-Loïc Garoche Merlin files
  VHDL dea84f9e about 5 years Pierre-Loïc Garoche Working example!
.merlin 3 Bytes ae7d913d over 4 years Pierre-Loïc Garoche Merlin files
backends.ml 1.14 KB ad4774b0 about 5 years Pierre-Loïc Garoche - Normalization parameters (alias and unfold_ar...

Latest revisions

# Date Author Comment
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.

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

525eebd1 03/13/2019 01:27 PM Guillaume DAVY

Ada: Correct branch exporting to handle boolean match(using an ada if)

379715f7 03/13/2019 10:42 AM Guillaume DAVY

Ada: Improve input/output of main ada file

6e3cdaf6 03/12/2019 01:18 PM Guillaume DAVY

Ada: Add pretty printer for case

f4cba4b8 03/12/2019 11:23 AM Pierre-Loïc Garoche

Some progress on compiling cocospec contract.
Contract resolution still need to be done as well as dealing with the machine code level and so on.

8d22ea35 03/12/2019 09:48 AM Guillaume DAVY

Ada: Some indentation

View revisions

Also available in: Atom