?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 675ea11) | patch
Make it easier to adjust verification for positive-only minors
commit3062fcddf5b44b7676234f5e951e73a850ce4597
authorS. Gilles <sgilles@umd.edu>
Wed, 3 Feb 2021 23:09:42 +0000 (3 18:09 -0500)
committerS. Gilles <sgilles@umd.edu>
Wed, 3 Feb 2021 23:09:42 +0000 (3 18:09 -0500)
tree12d77703ddef31d140aafec7f5be5d7112b42982tree | snapshot (tar.gz zip)
parent675ea11980ac34049d2faac4a63f9a898aeeeac0commit | diff
Make it easier to adjust verification for positive-only minors
verification.myr diff | blob | blame | history
Computer implementation of section 5 of my dissertation