TritonVM / triton-cli
100%

DEFAULT BRANCH: main
Repo Added
Files 2
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: 100.0% (+2.2%) from 97.826%
18753260762

push

github

jan-ferdinand 
chore: Release Triton CLI v1.0.0

⚙️ Miscellaneous

- Upgrade dependencies (604fefbb)

128 of 128 relevant lines covered (100.0%)

9.58 hits per line

Relevant lines Covered
128 RELEVANT LINES 128 COVERED LINES
9.58 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
18753260762 main chore: Release Triton CLI v1.0.0 ⚙️ Miscellaneous - Upgrade dependencies (604fefbb) push jan-ferdinand github
100.0
15954417483 main ci: Remove release targets `aar64` & `linux-musl` For some reason, github and the distribution tool `dist` don't like each other with these targets specified. push jan-ferdinand github
97.83
15926660346 main chore: Release Triton CLI v0.50.0 ⚙️ Miscellaneous - Update dependencies (d2973631) changelog: ignore push jan-ferdinand github
97.83
15844707713 main ci: Work around `cargo-dist`'s outdated CI runners push jan-ferdinand github
97.84
15732153488 main chore: Release Triton CLI v0.49.0 ✨ Features - Optionally print command-dependent profile (82e7f275) - Display additional info in profiles (1215d772) - Display table heights in `run`'s profile (544c625a) 📚 Documentation - Document commands' pa... push jan-ferdinand github
97.84
15274623119 main docs: Document the `--profile` flag push jan-ferdinand github
97.84
15250393609 main chore: Upgrade dependency Triton VM push jan-ferdinand github
97.84
13620385194 main feat: Display table heights in `run`'s profile push jan-ferdinand github
98.06
13585693412 main feat: Display additional info in profiles In particular, show the padded height and the FRI domain length in profiles of commands `prove` and `verify`, and show the cycle count in profiles of command `prove`. push jan-ferdinand github
97.71
13519185660 main feat: Optionally print command-dependent profile push jan-ferdinand github
97.39
See All Builds (23)