Diffusion afp-devel efb5ffe476f4

Note recent additions (roundNearestTiesToAway, single NaN value, SMT-LIB…
efb5ffe476f4
Actions

Tags

None

Subscribers

None

Description

Note recent additions (roundNearestTiesToAway, single NaN value, SMT-LIB translation) in metadata.

Details

Provenance

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

Authored on

Parents

rAFPbf197f173ceb: Merged.

Branches

Unknown

Tags

Unknown

Event Timeline

Tjark Weber <tjark.weber@it.uu.se> committed rAFPefb5ffe476f4: Note recent additions (roundNearestTiesToAway, single NaN value, SMT-LIB….Aug 18 2023, 8:27 PM

Changes (1)

Path

Size

metadata/

entries/

IEEE_Floating_Point.toml

rAFPefb5ffe476f4

metadata/entries/IEEE_Floating_Point.toml

Loading...