Bo-Yuan-Huang / ILAng
86%

DEFAULT BRANCH: master
Repo Added
Files 143
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: 86.164%. Remained the same
1039

push

travis-ci-com

web-flow 
Create cmake.yml (#208)

* Create cmake.yml

* Update cmake.yml

13719 of 15922 relevant lines covered (86.16%)

104785.02 hits per line

Relevant lines Covered
15922 RELEVANT LINES 13719 COVERED LINES
104785.02 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1039 master Create cmake.yml (#208) * Create cmake.yml * Update cmake.yml push web-flow travis-ci-com
86.16
1036 master Merge pull request #206 from zhanghongce/smtparser-bugfix SMT-LIB2 Parser Bug Fix push web-flow travis-ci-com
86.16
1027 master Merge pull request #205 from Bo-Yuan-Huang/i203 Issue 203: missing valid condition check push web-flow travis-ci-com
86.12
1023 master Update README.md push web-flow travis-ci-com
86.08
1022 master Merge pull request #204 from Bo-Yuan-Huang/unroller Unroll instruction sequence using templated SMT formula generator push web-flow travis-ci-com
86.08
1018 master Merge pull request #200 from Bo-Yuan-Huang/smt Unified SMT interface push web-flow travis-ci-com
85.96
1009 master Merge pull request #197 from Bo-Yuan-Huang/cleanup [v1.1.1] Bug fix and clean up push web-flow travis-ci-com
86.49
995 master Merge pull request #196 from Bo-Yuan-Huang/unroll ILAtor and z3 unroll push web-flow travis-ci-com
86.11
987 master Merge pull request #191 from Bo-Yuan-Huang/ilator_opt ILAtor updates push web-flow travis-ci-com
87.11
985 master Merge pull request #187 from Bo-Yuan-Huang/cxx17 Cxx17 push web-flow travis-ci-com
87.23
See All Builds (689)