lustrec/src @ efc2cd2f
| Name | Size | Revision | Age | Author | Comment |
|---|---|---|---|---|---|
| backends | 3b007718 | about 5 years | Pierre-Loïc Garoche | EMF backend issue | |
| checks | 2200179c | about 5 years | Pierre-Loïc Garoche | removed reload of external modules when checkin... | |
| features | 95944ba1 | almost 6 years | Pierre-Loïc Garoche | Cleaning up stuff in normalization. Mainly repl... | |
| parsers | 0697ff5b | about 5 years | Pierre-Loïc Garoche | Produce true/false statements as constants | |
| plugins | e5d77428 | over 5 years | Pierre-Loïc Garoche | Solved issue btw mpfr and conv functions (int_t... | |
| tools | efc2cd2f | almost 5 years | Pierre-Loïc Garoche | [seal] more progress on seal extract | |
| utils | f4cba4b8 | over 5 years | Pierre-Loïc Garoche | Some progress on compiling cocospec contract. C... | |
| .merlin | 3 Bytes | ae7d913d | almost 6 years | Pierre-Loïc Garoche | Merlin files |
| Makefile-lustresf.in | 758 Bytes | 3b4b7a2e | almost 7 years | Christophe Garion | [lustresf] lustresf targets are optional in Mak... |
| Makefile.in | 1.58 KB | 325f07c0 | over 5 years | Christophe Garion | doc: use SVG format instead of PNG for dependen... |
| _tags.in | 1.92 KB | d5ec9f63 | over 5 years | Pierre-Loïc Garoche | Minor modif on seal |
| annotations.ml | 1.16 KB | 8446bf03 | over 6 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| arrow.ml | 834 Bytes | f4cba4b8 | over 5 years | Pierre-Loïc Garoche | Some progress on compiling cocospec contract. C... |
| arrow.mli | 102 Bytes | 2863281f | over 6 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
| automata.ml | 14.8 KB | f4cba4b8 | over 5 years | Pierre-Loïc Garoche | Some progress on compiling cocospec contract. C... |
| basic_library.ml | 10.7 KB | 2d2d89d7 | almost 5 years | Pierre-Loïc Garoche | partial evaluation for basic lib |
| causality.ml | 25.5 KB | 861f327f | over 5 years | Pierre-Loïc Garoche | Resolved sort order of nodes |
| clock_calculus.ml | 27.1 KB | 1fd3d002 | over 5 years | Pierre-Loïc Garoche | Cocospec: parsing, normalizing and processing m... |
| clock_predef.ml | 1.76 KB | ec433d69 | over 9 years | Xavier Thirioux | Major revision due to severe limitations and bu... |
| clocks.ml | 14 KB | 629392e1 | about 5 years | Pierre-Loïc Garoche | No more when suffix in clocked variables with k... |
| compiler_common.ml | 14.4 KB | 8a11dc80 | almost 5 years | Pierre-Loïc Garoche | cleaning debug logs |
| compiler_stages.ml | 12.5 KB | 8df40160 | almost 5 years | Pierre-Loïc Garoche | Reactivated Unfold constant |
| corelang.ml | 46.9 KB | e6b644f4 | almost 5 years | Pierre-Loïc Garoche | better negation of constants |
| corelang.mli | 8.13 KB | ae08b9fc | about 5 years | Pierre-Loïc Garoche | [seal] delt with Merge and when [printer] more ... |
| delay.ml | 2.97 KB | ea8f51ae | over 6 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| delay_predef.ml | 1.28 KB | ea8f51ae | over 6 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| dimension.ml | 10.9 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| error.ml | 1.77 KB | f4cba4b8 | over 5 years | Pierre-Loïc Garoche | Some progress on compiling cocospec contract. C... |
| expand.ml | 10.8 KB | ea8f51ae | over 6 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| global.ml | 616 Bytes | 49d364b8 | over 5 years | Pierre-Loïc Garoche | comestic changes, removing useless logs |
| init_predef.ml | 2.29 KB | ea8f51ae | over 6 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| inliner.ml | 20.1 KB | f4cba4b8 | over 5 years | Pierre-Loïc Garoche | Some progress on compiling cocospec contract. C... |
| location.ml | 3.44 KB | ea8f51ae | over 6 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| log.ml | 1.01 KB | 61df3cb9 | over 5 years | Pierre-Loïc Garoche | Reformating plugin signatures. Better report ma... |
| lusic.ml | 3.53 KB | 19a1e66b | almost 6 years | Pierre-Loïc Garoche | Added include directive that directly inject a ... |
| lustre_types.ml | 7.11 KB | df94cd73 | over 5 years | Pierre-Loïc Garoche | - More systematic translation for mutation - co... |
| lustre_utils.ml | 3.99 KB | b8dfc744 | about 5 years | Pierre-Loïc Garoche | valid _verif node for seal-export lustre |
| lustrec.odocl | 1.05 KB | aa85bd44 | over 5 years | Guillaume DAVY | Doc: update rule and remove old module in odocl |
| machine_code.ml | 16.6 KB | 25320f03 | about 5 years | Pierre-Loïc Garoche | scheduling now report unused vars and remove th... |
| machine_code.mli | 135 Bytes | f4cba4b8 | over 5 years | Pierre-Loïc Garoche | Some progress on compiling cocospec contract. C... |
| machine_code_common.ml | 11.7 KB | 867276c9 | over 5 years | Guillaume DAVY | Machine_code: Make a correction in the arrow ma... |
| machine_code_common.mli | 1.84 KB | 70be4acf | over 5 years | Pierre-Loïc Garoche | Serious refactoring of scopes plug-in: - now pr... |
| machine_code_types.ml | 1.72 KB | 1fd3d002 | over 5 years | Pierre-Loïc Garoche | Cocospec: parsing, normalizing and processing m... |
| main_lustre_compiler.ml | 4.76 KB | 61df3cb9 | over 5 years | Pierre-Loïc Garoche | Reformating plugin signatures. Better report ma... |
| main_lustre_testgen.ml | 6.97 KB | 653b62e0 | over 5 years | Pierre-Loïc Garoche | lustret: do not reload opened modules when gene... |
| main_lustre_verifier.ml | 5.25 KB | 7a4fd94d | over 5 years | Pierre-Loïc Garoche | Output folder for seal-extract |
| mmap.ml | 10.7 KB | 40d33d55 | over 7 years | Xavier Thirioux | first version (doesn't even compile) of mutatio... |
| modules.ml | 11.2 KB | 3050ca8f | over 5 years | Pierre-Loïc Garoche | keep the open top declaration when loading a mo... |
| modules.mli | 878 Bytes | 5fccce23 | almost 6 years | Pierre-Loïc Garoche | - Dep type with a tuple has been replaced by a ... |
| mutation.ml | 26.9 KB | df94cd73 | over 5 years | Pierre-Loïc Garoche | - More systematic translation for mutation - co... |
| normalization.ml | 32.3 KB | 3066247f | almost 5 years | Pierre-Loïc Garoche | cleaning debug logs |
| normalization.mli | 319 Bytes | 95944ba1 | almost 6 years | Pierre-Loïc Garoche | Cleaning up stuff in normalization. Mainly repl... |
| ocaml_utils.ml.in | 31 Bytes | c80e92d1 | almost 7 years | Pierre-Loïc Garoche | Solving a warning with ocaml 4.04 and uppercase... |
| optimize_machine.ml | 30.8 KB | 720c7244 | almost 5 years | Pierre-Loïc Garoche | sort of slicing for machine code |
| optimize_prog.ml | 4.56 KB | e47138b8 | almost 5 years | Pierre-Loïc Garoche | reactivating the unfolding of constants |
| options.ml | 2.08 KB | c6c8786b | about 5 years | Pierre-Loïc Garoche | kind2 output for printer. global option available |
| options_management.ml | 8.48 KB | c6c8786b | about 5 years | Pierre-Loïc Garoche | kind2 output for printer. global option available |
| pathConditions.ml | 11.7 KB | 2104c80a | over 5 years | Pierre-Loïc Garoche | Addressed a TODO in MCDC Pathconditions: simple... |
| pluginList.ml.in | 77 Bytes | ad4774b0 | over 6 years | Pierre-Loïc Garoche | - Normalization parameters (alias and unfold_ar... |
| pluginType.ml | 852 Bytes | 61df3cb9 | over 5 years | Pierre-Loïc Garoche | Reformating plugin signatures. Better report ma... |
| plugins.ml | 1.72 KB | 61df3cb9 | over 5 years | Pierre-Loïc Garoche | Reformating plugin signatures. Better report ma... |
| printers.ml | 22.2 KB | 7075d9fc | almost 5 years | Pierre-Loïc Garoche | kind2 option for printing expressions |
| real.ml | 1.3 KB | de8e9811 | almost 5 years | Pierre-Loïc Garoche | Module to manipulate real constants. For the mo... |
| real.mli | 553 Bytes | de8e9811 | almost 5 years | Pierre-Loïc Garoche | Module to manipulate real constants. For the mo... |
| scheduling.ml | 10.2 KB | 2db953dd | almost 5 years | Pierre-Loïc Garoche | flatten dependencies in schedule to make sure a... |
| scheduling_type.ml | 557 Bytes | a703ed0c | almost 6 years | Pierre-Loïc Garoche | Preprocess the selected node in seaL BACKEND: f... |
| sortProg.ml | 2.24 KB | 861f327f | over 5 years | Pierre-Loïc Garoche | Resolved sort order of nodes |
| spec.ml | 524 Bytes | 8446bf03 | over 6 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| splitting.ml | 3.18 KB | 8446bf03 | over 6 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
| type_predef.ml | 3.2 KB | ea8f51ae | over 6 years | Pierre-Loïc Garoche | Basic library printers moved into backend speci... |
| types.ml | 16.6 KB | ae08b9fc | about 5 years | Pierre-Loïc Garoche | [seal] delt with Merge and when [printer] more ... |
| typing.ml | 39.6 KB | 4034b51c | over 5 years | Pierre-Loïc Garoche | more explanation in case of failure. Still dirty |
| verifierList.ml.in | 83 Bytes | ad4774b0 | over 6 years | Pierre-Loïc Garoche | - Normalization parameters (alias and unfold_ar... |
| verifierType.ml | 504 Bytes | 7a4fd94d | over 5 years | Pierre-Loïc Garoche | Output folder for seal-extract |
| verifiers.ml | 1.22 KB | 2fb97ad4 | over 6 years | Pierre-Loïc Garoche | Merge conflict solved |
| version.ml.in | 155 Bytes | a86bae77 | over 7 years | Pierre-Loïc Garoche | - Adding new Makefile target for regression tes... |
Latest revisions
Also available in: Atom