| 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:21:01 +0000 |
haftmann |
more lemmas
|
file |
diff |
annotate
|
| Wed, 05 Feb 2020 20:17:00 +0000 |
haftmann |
simplified logical constructions
|
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
|
| Tue, 22 Oct 2019 19:07:12 +0000 |
haftmann |
bit operations form an boolean algebra
|
file |
diff |
annotate
|
| Sat, 19 Oct 2019 20:41:09 +0200 |
haftmann |
refined proof of concept for bit operations
|
file |
diff |
annotate
|
| Sun, 16 Jun 2019 16:40:57 +0000 |
haftmann |
even more appropriate fact name
|
file |
diff |
annotate
|
| Fri, 14 Jun 2019 08:34:27 +0000 |
haftmann |
slightly more specialized name for type class
|
file |
diff |
annotate
|
| Fri, 14 Jun 2019 08:34:27 +0000 |
haftmann |
dropped weaker legacy alias
|
file |
diff |
annotate
|
| Wed, 21 Mar 2018 20:17:25 +0100 |
haftmann |
proof of concept for algebraically founded bit lists
|
file |
diff |
annotate
|