Email Gateway (Aug 23 2022 at 09:12): Email Gateway (Aug 23 2022 at 09:12):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi all,
I want to give an overview about the current matter of affairs
concerning my iterative remoulding of bit operations and the word type.
The current iteration comes with substantial changes, which, although
intended to be as backward-compatible as possible, might result in
unforeseen issues in dependent applications.
Hence I want to expose the proposed changes as preview, to excite early
feedback from bit and word power users before the next Isabelle release.
The relevant resources are available from:
http://isabelle.in.tum.de/~haftmann/bits_and_word/
Looking forward to your feedback,
Florian
signature.asc
Last updated: Apr 19 2024 at 04:17 UTC