SRI-CSL / yices2 / 10806457539

Builds Branch Commit Type Ran Committer Via Coverage
10806457539 ahmed-irfan-patch-1 remove duplicated code about hints in mcsat Pull #529 web-flow github
65.92
10798358474 master bug in FF extension (yices_sum_component) to Yices API push Karthik Nukala github
65.92
10758048351 master Update nra_plugin.c (#528) push web-flow github
65.92
10757820426 ahmed-irfan-patch-1 Update nra_plugin.c Pull #528 web-flow github
65.92
10734695904 master add timeout keyword to set-option in the smt2 frontend (#527) * add timeout keyword to set-option in the smt2 frontend * add timeout example push web-flow github
65.92
10728628162 smt2-set-option-timeout add timeout example Pull #527 ahmed-irfan github
65.92
10689790866 smt2-set-option-timeout add timeout keyword to set-option in the smt2 frontend Pull #527 ahmed-irfan github
65.92
10550906417 master run make test in CI (#524) * Update action.yml * Update windows_ci.yml * Update windows_ci.yml push web-flow github
65.91
10550037388 ci-make-test Update windows_ci.yml Pull #524 web-flow github
65.91
10550037419 ci-make-test Merge 0dc2fdb86 into e6a5726b5 Pull #524 web-flow github pending completion   set done
10549937454 ci-make-test Merge branch 'master' into ci-make-test Pull #524 web-flow github
65.91
10549936264 master fix unit tests (#525) * Update action.yml * fix unit tests * status_interrupted -> yices_status_interrupted push web-flow github
65.91
10461262826 fix-unit-tests status_interrupted -> yices_status_interrupted Pull #525 ahmed-irfan github
65.91
10460866700 fix-unit-tests Merge 5baccd3dc into aacc130c9 Pull #525 web-flow github
65.91
10460862858 fix-unit-tests fix unit tests push ahmed-irfan github
65.91