diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-28 13:01:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-28 13:01:55 -0500 |
| commit | 0c6249a1b2177fda94526b66510474f2cb01a411 (patch) | |
| tree | 24fb10636b5412bf77e7147962292f4536c9eee4 /.github | |
| parent | 64eae4836286d95a04126d7bcffb18c5eb383bc1 (diff) | |
(new theory) Update TheoryFP to the new interface (#4953)
This updates the theory of floating points to the new interface (see #4929).
Notice that TheoryFP was not adding trigger terms to its equality engine (which should be done during notifySharedTerm), and thus was not propagating equalities between shared terms in combined theories. This PR updates its notifySharedTerm method to the default one.
FYI @martin-cs
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions