-
- Downloads
Some progress on compiling cocospec contract.
Contract resolution still need to be done as well as dealing with the machine code level and so on.
Showing
- TODO.org 2 additions, 0 deletionsTODO.org
- src/arrow.ml 3 additions, 1 deletionsrc/arrow.ml
- src/automata.ml 4 additions, 2 deletionssrc/automata.ml
- src/backends/EMF/EMF_backend.ml 23 additions, 6 deletionssrc/backends/EMF/EMF_backend.ml
- src/causality.ml 17 additions, 7 deletionssrc/causality.ml
- src/checks/stateless.ml 22 additions, 11 deletionssrc/checks/stateless.ml
- src/clock_calculus.ml 11 additions, 4 deletionssrc/clock_calculus.ml
- src/compiler_common.ml 175 additions, 0 deletionssrc/compiler_common.ml
- src/compiler_stages.ml 3 additions, 0 deletionssrc/compiler_stages.ml
- src/corelang.ml 13 additions, 0 deletionssrc/corelang.ml
- src/corelang.mli 3 additions, 2 deletionssrc/corelang.mli
- src/error.ml 1 addition, 0 deletionssrc/error.ml
- src/inliner.ml 8 additions, 3 deletionssrc/inliner.ml
- src/lustre_types.ml 20 additions, 9 deletionssrc/lustre_types.ml
- src/machine_code.ml 12 additions, 30 deletionssrc/machine_code.ml
- src/machine_code.mli 4 additions, 1 deletionsrc/machine_code.mli
- src/machine_code_common.ml 6 additions, 2 deletionssrc/machine_code_common.ml
- src/machine_code_types.ml 10 additions, 10 deletionssrc/machine_code_types.ml
- src/modules.ml 1 addition, 1 deletionsrc/modules.ml
- src/normalization.ml 70 additions, 63 deletionssrc/normalization.ml
Loading
Please register or sign in to comment