-
Notifications
You must be signed in to change notification settings - Fork 4
Introduce two new interfaces for SMT verification #118
Conversation
Commit SHA:93c64b7b65005ad193857b91c44176edef6b92c6 Test coverage results 🧪
|
e82d553
to
a6be1a3
Compare
Commit SHA:c8677c4faad885fb7dede9802318e71624eb6b17 Test coverage results 🧪
|
Commit SHA:c8677c4faad885fb7dede9802318e71624eb6b17 |
Commit SHA:c8677c4faad885fb7dede9802318e71624eb6b17 Test coverage results 🧪
|
Commit SHA:c8677c4faad885fb7dede9802318e71624eb6b17 |
a6be1a3
to
6dea047
Compare
Commit SHA:597233f625b560a74b442ec42f043f6622de7aff Test coverage results 🧪
|
Commit SHA:597233f625b560a74b442ec42f043f6622de7aff |
6dea047
to
73ae105
Compare
Commit SHA:f01e835cf6c740cb3ba337d21b7189fe9ed76117 Test coverage results 🧪
|
Commit SHA:f01e835cf6c740cb3ba337d21b7189fe9ed76117 |
270e2fc
to
30482b8
Compare
Commit SHA:0846fca7b67fe6f3e6b2c67d0c7cb83937f9a76a Test coverage results 🧪
|
30482b8
to
f9784fa
Compare
Commit SHA:92b9fdb0570709fdc615cf971f170d4f5e5a3a6e Test coverage results 🧪
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Some comments about renaming a function
f9784fa
to
9b29ce6
Compare
Commit SHA:8b4d0238924b3960478e111f37902c08999733d5 Test coverage results 🧪
|
- Also introduce a new function `isInclusionProofForQueryKey` to check inclusion & non-inclusion - Update JS unit test to check two new interfaces
9b29ce6
to
bf846fb
Compare
Commit SHA:9af487384135320ab2cfe0fbff658972321af165 Test coverage results 🧪
|
Commit SHA:b5be7c1bc8189f3b3245d1cde1b3aeab3bc4d25b Test coverage results 🧪
|
Commit SHA:b5be7c1bc8189f3b3245d1cde1b3aeab3bc4d25b |
Commit SHA:903d39add2c9faf1949e29002b7968c4af2ae3fa Test coverage results 🧪
|
0222ac2
to
57b5e35
Compare
Commit SHA:bbf247ce42e6e74ac790b59526c7431bf5e3775c Test coverage results 🧪
|
What was the problem?
This PR resolves #116
How was it solved?
How was it tested?