SRI-CSL / yices2
66%

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 master
branch: master
CHANGE BRANCH
x

coverage: 65.924% (+0.004%) from 65.92%
11809552079

push

github

web-flow 
reintroduce interval approx hints (#537)

9 of 10 new or added lines in 1 file covered. (90.0%)

81614 of 123801 relevant lines covered (65.92%)

1532156.78 hits per line

Relevant lines Covered
123801 RELEVANT LINES 81614 COVERED LINES
1532156.78 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
11809552079 master reintroduce interval approx hints (#537) push web-flow github
65.92
11640587130 master Improved Integer handling in NRA plugin (#533) * Update propagation with lp_feasibility_set_is_point_int. * Use lp_feasibility_set_contains_int() instead of pick_value. * Removed duplicated line. * Code cleanup: fixed variable name * ... push web-flow github
65.92
11149077147 master check cached value if it must be decided (#531) push web-flow github
65.92
10861100690 master fix mcsat clause rescaling (#530) push web-flow github
65.92
10807147137 master remove duplicated code about hints in mcsat (#529) push 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
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
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
10549936264 master fix unit tests (#525) * Update action.yml * fix unit tests * status_interrupted -> yices_status_interrupted push web-flow github
65.91
See All Builds (1604)