Diffusion afp-devel 3f354d5bbf98

Add the rounding mode roundNearestTiesToAway.
3f354d5bbf98
Actions

Tags

None

Subscribers

None

Description

Add the rounding mode roundNearestTiesToAway.

Details

Provenance

Tjark Weber <tjark.weber@it.uu.se>

Authored on

Parents

rAFPcc024e628643: backed out changeset 2ecb8f5e085f: obsolete thanks to Isabelle/21cdcd120a78;

Branches

Unknown

Tags

Unknown

Event Timeline

Tjark Weber <tjark.weber@it.uu.se> committed rAFP3f354d5bbf98: Add the rounding mode roundNearestTiesToAway..May 10 2023, 2:21 PM

makarius mentioned this in rAFPad29f283d9c5: adapted to 3f354d5bbf98;.May 11 2023, 11:28 AM

Changes (3)

Path

Size

thys/

IEEE_Floating_Point/

IEEE_Properties.thy

rAFP3f354d5bbf98

thys/IEEE_Floating_Point/Double.thy

Loading...

thys/IEEE_Floating_Point/IEEE.thy

Loading...

thys/IEEE_Floating_Point/IEEE_Properties.thy

Loading...