Plug the lic2loc files directly onto the Lic.
Indeed, the data structure in output of the lis2loc parser was very similar to Lic.t/LicPrg.t. Hence, this shunt. At this stage it compiles, but it's untested and does not work.
Showing
- Makefile 15 additions, 0 deletionsMakefile
- src/actionsDeps.ml 214 additions, 0 deletionssrc/actionsDeps.ml
- src/actionsDeps.mli 48 additions, 0 deletionssrc/actionsDeps.mli
- src/compile.ml 7 additions, 1 deletionsrc/compile.ml
- src/errors.ml 1 addition, 1 deletionsrc/errors.ml
- src/lic.ml 4 additions, 3 deletionssrc/lic.ml
- src/lic2soc.ml 628 additions, 0 deletionssrc/lic2soc.ml
- src/lic2soc.mli 3 additions, 0 deletionssrc/lic2soc.mli
- src/soc.ml 64 additions, 0 deletionssrc/soc.ml
- src/socPredef.ml 523 additions, 0 deletionssrc/socPredef.ml
- src/socPredef.mli 19 additions, 0 deletionssrc/socPredef.mli
- src/socUtils.ml 361 additions, 0 deletionssrc/socUtils.ml
- src/socUtils.mli 42 additions, 0 deletionssrc/socUtils.mli
- src/toposort.ml 39 additions, 0 deletionssrc/toposort.ml
- src/toposort.mli 14 additions, 0 deletionssrc/toposort.mli
- test/lus2lic.sum 1 addition, 1 deletiontest/lus2lic.sum
- test/lus2lic.time 1 addition, 1 deletiontest/lus2lic.time
Loading
Please register or sign in to comment