Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 2 mo ago
Took 20 hr on workerlrz5
Aborted

#348 (Feb 18, 2017, 1:33:09 AM)

Build Artifacts
AWN.gz49.98 KiB view
ConcurrentIMP.gz9.65 KiB view
Flyspeck-Tame.gz1.50 MiB view
HOL-Analysis.gz797.88 KiB view
HOL-Library.gz375.96 KiB view
HOL-ODE-Numerics.gz99.07 KiB view
HOL-ODE-Refinement.gz102.69 KiB view
HOL-ODE.gz302 B view
HOL-Word.gz31.43 KiB view
HOL.gz501.18 KiB view
IP_Addresses.gz92.02 KiB view
Iptables_Semantics.gz326.53 KiB view
Ordinary_Differential_Equations.gz92.35 KiB view
Pure.gz84.89 KiB view
Routing.gz11.26 KiB view
Simple_Firewall.gz66.59 KiB view
Word_Lib.gz138.17 KiB view
Changes

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

  1. Define weak modality (using disjunction) and derive (rather than postulate) its semantics (detail)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

  1. removed obsolete test -- coincides with mainline version; (detail)
  2. updated to polyml-5.7 pre-release from repository; (detail)

Started by an SCM change

This run spent:

  • 5.4 sec waiting;
  • 20 hr build duration;
  • 20 hr total from scheduled to completion.
Revision: 6be69d6881cd829a29f9c68a89acc9342970e61d
Revision: df890a63c1faa44510471cf646c051209c831456