add test file
update bits
minor
try to verify
Merge pull request #6 from carand/master

fixed bugs
admit proof of loop invariant
Merge branch 'master' of github.com:jensgerlach/validation
update admitted coq proofs
some simplifications of for poke
inline poke_bits function
formatting
put inverse_modulo in header
replace >>= by /=
more parentheses
change loop parameter to accomodate unsigned type
add labels for properties
move limits.h to Bitwalker.h
add contract for poke
try to improve contract
use one makefile template