HomeIsabelle/Phabricator
Diffusion Poly/ML 8be18a11e17b

Use gettimeofday to initialise startTime on Cygwin.
8be18a11e17bUnpublished
Actions

Unpublished Commit · Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Use gettimeofday to initialise startTime on Cygwin.

Details

Provenance
dcjmAuthored on Mar 27 2019, 3:14 PM
Parents
rPOLYML52d2e1a07cef: Don't test whether the assembler supports GNU-stack if we're building the…
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (1)

PathSize
libpolyml/

rPOLYML8be18a11e17b

View Options

libpolyml/statistics.cpp

Loading...