TritonVM / triton-vm
98%

DEFAULT BRANCH: master
Repo Added
Files 48
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: SELECT
CHANGE BRANCH
x

coverage: 98.187% (-0.09%) from 98.28%
19995433359

push

github

jan-ferdinand 
test: Fix proptest input generation

14785 of 15058 relevant lines covered (98.19%)

9999002.35 hits per line

Relevant lines Covered
15058 RELEVANT LINES 14785 COVERED LINES
9999002.35 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
19995433359 master test: Fix proptest input generation push jan-ferdinand github
98.19
19995319447 iter_cons_circuit Merge 8e8373179 into 59dd3b4d4 Pull #397 web-flow github
98.19
19990925804 iter_cons_circuit Merge 3b45421c7 into 59dd3b4d4 Pull #397 web-flow github
98.19
19991174574 iter_cons_circuit Merge f05368920 into 59dd3b4d4 Pull #397 web-flow github
98.19
19987157810 iter_cons_circuit Merge 7a00ebee7 into 59dd3b4d4 Pull #397 web-flow github
98.2
19986224292 iter_cons_circuit Merge 238b4bbbd into 59dd3b4d4 Pull #397 web-flow github
98.2
19943271275 iter_cons_circuit Merge 91768ccad into 59dd3b4d4 Pull #397 web-flow github
98.26
19891819265 master refactor(ArithmeticDomain)!: Uphold invariants Make internal fields non-public in order to guarantee internal invariants. Also, improve documentation and some error generation. push jan-ferdinand github
98.28
19886549862 ar_dom Merge 59dd3b4d4 into 7bd77d33d Pull #396 web-flow github
98.25
19265376906 master docs: Decrease width of spec page “instructions” Also: - add table summarizing each instruction - briefly list the (informal) instruction categories - break out section “about instructions” - introduce README.md to `./specification` - put instruc... push jan-ferdinand github
98.22
See All Builds (642)