Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
dune 1.6 KB 90e83deb 11 months Lélio Brun prepare for the modern error handling of Menhir
lexerLustreSpec.mll 4.37 KB a2327c71 11 months Lélio Brun start to write error messages
lexer_lustre.mll 7.96 KB 91e96bd8 10 months Lélio Brun some more error messages
lexer_prelude.mll 3.21 KB 778c80fd over 3 years Pierre-Loïc Garoche Some refactoring Adapted the parser/types/const...
parse.ml 5.5 KB 91e96bd8 10 months Lélio Brun some more error messages
parserLustreSpec.mly 8.41 KB f4cba4b8 almost 3 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
parser_lustre.messages 409 KB 78013d1e 10 months Lélio Brun more error messages
parser_lustre.mly 21 KB 91e96bd8 10 months Lélio Brun some more error messages

Latest revisions

# Date Author Comment
78013d1e 03/19/2021 03:11 PM Lélio Brun

more error messages

91e96bd8 03/18/2021 04:32 PM Lélio Brun

some more error messages

a2327c71 03/10/2021 05:22 PM Lélio Brun

start to write error messages

90e83deb 03/09/2021 01:20 PM Lélio Brun

prepare for the modern error handling of Menhir

1df55e58 02/16/2021 04:21 PM Lélio Brun

minor rewriting

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

View revisions

Also available in: Atom