array: fix bug (respect Proxy API across GHCs)
add check for repeated initialization of struct fields
Merge branch 'master' of github.com:GaloisInc/ivory
ivory: remove unused packages, files.
concrete: fix parse bugs.
add ivory-backend-acl2 submodule
overflow checks should return Bool
add ensures_ for post-conditions on void functions
add requires and ensures for ImportProcs using similar syntax
Merge branch 'master' of github.com:GaloisInc/ivory into ivory-model-check

Conflicts:
	ivory/src/Ivory/Language/Cond.hs