projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 363dc98) | patch
Making construction of trigger sets not use the global engine state.
authorDejan Jovanović <dejan@cs.nyu.edu>
Thu, 20 Nov 2014 03:42:31 +0000 (22:42 -0500)
committerDejan Jovanović <dejan@cs.nyu.edu>
Thu, 20 Nov 2014 03:42:31 +0000 (22:42 -0500)
commit2984c25a1b2ab36f5e3c6298c6ba99c0701c7141
tree153bf42ab5da4c709fbf1ece708eaa82f75d36datree
parent363dc9881a3b249978eec76c7c2b77eb2ef459eacommit | diff
Making construction of trigger sets not use the global engine state.
src/theory/uf/equality_engine.cpp diff | blob | history
src/theory/uf/equality_engine.h diff | blob | history