You can clone with
HTTPS or Subversion.
more elaborate travis-ci integration
add this file to repo so travis-ci can work
keep track of the lint file in git
don't check in hlint report to the repo
mark working version
address hlint complaints (not all, but most)
print build time when SBVUnitTest is run
Add missing bits of the SMTLib2 translator
- Uninterpreted functions
- User given axioms
- Arrays (with constant initializers only for the time being)
- lookup tables (implemented as uninterpreted functions)
Hasn't been tested much, but seems to generate reasonable code for the time being.