lustrec/src @ aaa8e454
| Name | Size | Revision | Age | Author | Comment |
|---|---|---|---|---|---|
| backends | aaa8e454 | over 3 years | Lélio Brun | it works | |
| checks | 7ee5f69e | over 3 years | Lélio Brun | corrections on loggers + spec in AST | |
| features | ca7e8027 | almost 4 years | Lélio Brun | fix almost all warnings | |
| parsers | 2756319f | almost 4 years | Lélio Brun | messages d'erreurs terminés | |
| plugins | 6d1693b9 | over 3 years | Lélio Brun | work on spec generation almost done | |
| tools | ca7e8027 | almost 4 years | Lélio Brun | fix almost all warnings | |
| utils | 6d1693b9 | over 3 years | Lélio Brun | work on spec generation almost done | |
| Makefile-lustresf.in | 758 Bytes | 3b4b7a2e | about 7 years | Christophe Garion | [lustresf] lustresf targets are optional in Mak... |
| Makefile.in | 1.58 KB | 325f07c0 | almost 6 years | Christophe Garion | doc: use SVG format instead of PNG for dependen... |
| _tags.in | 2.04 KB | b43b8eb5 | almost 4 years | Pierre-Loic Garoche | add thread dependency required by z3 lib |
| annotations.ml | 1.16 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| arrow.ml | 894 Bytes | 6d1693b9 | over 3 years | Lélio Brun | work on spec generation almost done |
| arrow.mli | 157 Bytes | 6d1693b9 | over 3 years | Lélio Brun | work on spec generation almost done |
| automata.ml | 14.8 KB | 57c96fb7 | almost 4 years | Lélio Brun | setup tests for dune |
| basic_library.ml | 11.2 KB | ca7e8027 | almost 4 years | Lélio Brun | fix almost all warnings |
| causality.ml | 25.7 KB | 1daf7bf0 | over 3 years | Lélio Brun | systematically add dependencies to clock variab... |
| clock_calculus.ml | 27.2 KB | aaa8e454 | over 3 years | Lélio Brun | it works |
| clock_predef.ml | 1.76 KB | ec433d69 | almost 10 years | Xavier Thirioux | Major revision due to severe limitations and bu... |
| clocks.ml | 14.1 KB | 6cbbe1c1 | over 3 years | Lélio Brun | start again with spec representation |
| compiler_common.ml | 14.6 KB | 7ee5f69e | over 3 years | Lélio Brun | corrections on loggers + spec in AST |
| compiler_stages.ml | 13.1 KB | 7ee5f69e | over 3 years | Lélio Brun | corrections on loggers + spec in AST |
| corelang.ml | 48.1 KB | 6d1693b9 | over 3 years | Lélio Brun | work on spec generation almost done |
| corelang.mli | 8.22 KB | 6d1693b9 | over 3 years | Lélio Brun | work on spec generation almost done |
| delay.ml | 2.97 KB | ca7e8027 | almost 4 years | Lélio Brun | fix almost all warnings |
| delay_predef.ml | 1.28 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| dune | 3.41 KB | 6d1693b9 | over 3 years | Lélio Brun | work on spec generation almost done |
| error.ml | 1.82 KB | 04a188ec | about 5 years | Pierre-Loïc Garoche | - Refactored Error exception and messages - Bug... |
| expand.ml | 10.8 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| global.ml | 651 Bytes | 04a188ec | about 5 years | Pierre-Loïc Garoche | - Refactored Error exception and messages - Bug... |
| init_predef.ml | 2.29 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| inliner.ml | 20 KB | ca7e8027 | almost 4 years | Lélio Brun | fix almost all warnings |
| log.ml | 1020 Bytes | 7ee5f69e | over 3 years | Lélio Brun | corrections on loggers + spec in AST |
| lusic.ml | 3.53 KB | efcc8d7f | over 3 years | Lélio Brun | move arrow spec in its own header |
| lustre_live.ml | 3.21 KB | aaa8e454 | over 3 years | Lélio Brun | it works |
| lustre_types.ml | 7.08 KB | 04a188ec | about 5 years | Pierre-Loïc Garoche | - Refactored Error exception and messages - Bug... |
| lustre_utils.ml | 3.99 KB | b8dfc744 | over 5 years | Pierre-Loïc Garoche | valid _verif node for seal-export lustre |
| lustrec.odocl | 1.05 KB | aa85bd44 | almost 6 years | Guillaume DAVY | Doc: update rule and remove old module in odocl |
| machine_code.ml | 19.9 KB | aaa8e454 | over 3 years | Lélio Brun | it works |
| machine_code.mli | 135 Bytes | f4cba4b8 | almost 6 years | Pierre-Loïc Garoche | Some progress on compiling cocospec contract. C... |
| machine_code_common.ml | 16.4 KB | aaa8e454 | over 3 years | Lélio Brun | it works |
| machine_code_common.mli | 2.83 KB | c4780a6a | over 3 years | Lélio Brun | work on new reset functions generation |
| machine_code_types.ml | 2.07 KB | c4780a6a | over 3 years | Lélio Brun | work on new reset functions generation |
| main_lustre_compiler.ml | 5 KB | f69e7ea2 | over 3 years | Lélio Brun | add -O -1 flag to disable fusion of conditionals |
| main_lustre_testgen.ml | 7.19 KB | 57c96fb7 | almost 4 years | Lélio Brun | setup tests for dune |
| main_lustre_verifier.ml | 5.45 KB | 90e83deb | almost 4 years | Lélio Brun | prepare for the modern error handling of Menhir |
| mmap.ml | 10.7 KB | ca7e8027 | almost 4 years | Lélio Brun | fix almost all warnings |
| modules.ml | 12.1 KB | ca7e8027 | almost 4 years | Lélio Brun | fix almost all warnings |
| modules.mli | 867 Bytes | ca7e8027 | almost 4 years | Lélio Brun | fix almost all warnings |
| mutation.ml | 26.8 KB | ca7e8027 | almost 4 years | Lélio Brun | fix almost all warnings |
| normalization.ml | 32.8 KB | ca7e8027 | almost 4 years | Lélio Brun | fix almost all warnings |
| normalization.mli | 319 Bytes | 95944ba1 | about 6 years | Pierre-Loïc Garoche | Cleaning up stuff in normalization. Mainly repl... |
| optimize_machine.ml | 32 KB | a91680fc | over 3 years | Lélio Brun | Bug fix with constant inlining variable removal... |
| optimize_prog.ml | 4.56 KB | e47138b8 | about 5 years | Pierre-Loïc Garoche | reactivating the unfolding of constants |
| options.ml | 2.07 KB | f69e7ea2 | over 3 years | Lélio Brun | add -O -1 flag to disable fusion of conditionals |
| options_management.ml | 8.59 KB | f69e7ea2 | over 3 years | Lélio Brun | add -O -1 flag to disable fusion of conditionals |
| pathConditions.ml | 11.7 KB | ca7e8027 | almost 4 years | Lélio Brun | fix almost all warnings |
| printers.ml | 22.7 KB | 7ee5f69e | over 3 years | Lélio Brun | corrections on loggers + spec in AST |
| real.ml | 1.44 KB | ca7e8027 | almost 4 years | Lélio Brun | fix almost all warnings |
| real.mli | 619 Bytes | ca7e8027 | almost 4 years | Lélio Brun | fix almost all warnings |
| scheduling.ml | 10.5 KB | aaa8e454 | over 3 years | Lélio Brun | it works |
| scheduling_type.ml | 557 Bytes | a703ed0c | about 6 years | Pierre-Loïc Garoche | Preprocess the selected node in seaL BACKEND: f... |
| sortProg.ml | 2.25 KB | 7ee5f69e | over 3 years | Lélio Brun | corrections on loggers + spec in AST |
| spec.ml | 524 Bytes | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| spec_common.ml | 2.68 KB | aaa8e454 | over 3 years | Lélio Brun | it works |
| spec_types.ml | 2.19 KB | aaa8e454 | over 3 years | Lélio Brun | it works |
| splitting.ml | 3.16 KB | ca7e8027 | almost 4 years | Lélio Brun | fix almost all warnings |
| type_predef.ml | 3.2 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| types.ml | 16.6 KB | 6cbbe1c1 | over 3 years | Lélio Brun | start again with spec representation |
| typing.ml | 39.7 KB | 6cbbe1c1 | over 3 years | Lélio Brun | start again with spec representation |
| verifierList.ml | 176 Bytes | 719ae9fd | almost 4 years | Lélio Brun | migration draft on dune |
| verifierType.ml | 504 Bytes | 7a4fd94d | over 5 years | Pierre-Loïc Garoche | Output folder for seal-extract |
| verifiers.ml | 1.26 KB | ca7e8027 | almost 4 years | Lélio Brun | fix almost all warnings |
| version.ml | 183 Bytes | ac6ce5a1 | almost 4 years | Lélio Brun | disable tests in gitlab CI |
Latest revisions
Also available in: Atom