lustrec/src @ 57d61d67
| Name | Size | Revision | Age | Author | Comment |
|---|---|---|---|---|---|
| backends | 5318ad88 | almost 7 years | Xavier Thirioux | introduced euclidean/C-like division in C code ... | |
| cocospec | 2ae3ef3f | almost 7 years | Pierre-Loïc Garoche | Tentative to rely on Kind parser for contracts | |
| features | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... | |
| plugins | 8e6cab20 | almost 7 years | Pierre-Loïc Garoche | Tuning the pretty printing of Salsa plugin | |
| tools | 57d61d67 | over 6 years | Pierre-Loïc Garoche | New option to select github version of Z3 Added... | |
| Makefile-lustresf.in | 758 Bytes | 3b4b7a2e | about 7 years | Christophe Garion | [lustresf] lustresf targets are optional in Mak... |
| Makefile.in | 1.41 KB | ad4774b0 | almost 7 years | Pierre-Loïc Garoche | - Normalization parameters (alias and unfold_ar... |
| _tags.in | 1.67 KB | 57d61d67 | over 6 years | Pierre-Loïc Garoche | New option to select github version of Z3 Added... |
| access.ml | 3.66 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| algebraicLoop.ml | 14.5 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| annotations.ml | 1.16 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| arrow.ml | 806 Bytes | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
| arrow.mli | 102 Bytes | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
| automata.ml | 14.7 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| basic_library.ml | 6.57 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| causality.ml | 24.5 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| clock_calculus.ml | 26.7 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| clock_predef.ml | 1.76 KB | ec433d69 | almost 10 years | Xavier Thirioux | Major revision due to severe limitations and bu... |
| clocks.ml | 14.2 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| compiler_common.ml | 10 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| compiler_stages.ml | 10.7 KB | 8e6cab20 | almost 7 years | Pierre-Loïc Garoche | Tuning the pretty printing of Salsa plugin |
| corelang.ml | 40 KB | 7065d912 | almost 7 years | Pierre-Loïc Garoche | Moved mk_fresh_var from normalization to corelang |
| corelang.mli | 6.7 KB | 7065d912 | almost 7 years | Pierre-Loïc Garoche | Moved mk_fresh_var from normalization to corelang |
| delay.ml | 2.97 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| delay_predef.ml | 1.28 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| dimension.ml | 10.9 KB | 333e3a25 | about 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| env.ml | 1.66 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| error.ml | 1.65 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| expand.ml | 10.8 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| global.ml | 573 Bytes | 66359a5e | about 7 years | Pierre-Loïc Garoche | [general] large modification: added machine typ... |
| init_calculus.ml | 11.1 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| 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 | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| lexerLustreSpec.mll | 4.58 KB | 66359a5e | about 7 years | Pierre-Loïc Garoche | [general] large modification: added machine typ... |
| lexer_lustre.mll | 5.98 KB | eccb3f63 | almost 7 years | Pierre-Loïc Garoche | Provide back the previous behavior concerning p... |
| lexer_prelude.mll | 3.21 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| liveness.ml | 12.2 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| location.ml | 3.44 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| log.ml | 1015 Bytes | 521e2a6b | almost 8 years | Pierre-Loïc Garoche | trying to improving pretty printing. Not so per... |
| lusic.ml | 3.52 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| lustre_types.ml | 6.35 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| lustrec.odocl | 1.06 KB | 53472c83 | almost 7 years | Pierre-Loïc Garoche | Updated TODO Changed selection of files in odocl |
| machine_code.ml | 14.9 KB | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
| machine_code.mli | 124 Bytes | 2fb97ad4 | almost 7 years | Pierre-Loïc Garoche | Merge conflict solved |
| machine_code_common.ml | 11.2 KB | e4edf171 | almost 7 years | Pierre-Loïc Garoche | Zustre backend |
| machine_code_common.mli | 1.77 KB | e4edf171 | almost 7 years | Pierre-Loïc Garoche | Zustre backend |
| machine_code_types.ml | 1.64 KB | 089f94be | almost 7 years | Pierre-Loïc Garoche | MLI for normalization and machine_code. Structs... |
| main_lustre_compiler.ml | 5.43 KB | 8e6cab20 | almost 7 years | Pierre-Loïc Garoche | Tuning the pretty printing of Salsa plugin |
| main_lustre_testgen.ml | 6.95 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| main_lustre_verifier.ml | 4.84 KB | 2fb97ad4 | almost 7 years | Pierre-Loïc Garoche | Merge conflict solved |
| mmap.ml | 10.7 KB | 40d33d55 | almost 8 years | Xavier Thirioux | first version (doesn't even compile) of mutatio... |
| modules.ml | 7.85 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| mpfr.ml | 8.59 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| mutation.ml | 26.3 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| normalization.ml | 20.3 KB | 7065d912 | almost 7 years | Pierre-Loïc Garoche | Moved mk_fresh_var from normalization to corelang |
| normalization.mli | 403 Bytes | 2fb97ad4 | almost 7 years | Pierre-Loïc Garoche | Merge conflict solved |
| ocaml_utils.ml.in | 31 Bytes | c80e92d1 | over 7 years | Pierre-Loïc Garoche | Solving a warning with ocaml 4.04 and uppercase... |
| optimize_machine.ml | 25.6 KB | 8e6cab20 | almost 7 years | Pierre-Loïc Garoche | Tuning the pretty printing of Salsa plugin |
| optimize_prog.ml | 4.43 KB | d0b1ec56 | over 10 years | Xavier Thirioux | - changed the basic optimization scheme (option... |
| options.ml | 1.93 KB | 3cd040e3 | almost 7 years | Pierre-Loïc Garoche | Issues with typing pp_basic_lib_fun |
| options_management.ml | 8.18 KB | 3cd040e3 | almost 7 years | Pierre-Loïc Garoche | Issues with typing pp_basic_lib_fun |
| parse.ml | 2.45 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| parserLustreSpec.mly | 8.28 KB | 66359a5e | about 7 years | Pierre-Loïc Garoche | [general] large modification: added machine typ... |
| parser_lustre.mly | 18.4 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| pathConditions.ml | 11.5 KB | ff6ba54e | almost 7 years | Pierre-Loïc Garoche | Produce condition coverage for basic boolean ex... |
| pluginList.ml.in | 77 Bytes | ad4774b0 | almost 7 years | Pierre-Loïc Garoche | - Normalization parameters (alias and unfold_ar... |
| pluginType.ml | 696 Bytes | 089f94be | almost 7 years | Pierre-Loïc Garoche | MLI for normalization and machine_code. Structs... |
| plugins.ml | 1.59 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| printers.ml | 14.7 KB | 2ae3ef3f | almost 7 years | Pierre-Loïc Garoche | Tentative to rely on Kind parser for contracts |
| scheduling.ml | 8.86 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| sortProg.ml | 2.23 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| spec.ml | 524 Bytes | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| splitting.ml | 3.18 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| stateless.ml | 3.61 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| type_predef.ml | 3.2 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| types.ml | 16.5 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| typing.ml | 32.7 KB | ea8f51ae | almost 7 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| utils.ml | 9.83 KB | 57d61d67 | over 6 years | Pierre-Loïc Garoche | New option to select github version of Z3 Added... |
| verifierList.ml.in | 83 Bytes | ad4774b0 | almost 7 years | Pierre-Loïc Garoche | - Normalization parameters (alias and unfold_ar... |
| verifierType.ml | 495 Bytes | 2fb97ad4 | almost 7 years | Pierre-Loïc Garoche | Merge conflict solved |
| verifiers.ml | 1.22 KB | 2fb97ad4 | almost 7 years | Pierre-Loïc Garoche | Merge conflict solved |
| version.ml.in | 155 Bytes | a86bae77 | almost 8 years | Pierre-Loïc Garoche | - Adding new Makefile target for regression tes... |
Latest revisions
Also available in: Atom