Attachment #204867
cvc4.patch patch 2019-06-06 23:52:00 UTC 11.39 KB no flags Details
Attachment #206060
cvc4.patch v2 patch 2019-07-25 14:14:23 UTC 18.27 KB no flags Details
Attachment #206064
cvc4.patch v2 real patch 2019-07-25 20:07:48 UTC 18.04 KB no flags Details
Attachment #206129
cvc4.patch v3 patch 2019-07-28 18:33:39 UTC 18.83 KB no flags Details
Attachment #206158
cvc4 patch v4 patch 2019-07-30 15:43:16 UTC 236 bytes no flags Details
Attachment #206159
cvc4 patch v4 patch 2019-07-30 15:49:20 UTC 22.48 KB greg: maintainer-approval+ Details
Attachment #206182
cvc4 patch v5 patch 2019-07-31 17:53:57 UTC 22.40 KB greg: maintainer-approval+ Details