Incorrect result from signed right-shift when using Code_Target_Numeral

Peter Lammich lammich at in.tum.de
Fri Dec 5 18:20:07 CET 2025

Previous message (by thread): Incorrect result from signed right-shift when using Code_Target_Numeral
Next message (by thread): Incorrect result from signed right-shift when using Code_Target_Numeral
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20251205/1a6f39ea/attachment.htm>

Previous message (by thread): Incorrect result from signed right-shift when using Code_Target_Numeral
Next message (by thread): Incorrect result from signed right-shift when using Code_Target_Numeral
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list