Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  backends a7062da6 over 3 years Lélio Brun another step towards refactoring
  checks a7062da6 over 3 years Lélio Brun another step towards refactoring
  features 50a8778a over 3 years Lélio Brun refactoring first step
  parsers 50a8778a over 3 years Lélio Brun refactoring first step
  plugins a7062da6 over 3 years Lélio Brun another step towards refactoring
  tools a7062da6 over 3 years Lélio Brun another step towards refactoring
  utils a7062da6 over 3 years Lélio Brun another step towards refactoring
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.15 KB 50a8778a over 3 years Lélio Brun refactoring first step
annotations.mli 232 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
arrow.ml 926 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
arrow.mli 164 Bytes ca7ff3f7 over 3 years Lélio Brun reformatting
automata.ml 15.9 KB 50a8778a over 3 years Lélio Brun refactoring first step
automata.mli 535 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
basic_library.ml 11.7 KB ca7ff3f7 over 3 years Lélio Brun reformatting
basic_library.mli 629 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
causality.ml 26.7 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
causality.mli 2.46 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
clock_calculus.ml 26.5 KB 50a8778a over 3 years Lélio Brun refactoring first step
clock_calculus.mli 330 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
clock_predef.ml 1.77 KB ca7ff3f7 over 3 years Lélio Brun reformatting
clock_predef.mli 124 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
clocks.ml 13.8 KB 50a8778a over 3 years Lélio Brun refactoring first step
clocks.mli 2.49 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
compiler_common.ml 14.7 KB 50a8778a over 3 years Lélio Brun refactoring first step
compiler_common.mli 773 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
compiler_stages.ml 12.5 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
compiler_stages.mli 0 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
corelang.ml 48.6 KB 50a8778a over 3 years Lélio Brun refactoring first step
corelang.mli 8.35 KB 50a8778a over 3 years Lélio Brun refactoring first step
delay.ml 2.88 KB 50a8778a over 3 years Lélio Brun refactoring first step
delay.mli 368 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
delay_predef.ml 1.28 KB ca7ff3f7 over 3 years Lélio Brun reformatting
delay_predef.mli 137 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
dune 3.43 KB 50a8778a over 3 years Lélio Brun refactoring first step
error.ml 1.75 KB 50a8778a over 3 years Lélio Brun refactoring first step
error.mli 443 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
expand.ml 10.8 KB ca7ff3f7 over 3 years Lélio Brun reformatting
expand.mli 0 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
global.ml 574 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
global.mli 92 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
init_predef.ml 2.46 KB ca7ff3f7 over 3 years Lélio Brun reformatting
init_predef.mli 0 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
inliner.ml 21.2 KB 50a8778a over 3 years Lélio Brun refactoring first step
inliner.mli 138 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
log.ml 1 KB 50a8778a over 3 years Lélio Brun refactoring first step
log.mli 100 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
lusic.ml 3.38 KB 50a8778a over 3 years Lélio Brun refactoring first step
lusic.mli 469 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
lustre_live.ml 3.2 KB 50a8778a over 3 years Lélio Brun refactoring first step
lustre_live.mli 251 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
lustre_types.ml 6.65 KB 50a8778a over 3 years Lélio Brun refactoring first step
lustre_types.mli 5.85 KB 50a8778a over 3 years Lélio Brun refactoring first step
lustre_utils.ml 3.53 KB 50a8778a over 3 years Lélio Brun refactoring first step
lustre_utils.mli 0 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
lustrec.odocl 1.05 KB aa85bd44 almost 6 years Guillaume DAVY Doc: update rule and remove old module in odocl
machine_code.ml 20 KB 50a8778a over 3 years Lélio Brun refactoring first step
machine_code.mli 135 Bytes ca7ff3f7 over 3 years Lélio Brun reformatting
machine_code_common.ml 16.3 KB 50a8778a over 3 years Lélio Brun refactoring first step
machine_code_common.mli 2.03 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
machine_code_types.mli 2.07 KB 50a8778a over 3 years Lélio Brun refactoring first step
main_lustre_compiler.ml 4.88 KB ca7ff3f7 over 3 years Lélio Brun reformatting
main_lustre_compiler.mli 0 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
main_lustre_testgen.ml 7.3 KB d0f26f04 over 3 years Lélio Brun corrections for stateless nodes
main_lustre_testgen.mli 0 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
main_lustre_verifier.ml 5.35 KB ca7ff3f7 over 3 years Lélio Brun reformatting
main_lustre_verifier.mli 0 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
mmap.ml 10.1 KB ca7ff3f7 over 3 years Lélio Brun reformatting
mmap.mli 0 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
modules.ml 11.9 KB 50a8778a over 3 years Lélio Brun refactoring first step
modules.mli 828 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
mutation.ml 27.8 KB ca7ff3f7 over 3 years Lélio Brun reformatting
mutation.mli 0 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
normalization.ml 33.8 KB 50a8778a over 3 years Lélio Brun refactoring first step
normalization.mli 332 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
optimize_machine.ml 32.1 KB 50a8778a over 3 years Lélio Brun refactoring first step
optimize_machine.mli 707 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
optimize_prog.ml 4.8 KB ca7ff3f7 over 3 years Lélio Brun reformatting
optimize_prog.mli 66 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
options.ml 2.37 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
options.mli 1.23 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
options_management.ml 9.58 KB 50a8778a over 3 years Lélio Brun refactoring first step
options_management.mli 406 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
pathConditions.ml 12.3 KB ca7ff3f7 over 3 years Lélio Brun reformatting
pathConditions.mli 0 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
printers.ml 22.6 KB 50a8778a over 3 years Lélio Brun refactoring first step
printers.mli 957 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
real.ml 1.33 KB ca7ff3f7 over 3 years Lélio Brun reformatting
real.mli 653 Bytes ca7ff3f7 over 3 years Lélio Brun reformatting
scheduling.ml 10.3 KB 50a8778a over 3 years Lélio Brun refactoring first step
scheduling.mli 711 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
scheduling_type.mli 561 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
sortProg.ml 2.3 KB 50a8778a over 3 years Lélio Brun refactoring first step
sortProg.mli 98 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
spec.ml 538 Bytes ca7ff3f7 over 3 years Lélio Brun reformatting
spec.mli 65 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
spec_common.ml 2.75 KB 0406ab94 over 3 years Lélio Brun implement optimization on spec: IT WORKS
spec_common.mli 588 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
spec_types.ml 2 KB 50a8778a over 3 years Lélio Brun refactoring first step
spec_types.mli 1.68 KB 50a8778a over 3 years Lélio Brun refactoring first step
splitting.ml 3.51 KB ca7ff3f7 over 3 years Lélio Brun reformatting
splitting.mli 98 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
type_predef.ml 3.2 KB 50a8778a over 3 years Lélio Brun refactoring first step
type_predef.mli 968 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
types.ml 15.8 KB 50a8778a over 3 years Lélio Brun refactoring first step
types.mli 3.15 KB 50a8778a over 3 years Lélio Brun refactoring first step
typing.ml 39.3 KB 50a8778a over 3 years Lélio Brun refactoring first step
typing.mli 1.02 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
verifierList.ml 166 Bytes ca7ff3f7 over 3 years Lélio Brun reformatting
verifierList.mli 52 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
verifierType.ml 534 Bytes ca7ff3f7 over 3 years Lélio Brun reformatting
verifierType.mli 338 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
verifiers.ml 1.18 KB ca7ff3f7 over 3 years Lélio Brun reformatting
verifiers.mli 0 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
version.ml 185 Bytes ca7ff3f7 over 3 years Lélio Brun reformatting
version.mli 65 Bytes 50a8778a over 3 years Lélio Brun refactoring first step

Latest revisions

# Date Author Comment
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

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

View revisions

Also available in: Atom