| 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 |