ivory build: updates to verify target.
flight-generated code proofs: updates.
smaccmpilot: GCS bug fix (caught with cbmc).
Possible overflow in arithmetic at int16_t type.
ivory build: tweaks to verify target.
ivory-generated: updated proof status table.
sample-rtv-task: refactor .hs files to fit with current package.
ivory build: comment out EXEC target---unused.
sample-rtv-task: new .hs generation files.
sample-rtv-task: fixed build.
sample-rtv-task: gitignore.
sample-rtv-task: add plugin.
sample-rtv-task: makefile fixes (setget deprecated)
sample-rtv-task: fixed build system.
ivory: ignore ghc build artifacts.
Add comment about adding a .gdbinit.
sample-rtv-task: add .c, .h source generation to IVORY target.
add export makefile
Fix a link in the readme.
Merge remote-tracking branch 'origin/master' into ivory-split

Conflicts:
	sample-rtv-task/sample-rtv-task.cabal