-
- Downloads
Merge branch 'unstable' into lustrec-seal
Showing
- Makefile.in 1 addition, 1 deletionMakefile.in
- TODO.org 6 additions, 0 deletionsTODO.org
- include/lustrec_math.lusi 5 additions, 1 deletioninclude/lustrec_math.lusi
- include/lustrec_math.smt2 25 additions, 6 deletionsinclude/lustrec_math.smt2
- include/simulink_math_fcn.c 4 additions, 93 deletionsinclude/simulink_math_fcn.c
- include/simulink_math_fcn.lusi 5 additions, 63 deletionsinclude/simulink_math_fcn.lusi
- src/access.ml 1 addition, 1 deletionsrc/access.ml
- src/algebraicLoop.ml 1 addition, 1 deletionsrc/algebraicLoop.ml
- src/annotations.ml 1 addition, 1 deletionsrc/annotations.ml
- src/arrow.ml 30 additions, 0 deletionssrc/arrow.ml
- src/arrow.mli 3 additions, 0 deletionssrc/arrow.mli
- src/automata.ml 1 addition, 1 deletionsrc/automata.ml
- src/backends/C/c_backend.ml 2 additions, 2 deletionssrc/backends/C/c_backend.ml
- src/backends/C/c_backend_common.ml 33 additions, 17 deletionssrc/backends/C/c_backend_common.ml
- src/backends/C/c_backend_header.ml 9 additions, 8 deletionssrc/backends/C/c_backend_header.ml
- src/backends/C/c_backend_main.ml 3 additions, 2 deletionssrc/backends/C/c_backend_main.ml
- src/backends/C/c_backend_makefile.ml 11 additions, 2 deletionssrc/backends/C/c_backend_makefile.ml
- src/backends/C/c_backend_mauve.ml 2 additions, 1 deletionsrc/backends/C/c_backend_mauve.ml
- src/backends/C/c_backend_spec.ml 1 addition, 1 deletionsrc/backends/C/c_backend_spec.ml
- src/backends/C/c_backend_src.ml 8 additions, 7 deletionssrc/backends/C/c_backend_src.ml
Loading
Please register or sign in to comment