Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  backends f1518c7c over 1 year Lélio Brun more precise spec for stdout
  checks d978c46e over 1 year Lélio Brun start instrumenting the main C function
  features d978c46e over 1 year Lélio Brun start instrumenting the main C function
  parsers cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
  plugins d978c46e over 1 year Lélio Brun start instrumenting the main C function
  tools d978c46e over 1 year Lélio Brun start instrumenting the main C function
  utils 18dada08 over 1 year Lélio Brun working spec in the main function
Makefile-lustresf.in 758 Bytes 3b4b7a2e almost 5 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 1.58 KB 325f07c0 over 3 years Christophe Garion doc: use SVG format instead of PNG for dependen...
_tags.in 2.04 KB b43b8eb5 almost 2 years Pierre-Loic Garoche add thread dependency required by z3 lib
annotations.ml 1.15 KB 50a8778a over 1 year Lélio Brun refactoring first step
annotations.mli 238 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
arrow.ml 926 Bytes 50a8778a over 1 year Lélio Brun refactoring first step
arrow.mli 164 Bytes ca7ff3f7 over 1 year Lélio Brun reformatting
automata.ml 16.4 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
automata.mli 543 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
basic_library.ml 11.8 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
basic_library.mli 662 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
causality.ml 27.2 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
causality.mli 2.5 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
clock_calculus.ml 26.7 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
clock_calculus.mli 335 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
clock_predef.ml 1.89 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
clock_predef.mli 131 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
clocks.ml 14.3 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
clocks.mli 2.52 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
compiler_common.ml 15 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
compiler_common.mli 824 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
compiler_stages.ml 12.7 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
compiler_stages.mli 359 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
corelang.ml 48.8 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
corelang.mli 8.33 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
delay.ml 2.82 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
delay.mli 371 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
delay_predef.ml 1.33 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
delay_predef.mli 144 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
dune 3.46 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
error.ml 1.78 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
error.mli 476 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
global.ml 643 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
global.mli 128 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
inliner.ml 21.8 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
inliner.mli 142 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
log.ml 1 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
log.mli 111 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
lusic.ml 3.38 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
lusic.mli 473 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
lustre_live.ml 3.23 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
lustre_live.mli 256 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
lustre_types.ml 6.65 KB 50a8778a over 1 year Lélio Brun refactoring first step
lustre_types.mli 5.85 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
lustrec.odocl 1.05 KB aa85bd44 over 3 years Guillaume DAVY Doc: update rule and remove old module in odocl
machine_code.ml 20.2 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
machine_code.mli 135 Bytes ca7ff3f7 over 1 year Lélio Brun reformatting
machine_code_common.ml 16.8 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
machine_code_common.mli 1.88 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
machine_code_types.mli 2.07 KB 50a8778a over 1 year Lélio Brun refactoring first step
main_lustre_compiler.ml 4.9 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
main_lustre_testgen.ml 7.44 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
main_lustre_verifier.ml 5.37 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
modules.ml 12 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
modules.mli 826 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
mutation.ml 29 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
mutation.mli 480 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
normalization.ml 33.7 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
normalization.mli 332 Bytes 50a8778a over 1 year Lélio Brun refactoring first step
optimize_machine.ml 32.6 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
optimize_machine.mli 716 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
optimize_prog.ml 4.99 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
optimize_prog.mli 67 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
options.ml 2.42 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
options.mli 1.29 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
options_management.ml 9.78 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
options_management.mli 504 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
pathConditions.ml 12.4 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
pathConditions.mli 60 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
printers.ml 23.3 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
printers.mli 1.09 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
real.ml 1.34 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
real.mli 653 Bytes ca7ff3f7 over 1 year Lélio Brun reformatting
scheduling.ml 10.6 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
scheduling.mli 732 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
scheduling_type.mli 561 Bytes 50a8778a over 1 year Lélio Brun refactoring first step
sortProg.ml 2.39 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
sortProg.mli 101 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
spec.ml 538 Bytes ca7ff3f7 over 1 year Lélio Brun reformatting
spec.mli 66 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
spec_common.ml 2.75 KB 0406ab94 over 1 year Lélio Brun implement optimization on spec: IT WORKS
spec_common.mli 612 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
spec_types.ml 2 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
spec_types.mli 1.68 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
splitting.ml 3.52 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
splitting.mli 100 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
type_predef.ml 3.36 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
type_predef.mli 1 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
types.ml 16 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
types.mli 3.14 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
typing.ml 39.7 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
typing.mli 1.05 KB cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
verifierList.ml 166 Bytes ca7ff3f7 over 1 year Lélio Brun reformatting
verifierList.mli 53 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
verifierType.mli 336 Bytes 2926ceee over 1 year Lélio Brun mli additions complete
verifiers.ml 1.19 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
verifiers.mli 104 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
version.ml 185 Bytes ca7ff3f7 over 1 year Lélio Brun reformatting
version.mli 97 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...

Latest revisions

# Date Author Comment
f1518c7c 07/05/2021 03:42 PM Lélio Brun

more precise spec for stdout

18dada08 07/01/2021 01:56 PM Lélio Brun

working spec in the main function

d978c46e 06/30/2021 06:10 PM Lélio Brun

start instrumenting the main C function

cc852504 06/30/2021 11:21 AM Lélio Brun

comment dead code with (* XXX: UNUSED *) disclaimer

2926ceee 06/29/2021 06:03 PM Lélio Brun

mli additions complete

a7062da6 06/28/2021 09:52 PM Lélio Brun

another step towards refactoring

50a8778a 06/25/2021 12:35 PM Lélio Brun

refactoring first step

0406ab94 06/18/2021 06:08 PM Lélio Brun

implement optimization on spec: IT WORKS

27502d69 06/18/2021 12:35 PM Lélio Brun

add memory instances to footprint lemmas

d0f26f04 06/17/2021 07:00 PM Lélio Brun

corrections for stateless nodes

View revisions

Also available in: Atom