testboard: Changelog

wenzelm [Thu, 22 Mar 2012 10:49:31 +0100] rev 47079

synchronize syntax uniformly for target stack and aux. context;

wenzelm [Thu, 22 Mar 2012 10:10:30 +0100] rev 47078

tuned;

wenzelm [Wed, 21 Mar 2012 23:41:22 +0100] rev 47077

merged

blanchet [Wed, 21 Mar 2012 16:53:24 +0100] rev 47076

removed Satallax option, now that this is the default

blanchet [Wed, 21 Mar 2012 16:53:24 +0100] rev 47075

doc update

blanchet [Wed, 21 Mar 2012 16:53:24 +0100] rev 47074

improve "remote_satallax" by exploiting unsat core

blanchet [Wed, 21 Mar 2012 16:53:24 +0100] rev 47073

generate weights and precedences for predicates as well

paulson [Wed, 21 Mar 2012 15:43:02 +0000] rev 47072

refinements to constructibility

paulson [Wed, 21 Mar 2012 13:05:40 +0000] rev 47071

More structured proofs for infinite cardinalities

wenzelm [Wed, 21 Mar 2012 23:41:58 +0100] rev 47070

actually expose target context;

testboard