Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  backends c4780a6a 8 months Lélio Brun work on new reset functions generation
  checks 7ee5f69e 9 months Lélio Brun corrections on loggers + spec in AST
  features ca7e8027 12 months Lélio Brun fix almost all warnings
  parsers 2756319f 10 months Lélio Brun messages d'erreurs terminés
  plugins 6d1693b9 8 months Lélio Brun work on spec generation almost done
  tools ca7e8027 12 months Lélio Brun fix almost all warnings
  utils 6d1693b9 8 months Lélio Brun work on spec generation almost done
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 about 1 year 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 894 Bytes 6d1693b9 8 months Lélio Brun work on spec generation almost done
arrow.mli 157 Bytes 6d1693b9 8 months Lélio Brun work on spec generation almost done
automata.ml 14.8 KB 57c96fb7 12 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 7ee5f69e 9 months Lélio Brun corrections on loggers + spec in AST
clock_calculus.ml 27.1 KB 6cbbe1c1 8 months Lélio Brun start again with spec representation
clock_predef.ml 1.76 KB ec433d69 almost 7 years Xavier Thirioux Major revision due to severe limitations and bu...
clocks.ml 14.1 KB 6cbbe1c1 8 months Lélio Brun start again with spec representation
compiler_common.ml 14.6 KB 7ee5f69e 9 months Lélio Brun corrections on loggers + spec in AST
compiler_stages.ml 13.1 KB 7ee5f69e 9 months Lélio Brun corrections on loggers + spec in AST
corelang.ml 48.1 KB 6d1693b9 8 months Lélio Brun work on spec generation almost done
corelang.mli 8.22 KB 6d1693b9 8 months Lélio Brun work on spec generation almost done
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.41 KB 6d1693b9 8 months Lélio Brun work on spec generation almost done
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 1020 Bytes 7ee5f69e 9 months Lélio Brun corrections on loggers + spec in AST
lusic.ml 3.53 KB efcc8d7f 9 months Lélio Brun move arrow spec in its own header
lustre_live.ml 3.3 KB 6d1693b9 8 months Lélio Brun work on spec generation almost done
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 19.4 KB c4780a6a 8 months Lélio Brun work on new reset functions generation
machine_code.mli 135 Bytes f4cba4b8 almost 3 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
machine_code_common.ml 16.3 KB c4780a6a 8 months Lélio Brun work on new reset functions generation
machine_code_common.mli 2.83 KB c4780a6a 8 months Lélio Brun work on new reset functions generation
machine_code_types.ml 2.07 KB c4780a6a 8 months Lélio Brun work on new reset functions generation
main_lustre_compiler.ml 5 KB f69e7ea2 9 months Lélio Brun add -O -1 flag to disable fusion of conditionals
main_lustre_testgen.ml 7.19 KB 57c96fb7 12 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 32 KB a91680fc 8 months Lélio Brun Bug fix with constant inlining variable removal...
optimize_prog.ml 4.56 KB e47138b8 about 2 years Pierre-Loïc Garoche reactivating the unfolding of constants
options.ml 2.07 KB f69e7ea2 9 months Lélio Brun add -O -1 flag to disable fusion of conditionals
options_management.ml 8.59 KB f69e7ea2 9 months Lélio Brun add -O -1 flag to disable fusion of conditionals
pathConditions.ml 11.7 KB ca7e8027 12 months Lélio Brun fix almost all warnings
printers.ml 22.7 KB 7ee5f69e 9 months Lélio Brun corrections on loggers + spec in AST
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.5 KB 7ee5f69e 9 months Lélio Brun corrections on loggers + spec in AST
scheduling_type.ml 557 Bytes a703ed0c about 3 years Pierre-Loïc Garoche Preprocess the selected node in seaL BACKEND: f...
sortProg.ml 2.25 KB 7ee5f69e 9 months Lélio Brun corrections on loggers + spec in AST
spec.ml 524 Bytes 8446bf03 almost 4 years Pierre-Loïc Garoche - Makefile: solved dependency problem when comp...
spec_common.ml 2.45 KB 6d1693b9 8 months Lélio Brun work on spec generation almost done
spec_types.ml 1.81 KB 6d1693b9 8 months Lélio Brun work on spec generation almost done
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 6cbbe1c1 8 months Lélio Brun start again with spec representation
typing.ml 39.7 KB 6cbbe1c1 8 months Lélio Brun start again with spec representation
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 12 months Lélio Brun disable tests in gitlab CI

Latest revisions

# Date Author Comment
a91680fc 06/16/2021 01:24 PM Lélio Brun

Bug fix with constant inlining variable removal in machine code

c4780a6a 06/15/2021 05:34 PM Lélio Brun

work on new reset functions generation

6d1693b9 06/14/2021 07:06 PM Lélio Brun

work on spec generation almost done

9e277169 06/04/2021 10:09 AM Lélio Brun

forgotten file

6cbbe1c1 06/03/2021 04:44 PM Lélio Brun

start again with spec representation

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

start with Spec AST generation

f69e7ea2 05/04/2021 10:58 AM Lélio Brun

add -O -1 flag to disable fusion of conditionals

7a1b2819 05/04/2021 10:26 AM Lélio Brun

missing file

7ee5f69e 05/04/2021 10:20 AM Lélio Brun

corrections on loggers + spec in AST

dfce5630 04/26/2021 05:12 PM Lélio Brun

patch de Xavier pour réparer -O 3

View revisions

Also available in: Atom