| Fri, 21 Aug 2020 18:59:30 +0000 |
haftmann |
more lemmas
|
file |
diff |
annotate
|
| Mon, 10 Aug 2020 15:34:55 +0000 |
haftmann |
dedicated symbols for code generation, to pave way for generic conversions from and to word
|
file |
diff |
annotate
|
| Wed, 05 Aug 2020 08:47:45 +0000 |
haftmann |
further refinement of code equations for mask operation
|
file |
diff |
annotate
|
| Tue, 04 Aug 2020 09:33:05 +0000 |
haftmann |
uniform mask operation
|
file |
diff |
annotate
|
| Sat, 01 Aug 2020 17:43:30 +0000 |
haftmann |
more consequent transferability
|
file |
diff |
annotate
|
| Mon, 13 Jul 2020 15:23:32 +0000 |
haftmann |
concatentation of bit values
|
file |
diff |
annotate
|
| Sat, 11 Jul 2020 18:09:08 +0000 |
haftmann |
more thms
|
file |
diff |
annotate
|
| Sat, 11 Jul 2020 06:21:04 +0000 |
haftmann |
signed_take_bit
|
file |
diff |
annotate
|
| Sat, 11 Jul 2020 06:21:02 +0000 |
haftmann |
more on single-bit operations
|
file |
diff |
annotate
|
| Fri, 03 Jul 2020 06:18:29 +0000 |
haftmann |
misc lemma tuning
|
file |
diff |
annotate
|
| Wed, 01 Jul 2020 17:32:11 +0000 |
haftmann |
factored out ancient numeral representation
|
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 |
bit operations as distinctive library theory
|
file |
diff |
annotate
| base
|