Skip to content
Started 4 yr 6 mo ago
Took 19 min on workermta1
Success

#1388 (Sep 20, 2019, 3:32:08 AM)

Build Artifacts
Changes

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

  1. Implement equivalence relation with unfolding for LTL Master Theorem (detail)
  2. Proof of Restricted Master Theorem on LTL (detail)

Started by an SCM change

This run spent:

  • 2 min 4 sec waiting;
  • 19 min build duration;
  • 21 min total from scheduled to completion.
Revision: 49ae62f849017ceef7ad7da12e8f824487672152
Revision: a2c03373dc205b795653bf796bef2d8ac635e13e