Started 1 mo 11 days ago
Took 1 hr 2 min on master

Success Build #255 (Oct 30, 2018 11:33:13 AM)

Changes
  1. Simplified definition of "comp_min_basis" by using "filter_min" from session "Signature_Groebner" (detail / bitbucket)
  2. Replaced "truncate_poly_mapping" by "except" and moved "except" into theory "Power_Prodicts" (detail / bitbucket)
  3. Moved theory "Benchmarks" from session "Signature_Groebner" to "Groebner_Bases" (detail / bitbucket)
  4. Replaced "wfP_on" by "wfp_on" from "Open_Induction.Restricted_Predicates" (detail / bitbucket)
  5. Restructured theories / added lemmas (detail / bitbucket)
  6. incorporated simulation optimization for büchi complementation (detail / bitbucket)
  7. added DBA intersection construction (detail / bitbucket)
  8. improved naming of DCA record fields (detail / bitbucket)
  9. enabled more deterministic automata (detail / bitbucket)
  10. added more coinduction rules for sequences and automata (detail / bitbucket)
  11. merged from AFP2018 (detail / bitbucket)
  12. sitegen for Smooth_Manifolds (detail / bitbucket)
  13. New entry Smooth_Manifolds (detail / bitbucket)
  14. New entry Lambda_Free_EPO (detail / bitbucket)
  15. sitegen for Randomised_BSTs (detail / bitbucket)
  16. new entry Randomised_BSTs (detail / bitbucket)

Started by an SCM change

This run spent:

  • 9.5 sec waiting;
  • 1 hr 2 min build duration;
  • 1 hr 2 min total from scheduled to completion.
Revision: 786d0be49e1517b88670810bbb9e36ccc467ce6d
SRJobBuild #DurationConsole
main
afp_testboard-afpbuild #255( 1 hr 2 min )Console Output