projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5f91da) | patch
Removing dead code. StackingMap only appeared in unit tests.
authorTim King <taking@google.com>
Wed, 6 Jan 2016 01:35:12 +0000 (17:35 -0800)
committerTim King <taking@google.com>
Wed, 6 Jan 2016 01:35:12 +0000 (17:35 -0800)
commit774af8c91c94f74fec03bc60a4c29abf60f4a5de
tree42cd0f25fe56df45a1916677ea5da3e780d76922tree
parentb5f91dae58691468f6c8f2d7c6aebf639f1d017bcommit | diff
Removing dead code. StackingMap only appeared in unit tests.
src/Makefile.am diff | blob | history
src/context/stacking_map.h [deleted file] blob | history
test/unit/Makefile.am diff | blob | history
test/unit/context/stacking_map_black.h [deleted file] blob | history
test/unit/theory/stacking_map_black.h [deleted file] blob | history