diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2011-05-02 21:40:06 +0000 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2011-05-02 21:40:06 +0000 |
commit | f04cbfc62ae22d00b1a37af29f86258a902770e4 (patch) | |
tree | 6d7b5d2c4eabb7dc9ce60850d45b9ee2e74f908f /src/parser/cvc/Cvc.g | |
parent | 70336ce1430a857029e972942d1ba0d9019c7cb6 (diff) |
minor updates to exp manager, fixed 32bit vs 64bit issues in transitive closure module, theory datatypes now uses transitive closure for cycle detection, bug 261 fixed
Diffstat (limited to 'src/parser/cvc/Cvc.g')
0 files changed, 0 insertions, 0 deletions