SRI-CSL / yices2 / 10261764101

Builds Branch Commit Type Ran Committer Via Coverage
10261764101 master mcsat Random decision frequency and seed cmdline options (#522) * random dec freq and seed in the commandline * minor push web-flow github
65.91
10156180800 rand-cmd Merge b8cdc3c5d into 06903dad2 Pull #522 web-flow github
65.91
10151667147 rand-cmd minor push ahmed-irfan github
65.91
9784126858 master Finite Field support (#513) * Symbols created, eval_ff_* to be done * Added ff_plugin stub * Registered ff plugin to mcsat * Added further type support for FF type * Added printing support for the ff type * fixed warning * actua... push web-flow github
65.93
9761800169 ffsat Merge c7ddc2188 into edc0d01db Pull #513 web-flow github
65.93
9751351512 ffsat Merge 79e60b684 into edc0d01db Pull #513 web-flow github
65.93
9679061059 ffsat Merge 6878c3dc1 into edc0d01db Pull #513 web-flow github
65.93
9659198709 ffsat Merge a9cbc587c into edc0d01db Pull #513 web-flow github
65.93
9658995744 ffsat Merge c22826aea into edc0d01db Pull #513 web-flow github
65.93
9641891367 refs/tags/Yices-2.6.5 Revert "make smtlib-model-format default for yices-smt2" This reverts commit 7320e76e6. push ahmed-irfan github
65.7
9641173927 master bump version push ahmed-irfan github
65.73
9641168488 2.6.5 Revert "make smtlib-model-format default for yices-smt2" This reverts commit 7320e76e6. push ahmed-irfan github
65.7
9640329956 master Update smt-logics.rst push web-flow github
65.73
9593477890 master Mcsat ufnra model fix (#518) * mcsat uf model fix * test case * minor * update test push web-flow github
65.73
9592588663 mcsat-ufnra-model-fix Merge branch 'master' into mcsat-ufnra-model-fix Pull #518 web-flow github
65.73