Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
dune 233 Bytes 3dfb5cd8 12 months Lélio Brun rewrite a bit the menhir parser
lexerLustreSpec.mll 4.64 KB 3dfb5cd8 12 months Lélio Brun rewrite a bit the menhir parser
lexer_lustre.mll 6.14 KB 3dfb5cd8 12 months Lélio Brun rewrite a bit the menhir parser
lexer_prelude.mll 3.21 KB 778c80fd over 3 years Pierre-Loïc Garoche Some refactoring Adapted the parser/types/const...
parse.ml 2.31 KB 57c96fb7 11 months Lélio Brun setup tests for dune
parserLustreSpec.mly 8.41 KB f4cba4b8 almost 3 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
parser_lustre.mly 20.9 KB 57c96fb7 11 months Lélio Brun setup tests for dune

Latest revisions

# Date Author Comment
57c96fb7 02/15/2021 02:26 PM Lélio Brun

setup tests for dune

3dfb5cd8 02/05/2021 02:36 PM Lélio Brun

rewrite a bit the menhir parser

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

migration draft on dune

04a188ec 11/21/2019 03:45 AM Pierre-Loïc Garoche

- Refactored Error exception and messages
- Bugs in partial evaluation for equalities among bool constants
and a nice recursive call generating a stack overflow! Now solved
- Setup a timeout for z3 in seal
- Better log for seal

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

Merge branch 'unstable' into lustrec-seal

94a9e2c3 11/20/2019 04:10 PM Pierre-Loïc Garoche

better location error

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

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

0697ff5b 07/16/2019 11:17 PM Pierre-Loïc Garoche

Produce true/false statements as constants

1fd3d002 03/21/2019 05:20 PM Pierre-Loïc Garoche

Cocospec: parsing, normalizing and processing machines for contracts.

View revisions

Also available in: Atom