| .. |
|
average_round_down.txt
|
syntax-highlight all source codes
|
2015-08-01 09:00:11 -05:00 |
|
average_round_up.txt
|
syntax-highlight all source codes
|
2015-08-01 09:00:11 -05:00 |
|
clp2.txt
|
proofs: remove spurious 'return 0's
|
2020-06-12 16:47:16 -05:00 |
|
flp2.txt
|
proofs: remove spurious 'return 0's
|
2020-06-12 16:47:16 -05:00 |
|
ilog10.txt
|
ilog10: actually prove for all nonzero values, not just one
|
2017-05-02 12:18:03 -05:00 |
|
next_with_same_popcnt.txt
|
syntax-highlight all source codes
|
2015-08-01 09:00:11 -05:00 |
|
nlz.txt
|
nlz: fix diagnostic about shift greater than type's width
|
2020-06-12 16:47:16 -05:00 |
|
pareven.txt
|
proofs: Avoid signed overflows
|
2015-08-02 12:38:52 -05:00 |
|
parity.txt
|
chapter 5: several parity proofs
|
2015-08-01 12:49:53 -05:00 |
|
parodd.txt
|
parodd: missed fixing this file for signed arithmetic violations
|
2015-08-05 08:26:17 -05:00 |
|
pop.txt
|
syntax-highlight all source codes
|
2015-08-01 09:00:11 -05:00 |
|
secded.txt
|
Fix unintended signed shifts
|
2020-06-12 16:47:16 -05:00 |
|
turn_off_rightmost_one.txt
|
Fix unintended signed shifts
|
2020-06-12 16:47:16 -05:00 |
|
unsigned_division_by_3.txt
|
Work around missing UINT64_C seen on Debian Wheezy
|
2017-05-02 13:30:37 -05:00 |
|
zbyte1.txt
|
Add proof of 6.1, find first zero byte
|
2016-10-15 10:59:33 -05:00 |
