| Sun, 03 Apr 2011 21:59:33 +0200 |
wenzelm |
added Position.reports convenience;
|
changeset |
files
|
| Sun, 03 Apr 2011 18:17:21 +0200 |
wenzelm |
show more tooltip/sub-expression markup;
|
changeset |
files
|
| Sun, 03 Apr 2011 17:35:16 +0200 |
wenzelm |
show tooltip/sub-expression for entity markup;
|
changeset |
files
|
| Fri, 01 Apr 2011 18:29:10 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 01 Apr 2011 17:20:56 +0200 |
hoelzl |
remove unnecessary prob_preserving
|
changeset |
files
|
| Fri, 01 Apr 2011 17:20:33 +0200 |
hoelzl |
add prob_space_vimage
|
changeset |
files
|
| Fri, 01 Apr 2011 17:16:08 +0200 |
wenzelm |
use Unsynchronized.change convenience, which also emphasizes the raw access to these references (which happen to be local here);
|
changeset |
files
|
| Fri, 01 Apr 2011 16:29:58 +0200 |
krauss |
fixed accidental redefinition
|
changeset |
files
|
| Fri, 01 Apr 2011 15:49:19 +0200 |
boehmes |
save reflexivity steps in discharging Z3 Skolemization hypotheses
|
changeset |
files
|
| Fri, 01 Apr 2011 13:49:38 +0200 |
bulwahn |
adding an exhaustive validator for quickcheck's batch validating; moving strip_imp; minimal setup for bounded_forall
|
changeset |
files
|
| Fri, 01 Apr 2011 13:49:36 +0200 |
bulwahn |
adding general interface for batch validators in quickcheck
|
changeset |
files
|
| Fri, 01 Apr 2011 13:21:21 +0200 |
blanchet |
remove workaround 8f25605e646c, which is no longer necessary thanks to 173b0f488428
|
changeset |
files
|
| Fri, 01 Apr 2011 12:19:54 +0200 |
krauss |
scheduler for judgement day
|
changeset |
files
|
| Fri, 01 Apr 2011 12:16:41 +0200 |
boehmes |
re-implemented proof reconstruction for Z3 skolemization: do not explicitly construct definitions for Skolem constants, and let higher-order resolution do most of the work in the end
|
changeset |
files
|
| Fri, 01 Apr 2011 11:54:51 +0200 |
boehmes |
make configuration of (SMT) full monomorphization more flexible: turn boolean argument into a configuration option
|
changeset |
files
|