SRI-CSL / yices2
67%
master: 67%

LAST BUILD BRANCH: smt2-algebraic-model-format
DEFAULT BRANCH: master
Repo Added
Files 486
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 smt2-algebraic-model-format
branch: SELECT
CHANGE BRANCH
x

coverage: 66.69% (+0.003%) from 66.687%
Relevant lines Covered
125222 RELEVANT LINES 83511 COVERED LINES
1643495.28 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
25418071995 smt2-algebraic-model-format smt2: address review feedback on algebraic printer (PR #623) - Assert that libpoly isolating intervals are always strictly open (a_open == b_open == 1), matching root-of-with-interval's exclusive-bound convention; catches any future libpoly c... Pull #623 ahmed-irfan github
66.69
25387979943 fix-issue-615-interpolation-crash test_issue_615: drop CHECK macro, use plain assert + (void)s Match the codebase style: tests use assert() and rely on debug-mode CI to catch regressions. Silence the release-mode unused-variable warning on the smt_status_t locals with (void) s;. Pull #624 disteph github
66.71
25387369495 fix-issue-615-interpolation-crash test_issue_615: replace assert() with CHECK() macro CI builds the api tests with -DNDEBUG -Werror=unused-variable, which turned every assert() into a no-op and produced 'unused variable s' errors on the smt_status_t locals. Replace assert() with... push disteph github
66.71
25368527405 mcsat-supplement-cdclt Merge branch 'master' into mcsat-supplement-cdclt Conflicts resolved with a hybrid of both sides: - tests/regress/run_test.sh: keep this branch's explicit --dpllt for the non-mcsat side of /both/ tests (symmetric with --mcsat), because yices... Pull #611 disteph github
66.87
25368529823 mcsat-supplement-cdclt Merge 0874c5a5b into 7878664a0 Pull #611 web-flow github pending completion  
25367146742 context_delegates Merge branch 'master' into context_delegates Pull #607 web-flow github
66.84
25366656949 mcsat-tuples-support mcsat: extend zero-copy peek to all read-only single-leaf sites (L4) Convert the remaining tuple_blast_get call sites whose only use of the returned snapshot is a (size==1, data[0]) read to tuple_blast_peek: NOT, SELECT, OR/XOR, POWER_PRODUCT, AR... Pull #606 disteph github
66.95
25365016246 mcsat-tuples-support mcsat: trace dropped atoms in preprocessor_build_tuple_model preprocessor_build_tuple_model has three paths along which a tuple-blasted atom can quietly fail to appear in the reconstructed model: 1. one of the blasted leaf variables has no val... Pull #606 disteph github
66.88
25364584810 mcsat-tuples-support Merge a349e1f4b into 7878664a0 Pull #606 web-flow github
66.89
25364583433 mcsat-tuples-support mcsat: zero-copy peek variant of tuple_blast_get (L3) Many call sites inside tuple_blast_term_body only read the blasted leaves of a sub-term. They currently pay a malloc + memcpy per sub-term by construction: init_ivector(&v, 0); tuple_blas... Pull #606 disteph github
66.89
See All Builds (1920)