-
- Downloads
bug correction in typing: tuple types were computed but not recorded
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@485 041b043f-8d7c-46b2-b46e-ef0dd855326e
Showing
- src/backends/C/c_backend_common.ml 11 additions, 9 deletionssrc/backends/C/c_backend_common.ml
- src/backends/C/c_backend_src.ml 59 additions, 40 deletionssrc/backends/C/c_backend_src.ml
- src/main_lustre_compiler.ml 1 addition, 5 deletionssrc/main_lustre_compiler.ml
- src/optimize_machine.ml 96 additions, 10 deletionssrc/optimize_machine.ml
- src/printers.ml 6 additions, 1 deletionsrc/printers.ml
- src/typing.ml 13 additions, 4 deletionssrc/typing.ml
Loading
Please register or sign in to comment