Skip to content

Actions: sigma-rs/sigma-proofs

Actions

Spell checker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
typos.yml
681 workflow runs
681 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tests: refactoring test directory (#100) Spell checker #694: Commit e3221fa pushed by mmaker
11s main
main
11s
tests: refactoring test directory Spell checker #693: Pull request #100 synchronize by mmaker
8s armfazh:test_refactor
armfazh:test_refactor
8s
tests: refactoring test directory Spell checker #692: Pull request #100 synchronize by mmaker
10s armfazh:test_refactor
armfazh:test_refactor
10s
tests: refactoring test directory Spell checker #691: Pull request #100 opened by armfazh
7s armfazh:test_refactor
armfazh:test_refactor
7s
Add a new ScalarMap struct and use it to make witnesses more structured Spell checker #690: Pull request #92 synchronize by nategraf
8s victor/scalar-map
victor/scalar-map
8s
pipe ScalarVars through CanonicalLinearRelation and fix type inference Spell checker #689: Commit 265fe02 pushed by nategraf
8s victor/scalar-map
victor/scalar-map
8s
Add a new ScalarMap struct and use it to make witnesses more structured Spell checker #688: Pull request #92 synchronize by nategraf
10s victor/scalar-map
victor/scalar-map
10s
wip on using the allocator in CanonicalLinearRelation Spell checker #687: Commit 526dda8 pushed by nategraf
8s victor/scalar-map
victor/scalar-map
8s
Add a new ScalarMap struct and use it to make witnesses more structured Spell checker #686: Pull request #92 synchronize by nategraf
10s victor/scalar-map
victor/scalar-map
10s
a bit of progress on using the new Allocator trait Spell checker #685: Commit 0d93078 pushed by nategraf
11s victor/scalar-map
victor/scalar-map
11s
Add a new ScalarMap struct and use it to make witnesses more structured Spell checker #684: Pull request #92 synchronize by nategraf
18s victor/scalar-map
victor/scalar-map
18s
wip on creating an allocator that can be shared across multiple Linea… Spell checker #683: Commit 5d9c07e pushed by nategraf
12s victor/scalar-map
victor/scalar-map
12s
Add a new ScalarMap struct and use it to make witnesses more structured Spell checker #682: Pull request #92 synchronize by nategraf
11s victor/scalar-map
victor/scalar-map
11s
Merge branch 'main' of github.com:sigma-rs/sigma-proofs into victor/s… Spell checker #681: Commit 8f2f941 pushed by nategraf
16s victor/scalar-map
victor/scalar-map
16s
create Allocator and Allocate traits Spell checker #680: Commit 2098abf pushed by nategraf
10s victor/scalar-map
victor/scalar-map
10s
refactor: rely on spongefish for Fiat-Shamir. Spell checker #679: Pull request #99 opened by mmaker
15s mu/spongefish
mu/spongefish
15s
refactor: rely on spongefish for Fiat-Shamir. Spell checker #678: Commit 2dd737a pushed by mmaker
14s mu/spongefish
mu/spongefish
14s
Add more example relations: pedersen commitment equality and elgamal … Spell checker #677: Commit 8945b33 pushed by mmaker
16s main
main
16s
Optimize canonical linear relation constraint processing (#98) Spell checker #676: Commit 5e35055 pushed by mmaker
15s main
main
15s
Optimize canonical linear relation constraint processing Spell checker #675: Pull request #98 synchronize by nategraf
13s victor/opt-oct15
victor/opt-oct15
13s
fix serialization in label function Spell checker #674: Commit 22b8df7 pushed by nategraf
15s victor/opt-oct15
victor/opt-oct15
15s
Optimize canonical linear relation constraint processing Spell checker #673: Pull request #98 synchronize by nategraf
12s victor/opt-oct15
victor/opt-oct15
12s
use serialize_elements in the CanonicalLinearRelation label function Spell checker #672: Commit 4b2d80a pushed by nategraf
12s victor/opt-oct15
victor/opt-oct15
12s
Optimize canonical linear relation constraint processing Spell checker #671: Pull request #98 synchronize by nategraf
14s victor/opt-oct15
victor/opt-oct15
14s
remove a todo Spell checker #670: Commit fd8d4fd pushed by nategraf
16s victor/opt-oct15
victor/opt-oct15
16s