Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. more realistic timeout, based on CPU time;
Changeset 13341:61f7680ed799 by wenzelm:
more realistic timeout, based on CPU time;
The file was modified thys/Cook_Levin/ROOT
The file was modified thys/Quantifier_Elimination_Hybrid/ROOT
The file was modified thys/Virtual_Substitution/ROOT