Thu, 04 Jun 2020 19:38:50 +0000 |
haftmann |
avoid overaggressive default simp rules
|
file |
diff |
annotate
|
Thu, 21 May 2020 20:00:09 +0000 |
haftmann |
slightly more specific implementations
|
file |
diff |
annotate
|
Fri, 08 May 2020 06:26:28 +0000 |
haftmann |
prefer _ mod 2 over of_bool (odd _)
|
file |
diff |
annotate
|
Thu, 16 Apr 2020 08:09:32 +0200 |
haftmann |
generalized
|
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
|
Thu, 13 Feb 2020 07:43:48 +0100 |
haftmann |
canonical approach towards lifting
|
file |
diff |
annotate
|
Sun, 09 Feb 2020 10:46:32 +0000 |
haftmann |
rule concerning bit (push_bit ...)
|
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:17 +0000 |
haftmann |
more rules
|
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
|
Sun, 01 Dec 2019 08:01:00 +0000 |
haftmann |
transfer rule for bit operation
|
file |
diff |
annotate
|
Sun, 01 Dec 2019 08:00:59 +0000 |
haftmann |
characterization of singleton bit operation
|
file |
diff |
annotate
|
Wed, 27 Nov 2019 16:54:33 +0000 |
haftmann |
bit accessor and fundamental properties
|
file |
diff |
annotate
|
Sun, 17 Nov 2019 20:44:35 +0000 |
haftmann |
strengthened type class for bit operations
|
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
|
Sat, 09 Nov 2019 10:38:51 +0000 |
haftmann |
new lemma
|
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
| base
|