HomeIsabelle/Phabricator
Diffusion Poly/ML 999520d2035c

Add percentages to the major GC assuming each phase takes the same time.
999520d2035c
Actions

Description

Add percentages to the major GC assuming each phase takes the same time.

Details

Provenance
dcjmAuthored on Nov 11 2019, 1:43 PM
Parents
rPOLYML106e936320d1: Add percentage progress to the GC share phase.
Branches
Unknown
Tags
Unknown

Event Timeline

David Matthews <dm@prolingua.co.uk> committed rPOLYML999520d2035c: Add percentages to the major GC assuming each phase takes the same time. (authored by David Matthews <dm@prolingua.co.uk>).Nov 11 2019, 1:43 PM

Changes (1)

PathSize
libpolyml/

rPOLYML999520d2035c

View Options

libpolyml/gc.cpp

Loading...