projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a090197) | patch
Queueing up asserted literals in the proxy instead of sending them off to the theory...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 17 May 2012 04:34:03 +0000 (04:34 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 17 May 2012 04:34:03 +0000 (04:34 +0000)
commita998a2a58571f6791b019fe77e698e05ce3fadd2
tree8fd6d62a0cd8abfb1686f7528c99ab77d8032f18tree
parenta090197414c31b4cae3cdced9e448474858b7553commit | diff
Queueing up asserted literals in the proxy instead of sending them off to the theory engine immediately. The queue is discharged just before a check().
src/prop/theory_proxy.cpp diff | blob | history
src/prop/theory_proxy.h diff | blob | history