Started 7 hr 3 min ago
Took 1 hr 7 min on master

Success Build #300 (Jun 26, 2019 1:12:14 AM)

Changes
  1. abstracted from deterministic automata (detail / bitbucket)
  2. removed UNION (detail / bitbucket)
  3. tuned (detail / bitbucket)
  4. merge from afp-2019 (detail / bitbucket)
  5. new entry Linear_Inequalities (detail / bitbucket)
  6. Nullstellensatz website (detail / bitbucket)
  7. new entry Nullstellensatz (detail / bitbucket)
  8. new entry: Groebner_Macaulay by Alexander Maletzky (detail / bitbucket)
  9. New entry IMP2_Binary_Heap (detail / bitbucket)
  10. update usage instructions to 2019 (detail / bitbucket)
  11. add 2019 releases for existing entries (detail / bitbucket)
  12. update release dates for 2019 (detail / bitbucket)
  13. tuned (detail / bitbucket)
  14. a few corollaries (detail / bitbucket)
  15. typo (detail / bitbucket)
  16. even more appropriate fact name (detail / bitbucket)
  17. merged (detail / bitbucket)
  18. tuned definition of value as suggested by an ITP reviewer (detail / bitbucket)
  19. simplified proof (detail / bitbucket)
  20. repaired proofs (detail / bitbucket)
  21. moved some theorems into HOL main corpus (detail / bitbucket)
  22. official fact collection sign_simps (detail / bitbucket)
  23. dropped unused session references (detail / bitbucket)
  24. clear separation of types for bits (False / True) and Z2 (0 / 1) (detail / bitbucket)
  25. dropped weaker legacy alias;
    modernized syntax (detail / bitbucket)
  26. dropped former legacy input abbreviations (detail / bitbucket)
  27. fix for previous commit (detail / bitbucket)
  28. refactoring (detail / bitbucket)
  29. minor adjustments to automata library (detail / bitbucket)

Started by an SCM change

This run spent:

  • 7.5 sec waiting;
  • 1 hr 7 min build duration;
  • 1 hr 8 min total from scheduled to completion.
Revision: 581aa08c667e210e01c4a9145965d827e0050ea3
SRJobBuild #DurationConsole
main
afp_testboard-afpbuild #300( 1 hr 7 min )Console Output