Started 2 mo 21 days ago
Took 1 hr 19 min on master

Success Build #371 (May 15, 2020 11:48:14 AM)

Changes
  1. merged (detail / hgweb)
  2. adapted to isabelle-dev/07c85c68ff03 (detail / hgweb)
  3. merge (detail / hgweb)
  4. added lemma about limits (detail / hgweb)
  5. adapted to f4626b1f1b96 (detail / hgweb)
  6. various extensions and simplifications to the theorem proving libraries (detail / hgweb)
  7. added lemmas (detail / hgweb)
  8. tuning (detail / hgweb)
  9. simplified proof (detail / hgweb)
  10. adapted to isabelle-dev/c095d3143047 (detail / hgweb)
  11. uniformize capitalization (detail / hgweb)
  12. added lemmas (detail / hgweb)
  13. Max/Sup issue (detail / hgweb)
  14. merged (detail / hgweb)
  15. corrections for Sup{} = (0::nat) (detail / hgweb)
  16. final lower case of topics (detail / hgweb)
  17. about to give up (detail / hgweb)
  18. moved lemmas around, tuning (detail / hgweb)
  19. moving lemmas where they belong (detail / hgweb)
  20. lower case topics following AMS and ACM (detail / hgweb)
  21. added lemmas (detail / hgweb)
  22. generalized completeness theorems + refactored a little (detail / hgweb)
  23. added lemmas (detail / hgweb)
  24. added two lemmas (detail / hgweb)
  25. removal of legacy binding (detail / hgweb)
  26. simplified proof (detail / hgweb)
  27. rationalized locales (detail / hgweb)
  28. removed abbreviation that only lengthened formalization (detail / hgweb)
  29. rationalized locales (detail / hgweb)
  30. rationalized locales (detail / hgweb)
  31. rationalized locales (detail / hgweb)
  32. rationalized locales (detail / hgweb)
  33. simplified locale setup + replaced some definitions by abbreviations (detail / hgweb)
  34. rationalized locales (detail / hgweb)
  35. rationalized locales, reducing aliasing (detail / hgweb)
  36. modernized notation for bit operations (detail / hgweb)
  37. removed prefixes on key sublocales (detail / hgweb)
  38. added a few theorems about supremum in Ordered_Resolution_Prover (detail / hgweb)
  39. added 'sublocale', simplified rest of formalization (detail / hgweb)
  40. tuned topics (detail / hgweb)
  41. added lemma to Ordered_Resolution_Prover (detail / hgweb)
  42. avoid mixture of definitionally equal constants (detail / hgweb)
  43. update the generated files (detail / hgweb)
  44. synchronize with hol-testgen/r14176 (detail / hgweb)
  45. cancel some part of bf621844d77c , synchronize with hol-testgen/r13993 (detail / hgweb)
  46. added lemma to Ordered_Resolution_Prover (detail / hgweb)
  47. removed redundant assumptions (detail / hgweb)
  48. getting closer (detail / hgweb)
  49. added lemmas about clausal logic (detail / hgweb)
  50. Backed out changeset c78f358a496d (detail / hgweb)
  51. merge (detail / hgweb)
  52. tuning, including a suggestion by Tobias N. (detail / hgweb)
  53. Adapted to isabelle-dev/159e33bdddc6 (detail / hgweb)
  54. refactoring (detail / hgweb)
  55. refactoring (detail / hgweb)

Started by an SCM change

This run spent:

  • 8.6 sec waiting;
  • 1 hr 19 min build duration;
  • 1 hr 19 min total from scheduled to completion.
Revision: 80a61392b4aa7a07cb59cd1435728969cf6f983f
SRJobBuild #DurationConsole
main
afp_testboard-afpbuild #371( 1 hr 19 min )Console Output