SRI-CSL / yices2 / 8533920804

Builds Branch Commit Type Ran Committer Via Coverage
8533920804 486-assertion-failure-in-srcmcsatvaluec-could-be-a-duplicate-of-451 test file push ahmed-irfan github
65.61
8533869892 486-assertion-failure-in-srcmcsatvaluec-could-be-a-duplicate-of-451 improved check for all assigned (#501) push web-flow github
65.61
8448093866 master improved check for all assigned (#501) push web-flow github
65.61
8447953719 mcsat-array-improved-call improved check for all assigned Pull #501 ahmed-irfan github
65.61
8397090358 master Mcsat set initial var order api (#500) * new api method * rename api method * update documentation * fix doc push web-flow github
65.61
8396930707 mcsat-set-initial-var-order-api fix doc Pull #500 ahmed-irfan github
65.61
8396879833 mcsat-set-initial-var-order-api Merge 6b5779053 into a17735fd0 Pull #500 web-flow github
65.61
8396869183 mcsat-set-initial-var-order-api update documentation push ahmed-irfan github
65.61
8396770590 mcsat-set-initial-var-order-api new api method push ahmed-irfan github
65.6
8394107952 master Mcsat arrays fixes (#499) * use a cache for storing not weakly i-equivalent result * update terms are ufun in eq graph * weq cleanup * more clean up push web-flow github
65.61
8393364650 mcsat-arrays-fixes more clean up Pull #499 ahmed-irfan github
65.61
8393317630 mcsat-arrays-fixes weq cleanup push ahmed-irfan github
65.61
8363473309 master Update uf_plugin.c (#498) duplicate code push web-flow github
65.52
8363336606 ahmed-irfan-patch-1 Update uf_plugin.c duplicate code push web-flow github
66.58
8339203656 master Fix typo in uf_plugin.c (#497) push web-flow github
65.53