Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / lib / parsers @ 9b0432bc

Name Size Revision Age Author Comment
dune 211 Bytes 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
lexerLustreSpec.mll 4.63 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
lexer_lustre.mll 6.16 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
lexer_prelude.mll 3.21 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
parse.ml 2.45 KB 9b0432bc 9 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
parserLustreSpec.mly 8.41 KB 9c4cc944 10 months Corentin Lauverjat Transition to dune build system Improvement of ...
parser_lustre.mly 22 KB 9b0432bc 9 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...

Latest revisions

# Date Author Comment
9b0432bc 08/31/2020 02:56 PM Corentin Lauverjat

Using deriving_ppx to derive show_ functions for the main types defined in lib/
Applying the same procedure of operator specialization taken from the C backend to Tiny
Lustrev has now a functional Tiny plugin : * -unrolling option has been renamed -duration because from an outside observer it is the length in steps of the abstract simulation...

9c4cc944 07/30/2020 04:35 PM Corentin Lauverjat

Transition to dune build system
Improvement of opam integration
Dockerfile based on Alpine
Dockerfile based on Ubuntu
Update the README.md

View revisions

Also available in: Atom