SRI-CSL / yices2 / 8339053433

Builds Branch Commit Type Ran Committer Via Coverage
8339053433 ahmed-irfan-patch-1 Fix typo in uf_plugin.c Pull #497 web-flow github
65.53
8335896397 master Mcsat array simplify var bump (#496) * simple bump heuristic * unsigned_term for bumping * use trail values to check if weq can be run * fix a warning push web-flow github
65.53
8335757422 mcsat-array-simplify-var-bump Merge fdf86b432 into d62a1fea2 Pull #496 web-flow github
65.53
8333201013 mcsat-array-simplify-var-bump fix a warning push ahmed-irfan github
65.53
8333142307 mcsat-learn learn after restart push ahmed-irfan github
65.52
8303521702 master Decision hint queue (#494) * Fixed typos * rename int_queue_t size with capacity * enhanced int_queue * added queue for next decision * Clear hint queue on conflict * Added two queues (top and hint) * fixed bug * added solver... push web-flow github
65.53
8273094942 master Merge pull request #495 from SRI-CSL/mcsat-bv-array-purify fixes #400 push web-flow github
65.54
8272673056 decision-hint-queue Merge 957843b6b into 553897f5f Pull #494 web-flow github
65.52
8269729374 decision-hint-queue Merge 88e15a3f5 into 553897f5f Pull #494 web-flow github
65.52
8244738777 mcsat-bv-array-purify typo Pull #495 ahmed-irfan github
65.54
8237394995 decision-hint-queue Merge f19e9271e into 553897f5f Pull #494 web-flow github
65.52
8237270362 decision-hint-queue Merge bd2daab65 into 553897f5f Pull #494 web-flow github
65.51
8090807054 master Added mcsat regress (#491) Co-authored-by: Thomas Hader <thomas.hader@sri.com> push web-flow github
65.53
8090638403 mcsat-regress Merge b6aa15f67 into 5326f0d64 Pull #491 web-flow github
65.53
7996667409 master Update install-sources.rst push web-flow github
65.53