-
- Downloads
Add a (CeCILL) LICENCE file + documenting dirs via README.org files
Remove unused files along the way (myGenlex.ml/mli)
Showing
- LICENSE 519 additions, 0 deletionsLICENSE
- README.txt 8 additions, 5 deletionsREADME.txt
- _oasis 2 additions, 2 deletions_oasis
- arduino/README.org 1 addition, 0 deletionsarduino/README.org
- arduino/blink/README.org 1 addition, 0 deletionsarduino/blink/README.org
- arduino/led_puzlle/Makefile 1 addition, 1 deletionarduino/led_puzlle/Makefile
- arduino/led_puzlle/README.org 8 additions, 0 deletionsarduino/led_puzlle/README.org
- lv6-ref-man/lv6-ref-man.pdf 0 additions, 0 deletionslv6-ref-man/lv6-ref-man.pdf
- readme-dev.org 25 additions, 9 deletionsreadme-dev.org
- release-lv6/rel-skel/README 4 additions, 20 deletionsrelease-lv6/rel-skel/README
- src/lv6MainArgs.ml 1 addition, 2 deletionssrc/lv6MainArgs.ml
- src/lv6MainArgs.mli 1 addition, 0 deletionssrc/lv6MainArgs.mli
- src/lv6version.ml 2 additions, 2 deletionssrc/lv6version.ml
- src/myGenlex.ml 0 additions, 257 deletionssrc/myGenlex.ml
- src/myGenlex.mli 0 additions, 71 deletionssrc/myGenlex.mli
- test/lus2lic.sum 16 additions, 16 deletionstest/lus2lic.sum
- test/should_fail/bad_ident.lus 11 additions, 0 deletionstest/should_fail/bad_ident.lus
- test/should_fail/type/parametric_node.lus 1 addition, 1 deletiontest/should_fail/type/parametric_node.lus
- test/should_work/sample_time_change.lus 1 addition, 1 deletiontest/should_work/sample_time_change.lus
- utils/README.org 1 addition, 0 deletionsutils/README.org
Loading
Please register or sign in to comment