Thu, 17 Sep 2020 09:57:31 +0000 |
haftmann |
integrated generic conversions into word corpse
|
file |
diff |
annotate
|
Thu, 17 Sep 2020 09:57:30 +0000 |
haftmann |
more lemmas
|
file |
diff |
annotate
|
Sat, 05 Sep 2020 16:21:16 +0000 |
haftmann |
generalized signed_take_bit
|
file |
diff |
annotate
|
Sat, 05 Sep 2020 08:32:27 +0000 |
haftmann |
generalized
|
file |
diff |
annotate
|
Sun, 30 Aug 2020 15:15:28 +0000 |
haftmann |
more on conversions
|
file |
diff |
annotate
|
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
|