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 | val: maintainer-approval+ | Details |
Attachment #206182 | |||||
---|---|---|---|---|---|
cvc4 patch v5 | patch | 2019-07-31 17:53:57 UTC | 22.40 KB | val: maintainer-approval+ | Details |