-
- Downloads
Summary: Constants are now possible. The syntax is "const C = <const>;"
Fixed some bugs due to shadowing. git-svn-id: https://svn.onera.fr/Prelude/Prelude/trunk@866 49f62630-d767-4ccd-930e-b3f5589f52e1
Showing
- src/c_buffers.ml 8 additions, 8 deletionssrc/c_buffers.ml
- src/c_names.ml 6 additions, 5 deletionssrc/c_names.ml
- src/c_task_functions.ml 1 addition, 1 deletionsrc/c_task_functions.ml
- src/causality_analysis.ml 6 additions, 5 deletionssrc/causality_analysis.ml
- src/clock_calculus.ml 26 additions, 16 deletionssrc/clock_calculus.ml
- src/corelang.ml 33 additions, 11 deletionssrc/corelang.ml
- src/corelang.mli 20 additions, 5 deletionssrc/corelang.mli
- src/env.ml 30 additions, 8 deletionssrc/env.ml
- src/expand.ml 91 additions, 46 deletionssrc/expand.ml
- src/genwrappermain.ml 12 additions, 10 deletionssrc/genwrappermain.ml
- src/iterenv.ml 69 additions, 0 deletionssrc/iterenv.ml
- src/lexer.mll 2 additions, 1 deletionsrc/lexer.mll
- src/main.ml 9 additions, 9 deletionssrc/main.ml
- src/parser.mly 29 additions, 13 deletionssrc/parser.mly
- src/task_graph.ml 51 additions, 48 deletionssrc/task_graph.ml
- src/task_set.ml 2 additions, 2 deletionssrc/task_set.ml
- src/task_set_construction.ml 8 additions, 7 deletionssrc/task_set_construction.ml
- src/typing.ml 33 additions, 13 deletionssrc/typing.ml
Loading
Please register or sign in to comment