-
Marc Schoolderman authored
added uint_eq ghost function; use to prove that integer representations can be used to prove byte-for-byte equalities (if necessary at some point)
bde133d5
added uint_eq ghost function; use to prove that integer representations can be used to prove byte-for-byte equalities (if necessary at some point)