update Makfile for tests but still problems
add function for modifying one bit in uint64_t
fix Makefile
comit new version (not yet working)
rewrite contract of SetBit64
reformulate invariants
iadd assertion that cannot be verified
remove some invariants
rename BitInStream to LeftBitInStream
add LeftBit64 macro
fix macro LeftBit64
add new function PokeBitInBytes3
add missing parentheses
activate more loop invariants
work on proof of first invariant
fix proof of first loop invariants
add another loop invariant and remove additional assertions
add remaining loop invariants adapt proofs
remove another admit
remove old proof attempt