]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 093ddd4) | patch
added checks for bvconst construction. checks if the n_bits is adequate to represent...
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 27 Sep 2009 22:35:22 +0000 (22:35 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 27 Sep 2009 22:35:22 +0000 (22:35 +0000)
commit0d54de60b619ebcf0564197c366b01107e0cd262
tree05bf0273151b453afb580f43d6867b1861342a29tree | snapshot
parent093ddd405926a5fda10da311699b34cf89c45b51commit | diff
added checks for bvconst construction. checks if the n_bits is adequate to represent the constant

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