Add resolve bugs to experiments

Paradoxika · May 9, 2014 · 21a202a · 21a202a
1 parent bcdabb4
commit 21a202a
Show file tree

Hide file tree

Showing 13 changed files with 385 additions and 0 deletions.
diff --git a/experiments/congruence/resolveBug.s b/experiments/congruence/resolveBug.s
diff --git a/experiments/congruence/resolveBug10.smtb b/experiments/congruence/resolveBug10.smtb
diff --git a/experiments/congruence/resolveBug10_1.smtb b/experiments/congruence/resolveBug10_1.smtb
diff --git a/experiments/congruence/resolveBug11.smtb b/experiments/congruence/resolveBug11.smtb
diff --git a/experiments/congruence/resolveBug2.smt2 b/experiments/congruence/resolveBug2.smt2
diff --git a/experiments/congruence/resolveBug3.smt2 b/experiments/congruence/resolveBug3.smt2
diff --git a/experiments/congruence/resolveBug4.smt2 b/experiments/congruence/resolveBug4.smt2
diff --git a/experiments/congruence/resolveBug5.smt2 b/experiments/congruence/resolveBug5.smt2
diff --git a/experiments/congruence/resolveBug6.smt2 b/experiments/congruence/resolveBug6.smt2
diff --git a/experiments/congruence/resolveBug7.smt2 b/experiments/congruence/resolveBug7.smt2
diff --git a/experiments/congruence/resolveBug8.smtb b/experiments/congruence/resolveBug8.smtb
diff --git a/experiments/congruence/resolveBug9.smtb b/experiments/congruence/resolveBug9.smtb
diff --git a/experiments/congruence/resolveBug9_1.smtb b/experiments/congruence/resolveBug9_1.smtb