projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 672c02a) | patch
I made a documentation change to get() to make explicit the contract requirements...
authorTim King <taking@cs.nyu.edu>
Tue, 15 Jun 2010 16:36:49 +0000 (16:36 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 15 Jun 2010 16:36:49 +0000 (16:36 +0000)
commite9339ddd445c657fb6ebdd074cdb6091a80825bf
tree94c923c8693d39ffe907fd2ad9f531c808413a77tree
parent672c02a79ba691c33955cd7e7c62f932671e845ccommit | diff
I made a documentation change to get() to make explicit the contract requirements for 'slurping the queue'. Closes bug 154
src/theory/theory.h diff | blob | history