SRI-CSL / yices2
71%
master: 71%

LAST BUILD BRANCH: mcsat-bugfixes
DEFAULT BRANCH: master
Repo Added
Files 496
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH mcsat-bugfixes
branch: SELECT
CHANGE BRANCH
x

coverage: 71.214% (+0.006%) from 71.208%
33610700272

Pull #661

github

web-flow 
Merge 1ebd73dcb into 05178c03d
Pull Request #661: Mcsat bugfixes

24 of 25 new or added lines in 7 files covered. (96.0%)

95582 of 134218 relevant lines covered (71.21%)

1665639.11 hits per line

Relevant lines Covered
134218 RELEVANT LINES 95582 COVERED LINES
1665639.11 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
33610700272 mcsat-bugfixes Merge 1ebd73dcb into 05178c03d Pull #661 web-flow github
71.21
33405653216 mcsat-partial-restart-cmd-parsing-bug Merge 015daceb0 into 05178c03d Pull #660 web-flow github
71.21
30150074613 master Fix ef-solve crash and spurious "model error" on UF-in-arithmetic quantifiers (#657) (#658) ef-solve on a forall body with an uninterpreted-function application inside arithmetic (e.g. (f x) in (< x C)) crashed, and on release builds aborted with... push web-flow github
71.21
30149788967 fix-issue-657 Merge ed5fbafb6 into 6435defcf Pull #658 web-flow github
71.21
30149647219 master Fix signed-overflow UB in bv64 interval abstraction (#656) * Fix signed-overflow UB in bv64 interval abstraction sum/diff computed x+y / x-y as signed int64 (undefined on overflow), then detected the overflow by inspecting the result's sign. At ... push web-flow github
71.21
29727068780 fix-bv64-interval-abstraction-ub Merge 6e5d89132 into 84efa9276 Pull #656 web-flow github
71.21
29183493071 master Make the SMT-LIB 2.6 "" string escape the default (#417) (#653) The "" escape (a double quote inside a string literal is written by doubling it) was only accepted when a script declared (set-info :smt-lib-version 2.5|2.6); otherwise Yices used th... push web-flow github
71.21
28931436466 master Fix segfault in get-value for function default over exhausted finite range (#403) (#655) When building a model, a function/array's default value is a fresh particle of the range type. egraph_concretize_value realized it with make_fresh_value, whi... push web-flow github
71.21
28931509320 fix-417-smt2-string-escape Merge eac4b4b0d into b11db7c43 Pull #653 web-flow github
71.21
28927467990 fix/issue-403-getvalue-segfault Merge 495fc562f into 11fb92aed Pull #655 web-flow github
71.21
See All Builds (2111)