Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src @ 0406ab94

Name Size Revision Age Author Comment
  backends 0406ab94 almost 2 years Lélio Brun implement optimization on spec: IT WORKS
  checks ca7ff3f7 almost 2 years Lélio Brun reformatting
  features ca7ff3f7 almost 2 years Lélio Brun reformatting
  parsers ca7ff3f7 almost 2 years Lélio Brun reformatting
  plugins ca7ff3f7 almost 2 years Lélio Brun reformatting
  tools ca7ff3f7 almost 2 years Lélio Brun reformatting
  utils 27502d69 almost 2 years Lélio Brun add memory instances to footprint lemmas
Makefile-lustresf.in 758 Bytes 3b4b7a2e over 5 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 1.58 KB 325f07c0 about 4 years Christophe Garion doc: use SVG format instead of PNG for dependen...
_tags.in 2.04 KB b43b8eb5 over 2 years Pierre-Loic Garoche add thread dependency required by z3 lib
annotations.ml 1.16 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
arrow.ml 930 Bytes ca7ff3f7 almost 2 years Lélio Brun reformatting
arrow.mli 164 Bytes ca7ff3f7 almost 2 years Lélio Brun reformatting
automata.ml 16 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
basic_library.ml 11.7 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
causality.ml 26.6 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
clock_calculus.ml 26.5 KB d0f26f04 almost 2 years Lélio Brun corrections for stateless nodes
clock_predef.ml 1.77 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
clocks.ml 14 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
compiler_common.ml 14.8 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
compiler_stages.ml 12.5 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
corelang.ml 48.7 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
corelang.mli 8.42 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
delay.ml 2.96 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
delay_predef.ml 1.28 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
dune 3.36 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
error.ml 1.81 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
expand.ml 10.8 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
global.ml 622 Bytes ca7ff3f7 almost 2 years Lélio Brun reformatting
init_predef.ml 2.46 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
inliner.ml 21.2 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
log.ml 1009 Bytes ca7ff3f7 almost 2 years Lélio Brun reformatting
lusic.ml 3.39 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
lustre_live.ml 3.2 KB d0f26f04 almost 2 years Lélio Brun corrections for stateless nodes
lustre_types.ml 6.85 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
lustre_utils.ml 3.54 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
lustrec.odocl 1.05 KB aa85bd44 about 4 years Guillaume DAVY Doc: update rule and remove old module in odocl
machine_code.ml 20 KB 0406ab94 almost 2 years Lélio Brun implement optimization on spec: IT WORKS
machine_code.mli 135 Bytes ca7ff3f7 almost 2 years Lélio Brun reformatting
machine_code_common.ml 16.3 KB 0406ab94 almost 2 years Lélio Brun implement optimization on spec: IT WORKS
machine_code_common.mli 3.06 KB d0f26f04 almost 2 years Lélio Brun corrections for stateless nodes
machine_code_types.ml 2.08 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
main_lustre_compiler.ml 4.88 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
main_lustre_testgen.ml 7.3 KB d0f26f04 almost 2 years Lélio Brun corrections for stateless nodes
main_lustre_verifier.ml 5.35 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
mmap.ml 10.1 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
modules.ml 12 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
modules.mli 864 Bytes ca7ff3f7 almost 2 years Lélio Brun reformatting
mutation.ml 27.8 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
normalization.ml 33.8 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
normalization.mli 321 Bytes ca7ff3f7 almost 2 years Lélio Brun reformatting
optimize_machine.ml 32.1 KB 0406ab94 almost 2 years Lélio Brun implement optimization on spec: IT WORKS
optimize_prog.ml 4.8 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
options.ml 2.09 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
options_management.ml 9.55 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
pathConditions.ml 12.3 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
printers.ml 22.7 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
real.ml 1.33 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
real.mli 653 Bytes ca7ff3f7 almost 2 years Lélio Brun reformatting
scheduling.ml 10.3 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
scheduling_type.ml 561 Bytes ca7ff3f7 almost 2 years Lélio Brun reformatting
sortProg.ml 2.32 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
spec.ml 538 Bytes ca7ff3f7 almost 2 years Lélio Brun reformatting
spec_common.ml 2.75 KB 0406ab94 almost 2 years Lélio Brun implement optimization on spec: IT WORKS
spec_types.ml 2 KB 0406ab94 almost 2 years Lélio Brun implement optimization on spec: IT WORKS
splitting.ml 3.51 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
type_predef.ml 3.21 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
types.ml 17.2 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
typing.ml 39.3 KB d0f26f04 almost 2 years Lélio Brun corrections for stateless nodes
verifierList.ml 166 Bytes ca7ff3f7 almost 2 years Lélio Brun reformatting
verifierType.ml 534 Bytes ca7ff3f7 almost 2 years Lélio Brun reformatting
verifiers.ml 1.18 KB ca7ff3f7 almost 2 years Lélio Brun reformatting
version.ml 185 Bytes ca7ff3f7 almost 2 years Lélio Brun reformatting

Latest revisions

# Date Author Comment
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
ca7ff3f7 06/17/2021 11:33 AM Lélio Brun

reformatting
3ee26303 06/17/2021 10:19 AM Lélio Brun

conditionnally print spec in machine code logs
aaa8e454 06/16/2021 06:44 PM Lélio Brun

it works
1daf7bf0 06/16/2021 03:20 PM Lélio Brun

systematically add dependencies to clock variables in rhs
a91680fc 06/16/2021 01:24 PM Lélio Brun

Bug fix with constant inlining variable removal in machine code
c4780a6a 06/15/2021 05:34 PM Lélio Brun

work on new reset functions generation
6d1693b9 06/14/2021 07:06 PM Lélio Brun

work on spec generation almost done

View revisions

Also available in: Atom