Skip to content

Actions: WizardOfMenlo/whir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[WIP] Add support for weighted queries Rust #79: Pull request #29 opened by veljkovranic
February 4, 2025 09:21 2m 12s veljko/gr1cs
veljko/gr1cs
February 4, 2025 09:21 2m 12s
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