Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 4 mo ago
Took 2 hr 48 min on built-in
Failed

#23 (Feb 8, 2016, 8:35:11 AM)

Changes
  1. merge (detail / hgweb)
  2. prefer gcd_rat_poly over gcd (10x faster) (detail / hgweb)
  3. code-unfold lemma for gcd_rat_poly (detail / hgweb)
  4. added gcd_rat_poly which works via gcd_int_poly (detail / hgweb)
  5. improved code equation (detail / hgweb)

Started by an SCM change

Revision: 63c395e3713e0a50f9697520cec83fe466e99784
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #23( 2 hr 48 min )Console Output