├── .gitignore ├── .merlin ├── README.md ├── dune ├── dune-project ├── example ├── snake_graphics │ ├── IO.ml │ ├── Makefile │ └── snake.ml └── thermostat_ocapic │ ├── Makefile │ ├── circuit.txt │ ├── eeprom.data │ ├── t.ml │ ├── thermo.ml │ ├── thermo_enum.ml │ └── thermo_gc.ml ├── ocalustre.opam ├── src ├── check.ml ├── clocking.ml ├── clocking_ast.mli ├── clocking_ast_printer.ml ├── clocks_checked.ml ├── clocks_checked.mli ├── codegen.ml ├── compiling.ml ├── dune ├── error.ml ├── extracting.ml ├── imperative_ast.ml ├── lustre_printer.ml ├── miniclock.ml ├── minitypes.ml ├── normalize.ml ├── normalized_ast.ml ├── ocalustre.ml ├── parsing.ml ├── parsing_ast.mli ├── parsing_ast_printer.ml ├── print_type.ml ├── proof_ast.ml ├── proof_compiling.ml ├── proof_printer.ml ├── scheduler.ml ├── sequential_ast.ml ├── sequential_ast_printer.ml ├── sequentialize.ml └── tools.ml └── tests ├── .merlin ├── button.ml ├── deriv.ml ├── devices ├── card.ml ├── oled.ml ├── snake-head.ml └── snake-ocalustre-2.ml ├── echantillon.ml ├── experimental ├── arrays.ml ├── higher-order.ml ├── mk_array.ml ├── nind.ml └── train.ml ├── facto.ml ├── fibo.ml ├── io └── call_watch_io.ml ├── nat.ml ├── sampler.ml ├── simpl_clocks.ml ├── test_clocks.ml ├── test_clocks2.ml ├── test_clocks3.ml ├── testo.ml ├── tictoc.ml └── watch.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/.gitignore -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/.merlin -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/README.md -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/dune-project -------------------------------------------------------------------------------- /example/snake_graphics/IO.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/example/snake_graphics/IO.ml -------------------------------------------------------------------------------- /example/snake_graphics/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/example/snake_graphics/Makefile -------------------------------------------------------------------------------- /example/snake_graphics/snake.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/example/snake_graphics/snake.ml -------------------------------------------------------------------------------- /example/thermostat_ocapic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/example/thermostat_ocapic/Makefile -------------------------------------------------------------------------------- /example/thermostat_ocapic/circuit.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/example/thermostat_ocapic/circuit.txt -------------------------------------------------------------------------------- /example/thermostat_ocapic/eeprom.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/example/thermostat_ocapic/eeprom.data -------------------------------------------------------------------------------- /example/thermostat_ocapic/t.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/example/thermostat_ocapic/t.ml -------------------------------------------------------------------------------- /example/thermostat_ocapic/thermo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/example/thermostat_ocapic/thermo.ml -------------------------------------------------------------------------------- /example/thermostat_ocapic/thermo_enum.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/example/thermostat_ocapic/thermo_enum.ml -------------------------------------------------------------------------------- /example/thermostat_ocapic/thermo_gc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/example/thermostat_ocapic/thermo_gc.ml -------------------------------------------------------------------------------- /ocalustre.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/ocalustre.opam -------------------------------------------------------------------------------- /src/check.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/check.ml -------------------------------------------------------------------------------- /src/clocking.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/clocking.ml -------------------------------------------------------------------------------- /src/clocking_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/clocking_ast.mli -------------------------------------------------------------------------------- /src/clocking_ast_printer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/clocking_ast_printer.ml -------------------------------------------------------------------------------- /src/clocks_checked.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/clocks_checked.ml -------------------------------------------------------------------------------- /src/clocks_checked.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/clocks_checked.mli -------------------------------------------------------------------------------- /src/codegen.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/codegen.ml -------------------------------------------------------------------------------- /src/compiling.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/compiling.ml -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/dune -------------------------------------------------------------------------------- /src/error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/error.ml -------------------------------------------------------------------------------- /src/extracting.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/extracting.ml -------------------------------------------------------------------------------- /src/imperative_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/imperative_ast.ml -------------------------------------------------------------------------------- /src/lustre_printer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/lustre_printer.ml -------------------------------------------------------------------------------- /src/miniclock.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/miniclock.ml -------------------------------------------------------------------------------- /src/minitypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/minitypes.ml -------------------------------------------------------------------------------- /src/normalize.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/normalize.ml -------------------------------------------------------------------------------- /src/normalized_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/normalized_ast.ml -------------------------------------------------------------------------------- /src/ocalustre.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/ocalustre.ml -------------------------------------------------------------------------------- /src/parsing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/parsing.ml -------------------------------------------------------------------------------- /src/parsing_ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/parsing_ast.mli -------------------------------------------------------------------------------- /src/parsing_ast_printer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/parsing_ast_printer.ml -------------------------------------------------------------------------------- /src/print_type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/print_type.ml -------------------------------------------------------------------------------- /src/proof_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/proof_ast.ml -------------------------------------------------------------------------------- /src/proof_compiling.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/proof_compiling.ml -------------------------------------------------------------------------------- /src/proof_printer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/proof_printer.ml -------------------------------------------------------------------------------- /src/scheduler.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/scheduler.ml -------------------------------------------------------------------------------- /src/sequential_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/sequential_ast.ml -------------------------------------------------------------------------------- /src/sequential_ast_printer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/sequential_ast_printer.ml -------------------------------------------------------------------------------- /src/sequentialize.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/sequentialize.ml -------------------------------------------------------------------------------- /src/tools.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/src/tools.ml -------------------------------------------------------------------------------- /tests/.merlin: -------------------------------------------------------------------------------- 1 | REC 2 | FLG -ppx ocalustre -------------------------------------------------------------------------------- /tests/button.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/button.ml -------------------------------------------------------------------------------- /tests/deriv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/deriv.ml -------------------------------------------------------------------------------- /tests/devices/card.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/devices/card.ml -------------------------------------------------------------------------------- /tests/devices/oled.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/devices/oled.ml -------------------------------------------------------------------------------- /tests/devices/snake-head.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/devices/snake-head.ml -------------------------------------------------------------------------------- /tests/devices/snake-ocalustre-2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/devices/snake-ocalustre-2.ml -------------------------------------------------------------------------------- /tests/echantillon.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/echantillon.ml -------------------------------------------------------------------------------- /tests/experimental/arrays.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/experimental/arrays.ml -------------------------------------------------------------------------------- /tests/experimental/higher-order.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/experimental/higher-order.ml -------------------------------------------------------------------------------- /tests/experimental/mk_array.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/experimental/mk_array.ml -------------------------------------------------------------------------------- /tests/experimental/nind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/experimental/nind.ml -------------------------------------------------------------------------------- /tests/experimental/train.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/experimental/train.ml -------------------------------------------------------------------------------- /tests/facto.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/facto.ml -------------------------------------------------------------------------------- /tests/fibo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/fibo.ml -------------------------------------------------------------------------------- /tests/io/call_watch_io.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/io/call_watch_io.ml -------------------------------------------------------------------------------- /tests/nat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/nat.ml -------------------------------------------------------------------------------- /tests/sampler.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/sampler.ml -------------------------------------------------------------------------------- /tests/simpl_clocks.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/simpl_clocks.ml -------------------------------------------------------------------------------- /tests/test_clocks.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/test_clocks.ml -------------------------------------------------------------------------------- /tests/test_clocks2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/test_clocks2.ml -------------------------------------------------------------------------------- /tests/test_clocks3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/test_clocks3.ml -------------------------------------------------------------------------------- /tests/testo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/testo.ml -------------------------------------------------------------------------------- /tests/tictoc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/tictoc.ml -------------------------------------------------------------------------------- /tests/watch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stevenvar/OCaLustre/HEAD/tests/watch.ml --------------------------------------------------------------------------------