Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  backends 15c3e4e7 11 months Lélio Brun generic ACSL spec generation
  checks 15c3e4e7 11 months Lélio Brun generic ACSL spec generation
  features ca7e8027 12 months Lélio Brun fix almost all warnings
  parsers 78013d1e 10 months Lélio Brun more error messages
  plugins 90cc3b8e 11 months Lélio Brun some rewriting in C backend pretty-printer
  tools ca7e8027 12 months Lélio Brun fix almost all warnings
  utils a2327c71 11 months Lélio Brun start to write error messages
Makefile-lustresf.in 758 Bytes 3b4b7a2e about 4 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 1.58 KB 325f07c0 almost 3 years Christophe Garion doc: use SVG format instead of PNG for dependen...
_tags.in 2.04 KB b43b8eb5 12 months Pierre-Loic Garoche add thread dependency required by z3 lib
annotations.ml 1.16 KB 8446bf03 almost 4 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
arrow.ml 837 Bytes 719ae9fd 12 months Lélio Brun migration draft on dune
arrow.mli 110 Bytes 719ae9fd 12 months Lélio Brun migration draft on dune
automata.ml 14.8 KB 57c96fb7 11 months Lélio Brun setup tests for dune
basic_library.ml 11.2 KB ca7e8027 12 months Lélio Brun fix almost all warnings
causality.ml 25.5 KB 90e83deb 11 months Lélio Brun prepare for the modern error handling of Menhir
clock_calculus.ml 27 KB 90e83deb 11 months Lélio Brun prepare for the modern error handling of Menhir
clock_predef.ml 1.76 KB ec433d69 almost 7 years Xavier Thirioux Major revision due to severe limitations and bu...
clocks.ml 14 KB ca7e8027 12 months Lélio Brun fix almost all warnings
compiler_common.ml 14.5 KB a2327c71 11 months Lélio Brun start to write error messages
compiler_stages.ml 12.8 KB 1df55e58 11 months Lélio Brun minor rewriting
corelang.ml 48 KB ca7e8027 12 months Lélio Brun fix almost all warnings
corelang.mli 8.05 KB ca7e8027 12 months Lélio Brun fix almost all warnings
delay.ml 2.97 KB ca7e8027 12 months Lélio Brun fix almost all warnings
delay_predef.ml 1.28 KB ea8f51ae almost 4 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
dune 3.38 KB 90e83deb 11 months Lélio Brun prepare for the modern error handling of Menhir
error.ml 1.82 KB 04a188ec about 2 years Pierre-Loïc Garoche - Refactored Error exception and messages - Bug...
expand.ml 10.8 KB ea8f51ae almost 4 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
global.ml 651 Bytes 04a188ec about 2 years Pierre-Loïc Garoche - Refactored Error exception and messages - Bug...
init_predef.ml 2.29 KB ea8f51ae almost 4 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
inliner.ml 20 KB ca7e8027 12 months Lélio Brun fix almost all warnings
log.ml 1 KB 15c3e4e7 11 months Lélio Brun generic ACSL spec generation
lusic.ml 3.63 KB c226a3ba 11 months Lélio Brun start generating ACSL spec
lustre_types.ml 7.08 KB 04a188ec about 2 years Pierre-Loïc Garoche - Refactored Error exception and messages - Bug...
lustre_utils.ml 3.99 KB b8dfc744 over 2 years Pierre-Loïc Garoche valid _verif node for seal-export lustre
lustrec.odocl 1.05 KB aa85bd44 almost 3 years Guillaume DAVY Doc: update rule and remove old module in odocl
machine_code.ml 16.6 KB 1df55e58 11 months Lélio Brun minor rewriting
machine_code.mli 135 Bytes f4cba4b8 almost 3 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
machine_code_common.ml 11.6 KB ca7e8027 12 months Lélio Brun fix almost all warnings
machine_code_common.mli 1.91 KB f0195e96 almost 2 years Pierre-Loïc Garoche - Primitive Tiny backend - Renamed Mpfr to lust...
machine_code_types.ml 1.72 KB 1fd3d002 almost 3 years Pierre-Loïc Garoche Cocospec: parsing, normalizing and processing m...
main_lustre_compiler.ml 4.94 KB 90e83deb 11 months Lélio Brun prepare for the modern error handling of Menhir
main_lustre_testgen.ml 7.19 KB 57c96fb7 11 months Lélio Brun setup tests for dune
main_lustre_verifier.ml 5.45 KB 90e83deb 11 months Lélio Brun prepare for the modern error handling of Menhir
mmap.ml 10.7 KB ca7e8027 12 months Lélio Brun fix almost all warnings
modules.ml 12.1 KB ca7e8027 12 months Lélio Brun fix almost all warnings
modules.mli 867 Bytes ca7e8027 12 months Lélio Brun fix almost all warnings
mutation.ml 26.8 KB ca7e8027 12 months Lélio Brun fix almost all warnings
normalization.ml 32.8 KB ca7e8027 12 months Lélio Brun fix almost all warnings
normalization.mli 319 Bytes 95944ba1 about 3 years Pierre-Loïc Garoche Cleaning up stuff in normalization. Mainly repl...
optimize_machine.ml 31.6 KB ca7e8027 12 months Lélio Brun fix almost all warnings
optimize_prog.ml 4.56 KB e47138b8 about 2 years Pierre-Loïc Garoche reactivating the unfolding of constants
options.ml 2.11 KB a0c92fa8 almost 2 years Pierre-Loïc Garoche printing nodes + more progress on seal export
options_management.ml 8.58 KB 90cc3b8e 11 months Lélio Brun some rewriting in C backend pretty-printer
pathConditions.ml 11.7 KB ca7e8027 12 months Lélio Brun fix almost all warnings
printers.ml 22.8 KB ca7e8027 12 months Lélio Brun fix almost all warnings
real.ml 1.44 KB ca7e8027 12 months Lélio Brun fix almost all warnings
real.mli 619 Bytes ca7e8027 12 months Lélio Brun fix almost all warnings
scheduling.ml 10.3 KB ca7e8027 12 months Lélio Brun fix almost all warnings
scheduling_type.ml 557 Bytes a703ed0c about 3 years Pierre-Loïc Garoche Preprocess the selected node in seaL BACKEND: f...
sortProg.ml 2.23 KB ca7e8027 12 months Lélio Brun fix almost all warnings
spec.ml 524 Bytes 8446bf03 almost 4 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
splitting.ml 3.16 KB ca7e8027 12 months Lélio Brun fix almost all warnings
type_predef.ml 3.2 KB ea8f51ae almost 4 years Pierre-Loïc Garoche Basic library printers moved into backend speci...
types.ml 16.6 KB ca7e8027 12 months Lélio Brun fix almost all warnings
typing.ml 39.5 KB ca7e8027 12 months Lélio Brun fix almost all warnings
verifierList.ml 176 Bytes 719ae9fd 12 months Lélio Brun migration draft on dune
verifierType.ml 504 Bytes 7a4fd94d over 2 years Pierre-Loïc Garoche Output folder for seal-extract
verifiers.ml 1.26 KB ca7e8027 12 months Lélio Brun fix almost all warnings
version.ml 183 Bytes ac6ce5a1 11 months Lélio Brun disable tests in gitlab CI

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

15c3e4e7 03/08/2021 10:58 AM Lélio Brun

generic ACSL spec generation

c226a3ba 03/01/2021 03:56 PM Lélio Brun

start generating ACSL spec

b20c1e19 02/19/2021 11:21 AM Lélio Brun

Merge branch 'dune'

90cc3b8e 02/19/2021 11:19 AM Lélio Brun

some rewriting in C backend pretty-printer

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

minor rewriting

ac6ce5a1 02/15/2021 02:59 PM Lélio Brun

disable tests in gitlab CI

View revisions

Also available in: Atom