Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
dune 210 Bytes 719ae9fd 12 months Lélio Brun migration draft on dune
scopes.ml 15 KB 6d1693b9 7 months Lélio Brun work on spec generation almost done

Latest revisions

# Date Author Comment
6d1693b9 06/14/2021 07:06 PM Lélio Brun

work on spec generation almost done

75c459f4 05/04/2021 06:24 PM Lélio Brun

start with Spec AST generation

ca7e8027 02/05/2021 02:36 PM Lélio Brun

fix almost all warnings

719ae9fd 02/03/2021 02:47 PM Lélio Brun

migration draft on dune

dc732cf2 04/29/2019 10:29 PM Pierre-Loïc Garoche

Solved scopes print order

c3b0a8c9 03/16/2019 03:28 PM Pierre-Loïc Garoche

Merge branch 'salsa' into lustrec-seal

61df3cb9 03/16/2019 06:23 AM Pierre-Loïc Garoche

Reformating plugin signatures. Better report management

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

70be4acf 03/15/2019 12:40 AM Pierre-Loïc Garoche

Serious refactoring of scopes plug-in:
- now properly records the scopes
- only register requested ones

6eeafd52 03/13/2019 05:22 PM Pierre-Loïc Garoche

bug solved: issues with main node input access when using scope plugin

View revisions

Also available in: Atom