updating to onera version 30f766a:2016-12-04
adding onera automata version
fixed assert compilation in case of stateless program
Updated to onera_git commit version 9421e24
travis
remove duplication
changes to horn
revereted to previous commit
adjusted the makefile
sync
Bug fixed (454), more on travis
build status
first commit