TritonVM / triton-cli
98%

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: SELECT
CHANGE BRANCH
x

coverage: 97.826%. Remained the same
15954417483

push

github

jan-ferdinand 
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.

135 of 138 relevant lines covered (97.83%)

10.25 hits per line

Relevant lines Covered
138 RELEVANT LINES 135 COVERED LINES
10.25 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
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
13518796032 main feat: Optionally print command-dependent profile push jan-ferdinand github
97.39
See All Builds (22)