Skip to content

Actions: leanEthereum/leanMultisig

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
556 workflow runs
556 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix edge case: make proofs work even for very small programs Rust #417: Commit f8a8069 pushed by TomWambsgans
6m 7s main
main
6m 7s
fix edge case: make the proof work even if there is no dot_product (p… Rust #416: Commit 1fb6678 pushed by TomWambsgans
6m 41s main
main
6m 41s
fix edge case: make the proof work even if there is no Poseidon calls… Rust #415: Commit 07ad739 pushed by TomWambsgans
6m 24s main
main
6m 24s
fix logup* edge cases on small lengths Rust #414: Commit 04a0761 pushed by TomWambsgans
6m 47s main
main
6m 47s
fix logup* edge cases on small values Rust #413: Commit c7ae238 pushed by TomWambsgans
17s main
main
17s
fix logup* edge cases on small values Rust #412: Commit 939f065 pushed by TomWambsgans
5m 50s main
main
5m 50s
add TODO Rust #411: Commit b32601d pushed by TomWambsgans
6m 5s main
main
6m 5s
add a subsection "precompiles interactions" in the pdf Rust #410: Commit b92354e pushed by TomWambsgans
6m 5s main
main
6m 5s
Optimize grand product eq Rust #409: Pull request #82 synchronize by adust09
6m 6s adust09:feat/-optimize-grand-product-eq
adust09:feat/-optimize-grand-product-eq
6m 6s
more elegant Grand Product Consistency check Rust #408: Commit 40b7a86 pushed by TomWambsgans
6m 11s main
main
6m 11s
update TODO.md and fix test_packed_pcs Rust #407: Commit 7a85172 pushed by TomWambsgans
6m 31s main
main
6m 31s
Poseidon GKR: Move the matrix multiplications out of the sumchecks (#84) Rust #406: Commit 681e6fd pushed by TomWambsgans
6m 16s main
main
6m 16s
Poseidon GKR: Move the matrix multiplications out of the sumchecks Rust #405: Pull request #84 synchronize by TomWambsgans
6m 28s opt_gkr_poseidon2
opt_gkr_poseidon2
6m 28s
Poseidon GKR: Move the matrix multiplications out of the sumchecks Rust #404: Pull request #84 opened by TomWambsgans
1m 22s opt_gkr_poseidon2
opt_gkr_poseidon2
1m 22s
Optimize grand product eq Rust #401: Pull request #82 synchronize by TomWambsgans
5m 48s adust09:feat/-optimize-grand-product-eq
adust09:feat/-optimize-grand-product-eq
5m 48s
temporarily remove the doc about poseidon GKR, because it was missing… Rust #400: Commit de09723 pushed by TomWambsgans
6m 2s main
main
6m 2s
Optimize grand product eq Rust #399: Pull request #82 opened by adust09
6m 23s adust09:feat/-optimize-grand-product-eq
adust09:feat/-optimize-grand-product-eq
6m 23s
Poseidon gkr (#81) Rust #398: Commit 94ce7d5 pushed by TomWambsgans
6m 7s main
main
6m 7s
Poseidon gkr Rust #397: Pull request #81 opened by TomWambsgans
6m 22s poseidon_gkr
poseidon_gkr
6m 22s
fix display of stats Rust #396: Commit 6956042 pushed by TomWambsgans
5m 42s main
main
5m 42s
minor fix Rust #395: Commit 77d0c50 pushed by TomWambsgans
5m 54s main
main
5m 54s
issue/76: allow arbitrary expressions as conditions in if (#78) Rust #394: Commit 7330d74 pushed by TomWambsgans
5m 10s main
main
5m 10s
cargo test --all now passes Rust #393: Commit 05a8f7b pushed by TomWambsgans
5m 8s main
main
5m 8s
bump Rust #392: Commit 5f01221 pushed by TomWambsgans
6m 7s main
main
6m 7s
Issue #76: Boolean expressions in conditional statements Rust #391: Pull request #78 synchronize by morganthomas
5m 27s lita-xyz:morgan/76
lita-xyz:morgan/76
5m 27s