]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce5bebd) | patch
* Add a disabled-by-default option to simplify the arguments of a function first.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sat, 29 May 2010 04:22:11 +0000 (04:22 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sat, 29 May 2010 04:22:11 +0000 (04:22 +0000)
commit6c24c70d58dfa0be79cb5db77c8bd9ff3f795594
treeac63e07d3cfdd06856707c076828f9a9cbe2a724tree | snapshot
parentce5bebd184160159973a5309d22f4ee68739b188commit | diff
* Add a disabled-by-default option to simplify the arguments of a function first.
* Check explicitly the kind returned from some functions that create nodes to ensure the returned type is what we expect. With the simplifying node factory enabled, the type can sometimes change.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@798 e59a4935-1847-0410-ae03-e826735625c1
src/simplifier/simplifier.cpp diff | blob | history
STP Constraint Solver.