HomeIsabelle/Phabricator

Merge pull request #135 from pclayton/fix-largeword-fromint

Description

Merge pull request #135 from pclayton/fix-largeword-fromint

Fix LargeWord.fromInt for negative arguments

Details

Provenance
dcjmAuthored on Jun 28 2020, 3:35 PM
GitHub <noreply@github.com>Committed on Jun 28 2020, 3:35 PM
Parents
rPOLYML13efa88e9a1f: Merge pull request #122 from jrtc27/libffi-i386
rPOLYML2785926242d3: Fix LargeWord.fromInt for negative arguments
Branches
Unknown
Tags
Unknown