| Tue, 27 Oct 2020 16:59:44 +0000 |
haftmann |
more lemmas
|
file |
diff |
annotate
|
| Mon, 26 Oct 2020 11:28:43 +0000 |
haftmann |
factored out theory Traditional_Syntax
|
file |
diff |
annotate
|
| Sat, 17 Oct 2020 19:10:40 +0200 |
haftmann |
early and more complete setup of tools
|
file |
diff |
annotate
|
| Sat, 17 Oct 2020 18:56:36 +0200 |
haftmann |
factored out theory Bits_Int
|
file |
diff |
annotate
|
| Thu, 15 Oct 2020 14:55:19 +0200 |
haftmann |
factored out singular operation into separate theory
|
file |
diff |
annotate
|
| Thu, 08 Oct 2020 07:30:02 +0000 |
haftmann |
factored out bit comprehension
|
file |
diff |
annotate
|
| Wed, 07 Oct 2020 10:39:14 +0200 |
haftmann |
consolidated for the sake of documentation
|
file |
diff |
annotate
|
| Fri, 25 Sep 2020 05:26:09 +0000 |
haftmann |
factored out typedef material
|
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
|
| Wed, 23 Sep 2020 08:52:41 +0000 |
haftmann |
canonical enum instance for word
|
file |
diff |
annotate
|
| Thu, 17 Sep 2020 14:27:56 +0200 |
haftmann |
dropped junk
|
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
|
| Tue, 08 Sep 2020 11:39:16 +0000 |
haftmann |
restructured
|
file |
diff |
annotate
|
| Mon, 07 Sep 2020 16:14:32 +0000 |
haftmann |
tuned theory structure
|
file |
diff |
annotate
|
| Mon, 07 Sep 2020 08:47:28 +0000 |
haftmann |
more on conversions
|
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
|
| 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
|
| Mon, 10 Aug 2020 08:27:17 +0200 |
haftmann |
reduced prominence od theory Bits_Int
|
file |
diff |
annotate
|
| Thu, 06 Aug 2020 15:37:14 +0000 |
haftmann |
tailored towards remaining essence
|
file |
diff |
annotate
|
| Wed, 05 Aug 2020 19:06:39 +0200 |
haftmann |
separation of reversed bit lists from other material
|
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
|
| Thu, 16 Jul 2020 04:52:26 +0000 |
haftmann |
tuned grouping
|
file |
diff |
annotate
|
| Thu, 16 Jul 2020 04:52:25 +0000 |
haftmann |
yet another alias
|
file |
diff |
annotate
|
| Sun, 12 Jul 2020 18:10:06 +0000 |
haftmann |
prefer canonically oriented lists of bits and more direct characterizations in definitions
|
file |
diff |
annotate
|
| Sat, 11 Jul 2020 06:21:04 +0000 |
haftmann |
signed_take_bit
|
file |
diff |
annotate
|