Skip to content

Actions: WizardOfMenlo/whir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow runs
76 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #28 from autquis/patch-1 Rust #78: Commit e21c172 pushed by WizardOfMenlo
January 19, 2025 09:08 1m 55s main
main
January 19, 2025 09:08 1m 55s
Negate the expression of for loop Rust #77: Pull request #28 opened by autquis
January 18, 2025 20:29 2m 3s autquis:patch-1
autquis:patch-1
January 18, 2025 20:29 2m 3s
Remove this Rust #76: Commit 0d832bf pushed by WizardOfMenlo
December 18, 2024 09:52 1m 59s main
main
December 18, 2024 09:52 1m 59s
[WIP] Add support of arbitrary linear constraints. Rust #75: Pull request #23 synchronize by recmo
December 17, 2024 19:10 1m 59s recmo/gr1cs
recmo/gr1cs
December 17, 2024 19:10 1m 59s
Adapt the WHIR code to match traits required in Ceno. Rust #74: Pull request #26 opened by yczhangsjtu
December 12, 2024 09:00 2m 51s scroll-tech:feat/ceno-binding
scroll-tech:feat/ceno-binding
December 12, 2024 09:00 2m 51s
Merge pull request #24 from reilabs/generic-merkle Rust #72: Commit 2a52497 pushed by WizardOfMenlo
November 29, 2024 16:00 2m 1s main
main
November 29, 2024 16:00 2m 1s
Generalize the type of merkle roots Rust #71: Pull request #24 opened by kustosz
November 29, 2024 15:50 2m 3s reilabs:generic-merkle
reilabs:generic-merkle
November 29, 2024 15:50 2m 3s
Merge pull request #22 from reilabs/generic_fs Rust #70: Commit 9a328c5 pushed by WizardOfMenlo
November 27, 2024 17:02 2m 1s main
main
November 27, 2024 17:02 2m 1s
Generic type bounds for FS types Rust #69: Pull request #22 synchronize by kustosz
November 27, 2024 17:00 2m 3s reilabs:generic_fs
reilabs:generic_fs
November 27, 2024 17:00 2m 3s
Generic type bounds for FS types Rust #68: Pull request #22 opened by kustosz
November 27, 2024 16:05 2m 1s reilabs:generic_fs
reilabs:generic_fs
November 27, 2024 16:05 2m 1s
Merge pull request #20 from scroll-tech/fix/git-ignore Rust #67: Commit f044e59 pushed by WizardOfMenlo
November 27, 2024 14:54 2m 3s main
main
November 27, 2024 14:54 2m 3s
Exclude benchmark outputs folder from git. Rust #65: Pull request #20 opened by yczhangsjtu
November 27, 2024 06:46 2m 3s scroll-tech:fix/git-ignore
scroll-tech:fix/git-ignore
November 27, 2024 06:46 2m 3s
Merge pull request #16 from WizardOfMenlo/recmo/merge-ldt Rust #64: Commit b2c5996 pushed by WizardOfMenlo
November 26, 2024 10:06 2m 3s main
main
November 26, 2024 10:06 2m 3s
Merge PCS and LDT Rust #63: Pull request #16 synchronize by recmo
November 26, 2024 06:46 2m 12s recmo/merge-ldt
recmo/merge-ldt
November 26, 2024 06:46 2m 12s
Merge pull request #19 from WizardOfMenlo/wiz/clippy Rust #62: Commit 02608a9 pushed by WizardOfMenlo
November 25, 2024 17:19 2m 21s main
main
November 25, 2024 17:19 2m 21s
Clippy lints Rust #61: Pull request #19 opened by WizardOfMenlo
November 25, 2024 17:16 2m 22s wiz/clippy
wiz/clippy
November 25, 2024 17:16 2m 22s
Merge pull request #18 from WizardOfMenlo/wiz/update-cargo Rust #60: Commit cb5acff pushed by WizardOfMenlo
November 25, 2024 17:09 2m 17s main
main
November 25, 2024 17:09 2m 17s
Merge pull request #17 from reilabs/develop Rust #59: Commit cac6e2c pushed by WizardOfMenlo
November 25, 2024 17:08 2m 19s main
main
November 25, 2024 17:08 2m 19s
Update deps Rust #58: Pull request #18 opened by WizardOfMenlo
November 25, 2024 17:04 2m 17s wiz/update-cargo
wiz/update-cargo
November 25, 2024 17:04 2m 17s
Use FS to generate STIR queries Rust #57: Pull request #17 opened by kustosz
November 25, 2024 16:52 2m 22s reilabs:develop
reilabs:develop
November 25, 2024 16:52 2m 22s
Merge PCS and LDT Rust #56: Pull request #16 opened by recmo
November 25, 2024 10:28 1m 36s recmo/merge-ldt
recmo/merge-ldt
November 25, 2024 10:28 1m 36s
Merge pull request #15 from mmaker/main Rust #55: Commit 0c0808d pushed by WizardOfMenlo
November 14, 2024 15:27 2m 17s main
main
November 14, 2024 15:27 2m 17s
Update to arkworks 0.5 + cargo fmt Rust #54: Pull request #15 opened by mmaker
November 14, 2024 13:01 2m 21s mmaker:main
mmaker:main
November 14, 2024 13:01 2m 21s
Merge pull request #14 from GottfriedHerold/understanding_whir Rust #53: Commit 3c764b4 pushed by WizardOfMenlo
November 11, 2024 13:37 2m 15s main
main
November 11, 2024 13:37 2m 15s
Documentation and minor robustness changes Rust #52: Pull request #14 opened by GottfriedHerold
November 4, 2024 15:18 2m 15s GottfriedHerold:understanding_whir
GottfriedHerold:understanding_whir
November 4, 2024 15:18 2m 15s