Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. Rounding modes renamed
  2. merged
  3. Add the rounding mode roundNearestTiesToAway.
Changeset 13456:b07ef065d5d2 by tjark weber _tjark.weber@it.uu.se_:
Rounding modes renamed
The file was modified thys/MFODL_Monitor_Optimized/Code_Double.thy
Changeset 13455:60387100baaf by tjark weber _tjark.weber@it.uu.se_:
merged
Changeset 13454:3f354d5bbf98 by tjark weber _tjark.weber@it.uu.se_:
Add the rounding mode roundNearestTiesToAway.
The file was modified thys/IEEE_Floating_Point/Double.thy
The file was modified thys/IEEE_Floating_Point/IEEE.thy
The file was modified thys/IEEE_Floating_Point/IEEE_Properties.thy