-
- Added my version of increment.v for practicing working with logically atomic triples - Added implementation of coin-flip spec from Turon et al. (POPL'13) with an assumed spec for prophecy variables
5c51c26c
- Added my version of increment.v for practicing working with logically atomic triples - Added implementation of coin-flip spec from Turon et al. (POPL'13) with an assumed spec for prophecy variables