HomeIsabelle/Phabricator
Diffusion Poly/ML d0ec17eeb038

Merge 368a2bf0fb3a45a1f34b12d65bea306106f8ff17 into…
d0ec17eeb038Unpublished
Actions

Unpublished Commit · Learn More

Not On Permanent Ref: This commit is not an ancestor of any permanent ref.
This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

Merge 368a2bf0fb3a45a1f34b12d65bea306106f8ff17 into 6025c250b4f1ac6e123851823cd526b2fd3f6d3f

Details

Provenance
jrtc27 <jrtc27@jrtc27.com>Authored on Mar 23 2020, 5:30 AM
GitHub <noreply@github.com>Committed on Mar 23 2020, 5:30 AM
Parents
rPOLYML6025c250b4f1: Change Posix.Process.exit to use the same underlying call as OS.Process.
rPOLYML368a2bf0fb3a: Fix libffi 3.3 build on Unix i386
Branches
Unknown
Tags
Unknown

Event Timeline

Merged Changes

Changes (1)

PathSize
libpolyml/

rPOLYMLd0ec17eeb038

View Options

libpolyml/polyffi.cpp

Loading...