Email Gateway (Aug 22 2022 at 13:34): Email Gateway (Aug 22 2022 at 13:34):From: Tobias Nipkow <nipkow@in.tum.de>
Finite Machine Word Library
Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth
Lim, Corey Lewis, Daniel Matichuk and Thomas Sewell
This entry contains an extension to the Isabelle library for fixed-width machine
words. In particular, the entry adds quickcheck setup for words, printing as
hexadecimals, additional operations, reasoning about alignment, signed words,
enumerations of words, normalisation of word numerals, and an extensive library
of properties about generic fixed-width words, as well as an instantiation of
many of these to the commonly used 32 and 64-bit bases.
http://www.isa-afp.org/entries/Word_Lib.shtml
Enjoy!
smime.p7s
Last updated: Nov 21 2024 at 12:39 UTC