updating to onera version 30f766a:2016-12-04
Updated to onera_git commit version 9421e24
travis 6
travis 4
travis 3
travis 2
travis
Merge branch 'master' of https://github.com/coco-team/lustrec
cleaned up bin
remove duplication
changes to horn
revereted to previous commit
adjusted the makefile
sync
add authors
return value
fixed bug in travis
Bug fixed (454), more on travis
build status
smaller amount of compilers
added travis sh 2
added travis sh
more travis
added travis
first commit
Initial commit