projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34b70b4) | patch
equality triggers for the equality engine
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 24 Sep 2010 22:38:21 +0000 (22:38 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 24 Sep 2010 22:38:21 +0000 (22:38 +0000)
commit6e59b60947283d864877c2c2dc883e878913a2d8
tree3ca30d8d4852d6902e21e8c0a40200405429242ftree
parent34b70b42f127378572a488b8a83cb018c7c5ee6bcommit | diff
equality triggers for the equality engine
fixed order of destruction in smt_engine
src/smt/smt_engine.cpp diff | blob | history
src/theory/bv/equality_engine.cpp diff | blob | history
src/theory/bv/equality_engine.h diff | blob | history
src/theory/bv/theory_bv.cpp diff | blob | history
src/theory/bv/theory_bv.h diff | blob | history