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

#350 (Feb 22, 2017, 1:33:10 AM)

Build Artifacts
AWN.gz50.43 KiB view
ConcurrentIMP.gz9.84 KiB view
Flyspeck-Tame.gz1.52 MiB view
HOL-Analysis.gz797.71 KiB view
HOL-Library.gz376.86 KiB view
HOL-Word.gz31.03 KiB view
HOL.gz499.20 KiB view
IP_Addresses.gz92.22 KiB view
Iptables_Semantics.gz326.68 KiB view
Ordinary_Differential_Equations301.04 KiB view
Pure.gz84.89 KiB view
Routing.gz11.24 KiB view
Simple_Firewall.gz66.52 KiB view
Word_Lib.gz138.09 KiB view
Changes

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

  1. fixed typos (detail)

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

  1. some new material, also recasting some theorems using “obtains” (detail)
  2. Some new lemmas. Existing lemmas modified to use uniform_limit rather than its expansion (detail)

Started by an SCM change

This run spent:

  • 5.3 sec waiting;
  • 20 hr build duration;
  • 20 hr total from scheduled to completion.
Revision: 2cf841ff23be327778bc7feab941f04b842a5b1c
Revision: f9dd72c30e1c4ed5f3f7c2a55854cd0f24c85d5e