Stream: Mirror: Isabelle Development Mailing List

Topic: Code generation: bit shifts

Email Gateway (Apr 22 2025 at 17:49):

From: Florian Haftmann <florian.haftmann@cit.tum.de>
Following https://isabelle.in.tum.de/repos/isabelle/rev/803b5d19c48c,
there is now an official theory Code_Bit_Shifts_for_Arithmetic in
HOL-Library which rewrites appropriate arithmetic expressions to
expressions involving bit shifts. Feedback welcome.

Florian

OpenPGP_0xA707172232CFA4E9.asc
OpenPGP_signature.asc

Last updated: May 31 2025 at 01:44 UTC