adjusting travis
adding sfunction support
making library statically link to horn backend
adding -I options to lustrec
updating to onera version 30f766a:2016-12-04
adding onera automata version
Updated to onera_git commit version 9421e24
travis
adjusted the makefile
Bug fixed (454), more on travis
build status
first commit