adjusting travis
Merge branch 'master' into master
adding sfunction support
making library statically link to horn backend
updating to onera version 30f766a:2016-12-04
Arrays
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
Bug fixed (454), more on travis
first commit