| Sat, 24 Sep 2005 13:54:35 +0200 |
webertj |
cnf_struct renamed to cnf
|
changeset |
files
|
| Sat, 24 Sep 2005 13:26:40 +0200 |
obua |
remove debug clutter
|
changeset |
files
|
| Sat, 24 Sep 2005 13:11:05 +0200 |
obua |
preliminary fix of HOL build problem
|
changeset |
files
|
| Sat, 24 Sep 2005 10:47:22 +0200 |
obua |
bug fix
|
changeset |
files
|
| Sat, 24 Sep 2005 07:57:50 +0200 |
webertj |
replay_proof optimized: now performs backwards proof search
|
changeset |
files
|
| Sat, 24 Sep 2005 07:21:46 +0200 |
webertj |
code reformatted and restructured, many minor modifications
|
changeset |
files
|
| Sat, 24 Sep 2005 07:10:57 +0200 |
webertj |
bugfix in "zchaff_with_proofs"
|
changeset |
files
|
| Sat, 24 Sep 2005 02:53:08 +0200 |
webertj |
parse_std_result_file renamed to read_std_result_file
|
changeset |
files
|
| Fri, 23 Sep 2005 23:28:59 +0200 |
webertj |
new sat tactic
|
changeset |
files
|
| Fri, 23 Sep 2005 22:58:50 +0200 |
webertj |
new sat tactic imports resolution proofs from zChaff
|
changeset |
files
|
| Fri, 23 Sep 2005 22:49:25 +0200 |
obua |
fix
|
changeset |
files
|
| Fri, 23 Sep 2005 22:31:22 +0200 |
wenzelm |
simprocs: pattern now "x" (the proc is supposed to discriminate faster than Pattern.match);
|
changeset |
files
|
| Fri, 23 Sep 2005 22:21:55 +0200 |
wenzelm |
tuned msg;
|
changeset |
files
|
| Fri, 23 Sep 2005 22:21:54 +0200 |
wenzelm |
added mk_solver';
|
changeset |
files
|