Sun, 01 Aug 2021 10:20:34 +0000 |
haftmann |
organize syntax for word operations in bundles
|
file |
diff |
annotate
|
Thu, 29 Oct 2020 10:03:03 +0000 |
haftmann |
moved most material from session HOL-Word to Word_Lib in the AFP
|
file |
diff |
annotate
|
Thu, 17 Sep 2020 09:57:31 +0000 |
haftmann |
integrated generic conversions into word corpse
|
file |
diff |
annotate
|
Mon, 24 Aug 2020 13:39:09 +0000 |
haftmann |
a proof of concept for generic conversions
|
file |
diff |
annotate
|
Thu, 06 Aug 2020 15:37:14 +0000 |
haftmann |
tailored towards remaining essence
|
file |
diff |
annotate
|
Sat, 11 Jul 2020 18:09:09 +0000 |
haftmann |
a generic horner sum operation
|
file |
diff |
annotate
|
Fri, 08 May 2020 06:26:29 +0000 |
haftmann |
explicit mask operation for bits
|
file |
diff |
annotate
|
Mon, 27 Apr 2020 16:18:51 +0000 |
haftmann |
simplified construction of binary bit operations
|
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: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
|