Tue, 03 Aug 2021 13:53:22 +0000 |
haftmann |
simplified hierarchy of type classes for bit operations
|
file |
diff |
annotate
|
Mon, 02 Aug 2021 10:01:06 +0000 |
haftmann |
moved theory Bit_Operations into Main corpus
|
file |
diff |
annotate
|
Sun, 01 Aug 2021 10:20:34 +0000 |
haftmann |
organize syntax for word operations in bundles
|
file |
diff |
annotate
|
Wed, 12 May 2021 17:05:29 +0000 |
haftmann |
explicit type class operations for type-specific implementations
|
file |
diff |
annotate
|
Tue, 06 Apr 2021 18:12:20 +0000 |
haftmann |
new lemmas
|
file |
diff |
annotate
|
Tue, 04 Aug 2020 09:33:05 +0000 |
haftmann |
uniform mask operation
|
file |
diff |
annotate
|
Thu, 02 Jul 2020 08:49:04 +0000 |
haftmann |
a small aggiornamento for Z2
|
file |
diff |
annotate
|
Sat, 20 Jun 2020 05:56:28 +0000 |
haftmann |
more class operations for the sake of efficient generated code
|
file |
diff |
annotate
|
Thu, 18 Jun 2020 09:07:30 +0000 |
haftmann |
build bit operations on word on library theory on bit operations
|
file |
diff |
annotate
|
Thu, 18 Jun 2020 09:07:30 +0000 |
haftmann |
more lemmas and less name space pollution
|
file |
diff |
annotate
|
Thu, 18 Jun 2020 09:07:29 +0000 |
haftmann |
eliminated warnings
|
file |
diff |
annotate
|
Fri, 14 Jun 2019 12:29:50 +0200 |
haftmann |
make latex happy
|
file |
diff |
annotate
|
Fri, 14 Jun 2019 08:34:27 +0000 |
haftmann |
clear separation of types for bits (False / True) and Z2 (0 / 1)
|
file |
diff |
annotate
| base
|