Started 16 hr ago
Took 2 hr 24 min on master

Success Build #365 (Mar 29, 2020 10:54:11 PM)

Changes
  1. using proper atomic propositions, added more benchmarks (detail / bitbucket)
  2. Fixed some typos in Furstenberg_Topology (detail / bitbucket)
  3. merge from afp-2019 (detail / bitbucket)
  4. website update (detail / bitbucket)
  5. new entry: Furtenberg Topology (detail / bitbucket)
  6. Relational-Incorrectness-Logic website (detail / bitbucket)
  7. new entry Relational-Incorrectness-Logic (detail / bitbucket)
  8. New entry WOOT_Strong_Eventual_Consistency (detail / bitbucket)
  9. sitegen + fix of ROOT file (detail / bitbucket)
  10. added new entry Hello_World (detail / bitbucket)
  11. sitegen (detail / bitbucket)
  12. new submission: VeriComp (detail / bitbucket)
  13. New entry: Goodstein_Lambda (detail / bitbucket)
  14. Grant acknowledgement for ALEXANDRIA (ERC Project 742178) (detail / bitbucket)
  15. Update abstract (detail / bitbucket)
  16. Update websites and emails. (detail / bitbucket)
  17. improved estimation by getting rid of max-1 operation in small_mixed_integer_solution (detail / bitbucket)
  18. more fixes for alias issues (which for Auto2 means giving up) (detail / bitbucket)
  19. elimination of some aliases (detail / bitbucket)
  20. elimination of some aliases, etc. (detail / bitbucket)
  21. Completed list of rules for differential invariance. (detail / bitbucket)
  22. Some new and/or generalised theorems (detail / bitbucket)
  23. Word_Lib: document build (detail / bitbucket)
  24. Word_Lib: contributions from l4v

    additional lemmas by Rafal Kolanski and Zoltan Kocsis;
    shorter copyright headers (detail / bitbucket)
  25. revert change to ~~ syntax

    While "NOT mask x" is unclear, "~~ mask x" is not ambiguous and is parallel
    to established other negations, e.g. "\<not> f x" (detail / bitbucket)
  26. added a few lemmas to Stone_Kleene_Relation_Algebras (detail / bitbucket)
  27. Substitution in LTL DNF formulas (detail / bitbucket)

Started by an SCM change

This run spent:

  • 8.9 sec waiting;
  • 2 hr 24 min build duration;
  • 2 hr 24 min total from scheduled to completion.
Revision: 819a553f75082f90834d32c6b08e1fb58ddbb558
SRJobBuild #DurationConsole
main
afp_testboard-afpbuild #365( 1 hr 19 min )Console Output