rindPHI / isla
94%

DEFAULT BRANCH: main
Repo Added
Files 22
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 main
branch: main
CHANGE BRANCH
x

coverage: 93.737% (-0.2%) from 93.922%
7501337829

push

github

web-flow 
Merge pull request #89 from rindPHI/dev

dev

6211 of 6626 relevant lines covered (93.74%)

0.94 hits per line

Relevant lines Covered
6626 RELEVANT LINES 6211 COVERED LINES
0.94 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
7501337829 main Merge pull request #89 from rindPHI/dev dev push web-flow github
93.74
6721439722 main Merge pull request #88 from rindPHI/dev dev: Improved inference of numeric intervals, fixed bug in evaluation of concrete additions & multiplications. push web-flow github
93.92
5505719046 main Merge pull request #78 from rindPHI/dev Supporting negative int literals in concrete syntax push web-flow github pending completion  
5464662947 main Merge pull request #77 from rindPHI/ImprovedSupportSignedPaddedStrToInt Improved support signed padded str to int push web-flow github pending completion  
4831299861 main Merge pull request #69 from rindPHI/dev push GitHub github pending completion  
4820632301 main Merge pull request #67 from rindPHI/dev push GitHub github pending completion  
4629185227 main Merge pull request #65 from rindPHI/dev push GitHub github pending completion  
4561903921 main Merge pull request #63 from rindPHI/documentation push GitHub github pending completion  
4541608116 main Merge pull request #62 from rindPHI/documentation push GitHub github pending completion  
4532124943 main Merge pull request #61 from rindPHI/documentation push GitHub github pending completion  
See All Builds (230)