Started 3 mo 25 days ago
Took 2 hr 19 min on master

Success Build #11 (Jan 19, 2021 10:21:11 AM)

Changes
  1. Merged (detail / hgweb)
  2. New entry Hood_Melville_Queue (detail / hgweb)
  3. Adapted to 2021-RC2; renamed lemma ccc_Fn_nat -> ccc_Fn_2 (detail / hgweb)
  4. Merge updates on dynamic programming (detail / hgweb)
  5. merged (detail / hgweb)
  6. more explicit proof (detail / hgweb)
  7. sync Word_Lib with l4v (detail / hgweb)
  8. adapted to scala-2.13.4; (detail / hgweb)
  9. removed a terrible default simprule (detail / hgweb)
  10. Word_Lib: spelling (detail / hgweb)
  11. Cleaned (detail / hgweb)
  12. Added example and tuned proof (detail / hgweb)
  13. Make slice abbreviation input only (detail / hgweb)
  14. Added bellman-ford implementation with detection of negative cycles (detail / hgweb)
  15. Only one definition of path and weight functions (detail / hgweb)
  16. Tuned proof automation (detail / hgweb)
  17. Cleaning (detail / hgweb)
  18. Finished main theorems on Bellman-Ford (detail / hgweb)
  19. Progress on true shortest paths (detail / hgweb)
  20. Cleaning (detail / hgweb)
  21. Closed sorries (detail / hgweb)
  22. Fixed guess (detail / hgweb)
  23. Fixed sorries (detail / hgweb)
  24. Simplified proof (detail / hgweb)
  25. Cycle detection lemma (detail / hgweb)
  26. Improved proof of main correctness theorem for BF (detail / hgweb)

Started by an SCM change

This run spent:

  • 7.7 sec waiting;
  • 2 hr 19 min build duration;
  • 2 hr 19 min total from scheduled to completion.
Revision: e69090abc053194d724281cce1ea45f64446c4a4
SRJobBuild #DurationConsole
main
afp_testboard-afpbuild #11( 2 hr 18 min )Console Output