Age | Commit message (Collapse) | Author | |
---|---|---|---|
2011-10-28 | * ability to output NodeBuilders without first converting them to ↵ | Morgan Deters | |
Nodes---useful for debugging. * language-dependent Node::toString() * some minor proof-related cleanup | |||
2011-10-28 | merged the proofgen3 branch into trunk: | Liana Hadarean | |
- can now output LFSC checkable resolution proofs - added configuration option --enable-proof - added command line argument --proof To turn proofs on build with proofs enabled and run with --proof. |