TritonVM / triton-cli / 18753260762

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
13518796032 main feat: Optionally print command-dependent profile push jan-ferdinand github
97.39
13518607701 profile Merge 5adf2b02e into e7ba2fc41 Pull #1 web-flow github
97.39
13504210523 main refactor: Improve readability of input parsing changelog: ignore push jan-ferdinand github
97.98
13503838751 main docs: Document commands' parameters push jan-ferdinand github
97.75
13501300876 main ci: Work around `dist` CI bug Rename the file to what it should be. Also, remove the comment about a temporary workaround, since pinning the rust version is good practice anyway. changelog: ignore push jan-ferdinand github
97.75