Add little endian encoding of Z (!254) · Merge requests · Iris / stdpp

Merged Michael Sammler requested to merge msammler/little_endian into master 3 years ago

May 17, 2021
- improve comment · cbc474cc
  Michael Sammler authored 3 years ago
  
  cbc474cc
May 04, 2021
- rename conversion lemmas to follow convention · 2554d103
  Michael Sammler authored 3 years ago
  
  2554d103
- Use `Z.iter`. · dc5db80a
  Robbert Krebbers authored 3 years ago and Michael Sammler committed 3 years ago
  
  dc5db80a
- rebase and rename · 2097cf02
  Michael Sammler authored 3 years ago
  
  2097cf02
- fix implicit types · c9edf9a0
  Michael Sammler authored 3 years ago
  
  c9edf9a0
- tweak comment · cf70f15e
  Michael Sammler authored 3 years ago
  
  cf70f15e
- tweak comment and fix proofs · 9016a9b5
  Michael Sammler authored 3 years ago
  
  9016a9b5
- Tweak proofs. · 23a5f06b
  Robbert Krebbers authored 3 years ago and Michael Sammler committed 3 years ago
  
  23a5f06b
- Add little endian encoding of Z · 22ce5591
  Michael Sammler authored 3 years ago
  
  22ce5591

Add little endian encoding of Z