lustrec/src @ 820616b1
Name | Size | Revision | Age | Author | Comment |
---|---|---|---|---|---|
backends | ef598ac3 | about 4 years | Pierre-Loïc Garoche | moved from Num to Zarith. IMpacted main.ml ad u... | |
checks | 2120af73 | about 5 years | Pierre-Loïc Garoche | [bug cavale 93] solved: issue when resetting a ... | |
features | 95944ba1 | about 6 years | Pierre-Loïc Garoche | Cleaning up stuff in normalization. Mainly repl... | |
parsers | 04a188ec | about 5 years | Pierre-Loïc Garoche | - Refactored Error exception and messages - Bug... | |
plugins | ef598ac3 | about 4 years | Pierre-Loïc Garoche | moved from Num to Zarith. IMpacted main.ml ad u... | |
tools | 820616b1 | almost 4 years | Pierre-Loïc Garoche | Tiny verifier: better control of the print comm... | |
utils | f4cba4b8 | almost 6 years | Pierre-Loïc Garoche | Some progress on compiling cocospec contract. C... | |
.merlin | 3 Bytes | ae7d913d | about 6 years | Pierre-Loïc Garoche | Merlin files |
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 | about 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 | 834 Bytes | f4cba4b8 | almost 6 years | Pierre-Loïc Garoche | Some progress on compiling cocospec contract. C... |
arrow.mli | 102 Bytes | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
automata.ml | 14.8 KB | f4cba4b8 | almost 6 years | Pierre-Loïc Garoche | Some progress on compiling cocospec contract. C... |
basic_library.ml | 11.2 KB | 04a188ec | about 5 years | Pierre-Loïc Garoche | - Refactored Error exception and messages - Bug... |
causality.ml | 25.5 KB | 861f327f | almost 6 years | Pierre-Loïc Garoche | Resolved sort order of nodes |
clock_calculus.ml | 27.1 KB | 1fd3d002 | almost 6 years | Pierre-Loïc Garoche | Cocospec: parsing, normalizing and processing m... |
clock_predef.ml | 1.76 KB | ec433d69 | almost 10 years | Xavier Thirioux | Major revision due to severe limitations and bu... |
clocks.ml | 14 KB | 629392e1 | over 5 years | Pierre-Loïc Garoche | No more when suffix in clocked variables with k... |
compiler_common.ml | 14.4 KB | 04a188ec | about 5 years | Pierre-Loïc Garoche | - Refactored Error exception and messages - Bug... |
compiler_stages.ml | 12.6 KB | f0195e96 | about 5 years | Pierre-Loïc Garoche | - Primitive Tiny backend - Renamed Mpfr to lust... |
corelang.ml | 48.1 KB | c4521397 | about 5 years | Pierre-Loïc Garoche | preserving types/clocks when possible |
corelang.mli | 8.04 KB | 04a188ec | about 5 years | Pierre-Loïc Garoche | - Refactored Error exception and messages - Bug... |
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... |
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.1 KB | f4cba4b8 | almost 6 years | Pierre-Loïc Garoche | Some progress on compiling cocospec contract. C... |
location.ml | 4.41 KB | 94a9e2c3 | about 5 years | Pierre-Loïc Garoche | better location error |
log.ml | 1.01 KB | 61df3cb9 | almost 6 years | Pierre-Loïc Garoche | Reformating plugin signatures. Better report ma... |
lusic.ml | 3.54 KB | 04a188ec | about 5 years | Pierre-Loïc Garoche | - Refactored Error exception and messages - Bug... |
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 | 16.6 KB | 1147e80a | about 5 years | Pierre-Loïc Garoche | Array access: solved issues in C backend when b... |
machine_code.mli | 135 Bytes | f4cba4b8 | almost 6 years | Pierre-Loïc Garoche | Some progress on compiling cocospec contract. C... |
machine_code_common.ml | 11.6 KB | e8f55c25 | about 5 years | Pierre-Loïc Garoche | - tag_true and tag_false moved to lustre_types... |
machine_code_common.mli | 1.91 KB | f0195e96 | about 5 years | Pierre-Loïc Garoche | - Primitive Tiny backend - Renamed Mpfr to lust... |
machine_code_types.ml | 1.72 KB | 1fd3d002 | almost 6 years | Pierre-Loïc Garoche | Cocospec: parsing, normalizing and processing m... |
main_lustre_compiler.ml | 4.96 KB | f0195e96 | about 5 years | Pierre-Loïc Garoche | - Primitive Tiny backend - Renamed Mpfr to lust... |
main_lustre_testgen.ml | 7.2 KB | a0c92fa8 | about 5 years | Pierre-Loïc Garoche | printing nodes + more progress on seal export |
main_lustre_verifier.ml | 5.49 KB | a0c92fa8 | about 5 years | Pierre-Loïc Garoche | printing nodes + more progress on seal export |
mmap.ml | 10.7 KB | 40d33d55 | almost 8 years | Xavier Thirioux | first version (doesn't even compile) of mutatio... |
modules.ml | 12.1 KB | 04a188ec | about 5 years | Pierre-Loïc Garoche | - Refactored Error exception and messages - Bug... |
modules.mli | 878 Bytes | 5fccce23 | about 6 years | Pierre-Loïc Garoche | - Dep type with a tuple has been replaced by a ... |
mutation.ml | 26.8 KB | e8f55c25 | about 5 years | Pierre-Loïc Garoche | - tag_true and tag_false moved to lustre_types... |
normalization.ml | 32.9 KB | 1147e80a | about 5 years | Pierre-Loïc Garoche | Array access: solved issues in C backend when b... |
normalization.mli | 319 Bytes | 95944ba1 | about 6 years | Pierre-Loïc Garoche | Cleaning up stuff in normalization. Mainly repl... |
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 | 31.6 KB | f0195e96 | about 5 years | Pierre-Loïc Garoche | - Primitive Tiny backend - Renamed Mpfr to lust... |
optimize_prog.ml | 4.56 KB | e47138b8 | over 5 years | Pierre-Loïc Garoche | reactivating the unfolding of constants |
options.ml | 2.11 KB | a0c92fa8 | about 5 years | Pierre-Loïc Garoche | printing nodes + more progress on seal export |
options_management.ml | 8.55 KB | a0c92fa8 | about 5 years | Pierre-Loïc Garoche | printing nodes + more progress on seal export |
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 | almost 7 years | Pierre-Loïc Garoche | - Normalization parameters (alias and unfold_ar... |
pluginType.ml | 852 Bytes | 61df3cb9 | almost 6 years | Pierre-Loïc Garoche | Reformating plugin signatures. Better report ma... |
plugins.ml | 1.72 KB | 61df3cb9 | almost 6 years | Pierre-Loïc Garoche | Reformating plugin signatures. Better report ma... |
printers.ml | 22.8 KB | 2120af73 | about 5 years | Pierre-Loïc Garoche | [bug cavale 93] solved: issue when resetting a ... |
real.ml | 1.43 KB | ef598ac3 | about 4 years | Pierre-Loïc Garoche | moved from Num to Zarith. IMpacted main.ml ad u... |
real.mli | 613 Bytes | ef598ac3 | about 4 years | Pierre-Loïc Garoche | moved from Num to Zarith. IMpacted main.ml ad u... |
scheduling.ml | 10.3 KB | e8f55c25 | about 5 years | Pierre-Loïc Garoche | - tag_true and tag_false moved to lustre_types... |
scheduling_type.ml | 557 Bytes | a703ed0c | over 6 years | Pierre-Loïc Garoche | Preprocess the selected node in seaL BACKEND: f... |
sortProg.ml | 2.24 KB | 861f327f | almost 6 years | Pierre-Loïc Garoche | Resolved sort order of nodes |
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... |
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 | e8f55c25 | about 5 years | Pierre-Loïc Garoche | - tag_true and tag_false moved to lustre_types... |
typing.ml | 39.6 KB | e8f55c25 | about 5 years | Pierre-Loïc Garoche | - tag_true and tag_false moved to lustre_types... |
verifierList.ml.in | 83 Bytes | ad4774b0 | almost 7 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 | 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