-2cw7: generate C annotations (as comments) for Lesar/w7
so that w7/lesar can help otawa/ilp to prune path in the binary. nb : not working on the convertible example: - sometimes the module name still appear in the ident (enums) - clocks are not well supported by Lesar actually. More thinking is necessary.
Showing
- _oasis 1 addition, 1 deletion_oasis
- src/lic.ml 3 additions, 3 deletionssrc/lic.ml
- src/licDump.ml 2 additions, 9 deletionssrc/licDump.ml
- src/lv6Id.ml 11 additions, 1 deletionsrc/lv6Id.ml
- src/lv6Id.mli 2 additions, 1 deletionsrc/lv6Id.mli
- src/lv6MainArgs.ml 4 additions, 4 deletionssrc/lv6MainArgs.ml
- src/lv6MainArgs.mli 1 addition, 1 deletionsrc/lv6MainArgs.mli
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/soc2c.ml 14 additions, 8 deletionssrc/soc2c.ml
- src/soc2cUtil.ml 167 additions, 1 deletionsrc/soc2cUtil.ml
- src/soc2cUtil.mli 2 additions, 1 deletionsrc/soc2cUtil.mli
- test/lus2lic.sum 13 additions, 13 deletionstest/lus2lic.sum
Loading
Please register or sign in to comment