HomeIsabelle/Phabricator
Diffusion Poly/ML a01fead649bc

Fix reading remote statistics in Unix.
a01fead649bc
Actions

Description

Fix reading remote statistics in Unix.

Details

Provenance
dcjmAuthored on Nov 10 2019, 6:41 PM
Parents
rPOLYML51f3ce2ae95f: Change some instances of POLYUNSIGNED to uintptr_t. The values can overflow 32…
Branches
Unknown
Tags
Unknown

Event Timeline

David Matthews <dm@prolingua.co.uk> committed rPOLYMLa01fead649bc: Fix reading remote statistics in Unix. (authored by David Matthews <dm@prolingua.co.uk>).Nov 10 2019, 6:41 PM

Changes (1)

PathSize
libpolyml/

rPOLYMLa01fead649bc

View Options

libpolyml/statistics.cpp

Loading...