There was a problem fetching the pipeline summary.
Fix a bug in the C code generator in the --2c-stack mode.
The generated code for tests on boolean output was wrong. Indeed, it was generating if (o1 == _true) { instead of if (*o1 == _true) { nb : a warning was emited
Showing
- Makefile 2 additions, 2 deletionsMakefile
- Makefile.dev 0 additions, 48 deletionsMakefile.dev
- README.md 0 additions, 20 deletionsREADME.md
- _oasis 1 addition, 1 deletion_oasis
- lv6-ref-man/lv6-ref-man.pdf 0 additions, 0 deletionslv6-ref-man/lv6-ref-man.pdf
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/soc2cHeap.ml 1 addition, 1 deletionsrc/soc2cHeap.ml
- src/soc2cStack.ml 20 additions, 10 deletionssrc/soc2cStack.ml
- test/lus2lic.sum 13 additions, 13 deletionstest/lus2lic.sum
- v6lib.sh 6 additions, 5 deletionsv6lib.sh
Loading
Please register or sign in to comment