Skip to content
[Jenkins]Jenkins
log in
Started 2 yr 2 mo ago
Took 19 hr
Success

Build #91 (Feb 13, 2022, 12:14:00 AM)

Changes
  1. updated documentation to current matter of affairs (detail)
  2. unused; (detail)
  3. clarified signature; (detail)
  4. merged (detail)
  5. added Isabelle identification to Mirabelle output (detail)
  6. uniformized fact selection for ATP and SMT in Sledgehammer (detail)
  7. provide cache for slow computations; (detail)
  8. used max_facts and fact_filter from slice for both ATP and SMT in sledgehammer (detail)
  9. more operations; (detail)
  10. more liberal parsing of Sledgehammer options to allow empty lists (as suggested by Larry Paulson) (detail)
  11. more robust TSTP proof parsing (detail)
  12. added possibility of extra options to SMT slices (detail)
Changes
  1. merge from afp-2021-1 (detail)
  2. avoid conflict with index.html in generated html (detail)
  3. New entry: FO_Theory_Rewriting (detail)
  4. Improve consistency of type-variables in WOOT_Strong_Eventual_Consistency.

    + Remove obsolete e-mail from notification mailing list. (detail)
  5. Improve proofs for Interpolation_Polynomials_HOL_Algebra.

    Reduced the number of apply scripts used. (detail)
  6. Correct date. (detail)
  7. deleted a lemma that's in the devel library (detail)
  8. Cleanup and new results. (detail)
  9. moved theorems into Matrix.thy (detail)
  10. merge of AFP 2021-1 (detail)
  11. New AFP entry: Equivalence_Relation_Enumeration (detail)
  12. new entry: LP_Duality (detail)
  13. cosmetic tweaks (detail)
  14. sitegen and metadata for Young's inequality (detail)
  15. new entry: Young's inequality (detail)
  16. metadata for Quasi_Borel_Spaces, sitegen (detail)
  17. new entry: Quasi_Borel_Spaces (detail)
  18. sitegen for FOL_Seq_Calc2 (detail)
  19. new entry FOL_Seq_Calc2 (detail)
  20. tweak: corollary that the ln also yields irrational numbers (detail)
  21. New entry: Interpolation_Polynomials_HOL_Algebra (detail)
  22. Finally remembered to run sitegen (detail)
  23. Fixed the meta data in the abstract as well (detail)
  24. Eliminated the references to SOS (which is no longer used) and changed to the document style to "article". (detail)
  25. typo (detail)
  26. typo (detail)
  27. New entry Irrationals_From_THEBOOK (detail)
  28. new entry Median_Method (detail)
  29. Actuarial Mathematics website (detail)
  30. New entry Actuarial_Mathematics (detail)

Started by timer

This run spent:

  • 0.13 sec waiting;
  • 19 hr build duration;
  • 19 hr total from scheduled to completion.
Revision: 78c2a92a8be405385c6a419c5a2bb6579cef286c
Revision: 3e0d4252153bd5bb9431dbe3ffbe88e33a5eb47c