diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-24 05:54:39 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-24 05:54:39 +0000 |
commit | 13e7de0006e9c34cc715521fc9f1866c25682113 (patch) | |
tree | 29d83cdfcb0ebd618f630496bc6050d16a0cdc66 /src/theory/bv | |
parent | 52c5c282f47448856e0dec8a7d4e5de612a8dcc3 (diff) |
Significant changes to the internals of the equality engine. Equality is not handled natively and not as a generic predicate. The changes also change the order of propagation, and can produce different conflicts. Since the engine is now used everywhere this means that so some crazy results are to be expected.
Diffstat (limited to 'src/theory/bv')
0 files changed, 0 insertions, 0 deletions