SRI-CSL / yices2 / 8742058079

Builds Branch Commit Type Ran Committer Via Coverage
8742058079 nra-learn-hint-next-decision format Pull #509 ahmed-irfan github
65.67
8732816932 fix-interpolant-with-empty-model api test Pull #510 ahmed-irfan github
65.72
8731486576 nra-learn-hint-next-decision add method to provide value hint Pull #509 ahmed-irfan github
65.67
8728976572 nra-learn-hint-next-decision test with interpolation option on Pull #509 ahmed-irfan github
65.67
8718206934 nra-learn-hint-next-decision also enable nra learning when using interpolation mode Pull #509 ahmed-irfan github
65.67
8717878810 fix-interpolant-with-empty-model false_term as interpolant when assumptions are empty push ahmed-irfan github
65.67
8716838667 master Fix Typo in initial var order (#508) * fix typo * add test push web-flow github
65.68
8716698963 test-initial-order add test Pull #508 ahmed-irfan github
65.68
8644041739 master Fix mcsat-initial-var-order (#507) * Update solver.c * fix push web-flow github
65.67
8643842925 ahmed-irfan-patch-1 fix Pull #507 ahmed-irfan github
65.67
8643843277 ahmed-irfan-patch-1 Merge a6857a568 into 184a9695a Pull #507 web-flow github pending completion   set done
8591860009 master mcsat heuristic update -- use similar heuristic parameters as in cdclt (#506) push web-flow github
65.67
8591781742 mcsat-update-heuristic Merge 5b079d3b8 into e7292fd42 Pull #506 web-flow github
65.67
8585907992 mcsat-update-heuristic mcsat heuristic update -- use similar heuristic parameters as in cdclt push ahmed-irfan github
65.67
8558537683 master Merge pull request #503 from SRI-CSL/test-451 test for issue #451 push web-flow github
65.65