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: master
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
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
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
18761992149 master chore: Reflect true MSRV This is not a breaking change since the minimally-supported rust version was already identical through a transitive dependency. This change only reflects that fact in the `Cargo.toml`. changelog: ignore push jan-ferdinand github
98.2
18750415293 master chore: Release Triton VM v1.0.0 ⚙️ Miscellaneous - Make environment variable name public (8d518985) - Upgrade dependencies (4da0e9f6) changelog: ignore push jan-ferdinand github
98.21
18749267353 master chore: Upgrade dependencies Also, avoid a few superfluous allocations in the verifier. push jan-ferdinand github
98.22
18652692483 master test: Remove redundant check changelog: ignore push jan-ferdinand github
98.19
18651740941 master docs: Fix broken link changelog: ignore push jan-ferdinand github
98.19
18521919638 master fix: Correct names of highest IB from 6 to 7 This is a change to comments and variable identifiers only; no logic is changed in any way. fix #369 changelog: ignore push jan-ferdinand github
98.24
18474057182 master ci: Update link checker's cache with every run changelog: ignore push jan-ferdinand github
98.15
See All Builds (642)