adding c++ backend
Revert some ocaml code to ocaml 4.01 compatibility
Merge branch 'github_master' into integ_github_jan10Intregrate all modifs by Teme et al
adjusting travis
Merge branch 'master' into master
adding -I options to lustrec
updating to onera version 30f766a:2016-12-04
Arrays
adding onera automata version
Updated to onera_git commit version 9421e24
travis
Bug fixed (454), more on travis
build status
first commit