| Fri, 08 May 2020 06:26:29 +0000 |
haftmann |
explicit mask operation for bits
|
file |
diff |
annotate
|
| Fri, 08 May 2020 06:26:28 +0000 |
haftmann |
prefer _ mod 2 over of_bool (odd _)
|
file |
diff |
annotate
|
| Fri, 08 May 2020 06:26:27 +0000 |
haftmann |
less aggressive default simp rules
|
file |
diff |
annotate
|
| Mon, 27 Apr 2020 16:18:51 +0000 |
haftmann |
simplified construction of binary bit operations
|
file |
diff |
annotate
|
| Sat, 25 Apr 2020 13:26:24 +0000 |
haftmann |
more rules
|
file |
diff |
annotate
|
| Fri, 24 Apr 2020 13:16:42 +0000 |
haftmann |
documentation of relevant ideas
|
file |
diff |
annotate
|
| Sun, 08 Mar 2020 17:07:49 +0000 |
haftmann |
more frugal simp rules for bit operations; more pervasive use of bit selector
|
file |
diff |
annotate
|
| Tue, 11 Feb 2020 19:03:57 +0100 |
haftmann |
more instances
|
file |
diff |
annotate
|
| Sun, 09 Feb 2020 22:03:07 +0000 |
haftmann |
easy abstraction over pointwise bit operations
|
file |
diff |
annotate
|
| Sun, 09 Feb 2020 10:46:32 +0000 |
haftmann |
rule concerning bit (push_bit ...)
|
file |
diff |
annotate
|
| Wed, 05 Feb 2020 20:17:00 +0000 |
haftmann |
simplified logical constructions
|
file |
diff |
annotate
|
| Wed, 05 Feb 2020 20:16:59 +0000 |
haftmann |
simplified logical constructions
|
file |
diff |
annotate
|
| Mon, 03 Feb 2020 20:42:04 +0000 |
haftmann |
more theorems
|
file |
diff |
annotate
|
| Sat, 01 Feb 2020 19:10:40 +0100 |
haftmann |
more specific class assumptions
|
file |
diff |
annotate
|
| Sat, 01 Feb 2020 19:10:37 +0100 |
haftmann |
more theorems
|
file |
diff |
annotate
|
| Sun, 26 Jan 2020 20:35:32 +0000 |
haftmann |
sketches of ideas still to come
|
file |
diff |
annotate
|
| Mon, 02 Dec 2019 17:15:16 +0000 |
haftmann |
tuned material
|
file |
diff |
annotate
|
| Sun, 01 Dec 2019 17:51:23 +0000 |
haftmann |
characterization of typical bit operations
|
file |
diff |
annotate
|
| Wed, 27 Nov 2019 16:54:33 +0000 |
haftmann |
bit accessor and fundamental properties
|
file |
diff |
annotate
|
| Mon, 11 Nov 2019 07:16:17 +0000 |
haftmann |
tuned order between theories
|
file |
diff |
annotate
|
| Sat, 09 Nov 2019 15:39:21 +0000 |
haftmann |
bit shifts as class operations
|
file |
diff |
annotate
|
| Mon, 04 Nov 2019 20:38:15 +0000 |
haftmann |
proof-of-concept theory for bit operations without a constructivistic representation and a minimal common logical foundation
|
file |
diff |
annotate
|