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

#351 (Feb 23, 2017, 1:33:10 AM)

Build Artifacts
AWN.gz49.92 KiB view
ConcurrentIMP.gz9.75 KiB view
Flyspeck-Tame.gz1.50 MiB view
HOL-Analysis.gz819.44 KiB view
HOL-Library.gz376.24 KiB view
HOL-ODE-Numerics.gz99.34 KiB view
HOL-ODE-Refinement.gz103.11 KiB view
HOL-ODE.gz544 B view
HOL-Word.gz31.16 KiB view
HOL.gz501.03 KiB view
IP_Addresses.gz92.04 KiB view
Iptables_Semantics.gz326.24 KiB view
Ordinary_Differential_Equations.gz91.23 KiB view
Pure.gz84.90 KiB view
Routing.gz11.17 KiB view
Simple_Firewall.gz66.52 KiB view
Word_Lib.gz138.34 KiB view
Changes

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

  1. explicit dynamic context for gap-bridging function (detail)
  2. merged (detail)
  3. Eliminated references to the obsolete Min_grI (detail)

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

  1. more correct wording (detail)
  2. explicit dynamic context for gap-bridging function (detail)
  3. more precise NEWS and CONTRIBUTORS (detail)
  4. basic documentation for computations (detail)
  5. The Great Picard Theorem (detail)
  6. New theory about Winding Numbers (detail)
  7. new lemmas about segments, etc. Also recast some theorems to use Union rather than general set comprehensions (detail)

Started by an SCM change

This run spent:

  • 6 sec waiting;
  • 20 hr build duration;
  • 20 hr total from scheduled to completion.
Revision: 0940a741adf7c2b97ed125ff4b8895c08cf487a8
Revision: 493f3c9ade26308652a5f285b9a3b4b197e9e927