| Sat, 17 Oct 2020 18:56:36 +0200 |
haftmann |
factored out theory Bits_Int
|
file |
diff |
annotate
|
| Thu, 08 Oct 2020 07:30:02 +0000 |
haftmann |
factored out bit comprehension
|
file |
diff |
annotate
|
| Wed, 23 Sep 2020 11:14:38 +0000 |
haftmann |
more thorough treatment of division, particularly signed division on int and word
|
file |
diff |
annotate
|
| 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
|