Skip to content

Actions: circify/circ

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
108 workflow runs
108 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

further fix OOB indices in lin (#193) Build & Test #799: Commit 9ac4c26 pushed by alex-ozdemir
May 31, 2024 08:58 4m 49s master
master
May 31, 2024 08:58 4m 49s
further fix OOB indices in lin Build & Test #798: Pull request #193 opened by alex-ozdemir
May 31, 2024 08:47 4m 57s alex-ozdemir:oob-idx-in-lin
alex-ozdemir:oob-idx-in-lin
May 31, 2024 08:47 4m 57s
handle CStore in linearization pass (#190) Build & Test #797: Commit 2bf4f82 pushed by alex-ozdemir
May 24, 2024 20:28 12m 43s master
master
May 24, 2024 20:28 12m 43s
handle CStore in linearization pass Build & Test #796: Pull request #190 synchronize by alex-ozdemir
May 24, 2024 19:38 12m 57s alex-ozdemir:cstore-in-lin
alex-ozdemir:cstore-in-lin
May 24, 2024 19:38 12m 57s
handle CStore in linearization pass Build & Test #795: Pull request #190 opened by alex-ozdemir
May 24, 2024 19:15 7m 36s alex-ozdemir:cstore-in-lin
alex-ozdemir:cstore-in-lin
May 24, 2024 19:15 7m 36s
Make the IR1CS optimizer more aggressive (#188) Build & Test #794: Commit 7f6d0a0 pushed by alex-ozdemir
April 17, 2024 06:43 13m 10s master
master
April 17, 2024 06:43 13m 10s
Make the IR1CS optimizer more aggressive Build & Test #793: Pull request #188 opened by alex-ozdemir
April 17, 2024 06:28 13m 9s alex-ozdemir:ir1cs-opt
alex-ozdemir:ir1cs-opt
April 17, 2024 06:28 13m 9s
Update cfg.rs Build & Test #792: Pull request #187 opened by r0cketdyne
April 14, 2024 11:02 7m 43s r0cketdyne:patch-1
r0cketdyne:patch-1
April 14, 2024 11:02 7m 43s
array v->k lookups, membership assertions, and witness computation in… Build & Test #791: Commit 3ba1be4 pushed by alex-ozdemir
April 5, 2024 18:55 13m 22s master
master
April 5, 2024 18:55 13m 22s
array v->k lookups, membership assertions, and witness computation in Z# Build & Test #790: Pull request #186 synchronize by alex-ozdemir
April 5, 2024 17:04 12m 42s alex-ozdemir:rev-lookup
alex-ozdemir:rev-lookup
April 5, 2024 17:04 12m 42s
array v->k lookups, membership assertions, and witness computation in Z# Build & Test #789: Pull request #186 opened by alex-ozdemir
April 5, 2024 16:42 7m 47s alex-ozdemir:rev-lookup
alex-ozdemir:rev-lookup
April 5, 2024 16:42 7m 47s
Document zokrates_test.zsh Build & Test #788: Commit 41361e4 pushed by alex-ozdemir
March 31, 2024 16:44 7m 38s master
master
March 31, 2024 16:44 7m 38s
Implement ROM-checking based on Haboeck's lookup argument (#185) Build & Test #787: Commit 0b88154 pushed by alex-ozdemir
February 23, 2024 06:40 15m 10s master
master
February 23, 2024 06:40 15m 10s
Implement ROM-checking based on Haboeck's lookup argument Build & Test #786: Pull request #185 opened by alex-ozdemir
February 23, 2024 06:23 12m 57s alex-ozdemir:haboeck
alex-ozdemir:haboeck
February 23, 2024 06:23 12m 57s
Fix spartan (and include its tests in CI) (#184) Build & Test #785: Commit 2ebd0a1 pushed by alex-ozdemir
February 1, 2024 00:20 14m 0s master
master
February 1, 2024 00:20 14m 0s
Fix spartan (and include its tests in CI) Build & Test #784: Pull request #184 opened by alex-ozdemir
January 31, 2024 22:02 12m 55s alex-ozdemir:fix-spartan
alex-ozdemir:fix-spartan
January 31, 2024 22:02 12m 55s
optimize prover: buffered IO (#183) Build & Test #783: Commit d0b529b pushed by alex-ozdemir
January 4, 2024 01:13 5m 2s master
master
January 4, 2024 01:13 5m 2s
optimize prover: buffered IO Build & Test #782: Pull request #183 synchronize by alex-ozdemir
January 4, 2024 01:05 5m 21s alex-ozdemir:opt-zk-proving
alex-ozdemir:opt-zk-proving
January 4, 2024 01:05 5m 21s
optimize prover: buffered IO Build & Test #781: Pull request #183 opened by alex-ozdemir
January 4, 2024 01:03 1m 3s alex-ozdemir:opt-zk-proving
alex-ozdemir:opt-zk-proving
January 4, 2024 01:03 1m 3s
optimize bellman ZK prover backend (#182) Build & Test #780: Commit cafb02b pushed by alex-ozdemir
January 4, 2024 00:39 13m 36s master
master
January 4, 2024 00:39 13m 36s
optimize bellman ZK prover backend Build & Test #779: Pull request #182 synchronize by alex-ozdemir
January 4, 2024 00:14 13m 37s alex-ozdemir:opt-zk-proving
alex-ozdemir:opt-zk-proving
January 4, 2024 00:14 13m 37s
optimize bellman ZK prover backend Build & Test #778: Pull request #182 synchronize by alex-ozdemir
January 4, 2024 00:04 10m 17s alex-ozdemir:opt-zk-proving
alex-ozdemir:opt-zk-proving
January 4, 2024 00:04 10m 17s
optimize bellman ZK prover backend Build & Test #777: Pull request #182 synchronize by alex-ozdemir
January 3, 2024 23:45 7m 48s alex-ozdemir:opt-zk-proving
alex-ozdemir:opt-zk-proving
January 3, 2024 23:45 7m 48s
optimize bellman ZK prover backend Build & Test #776: Pull request #182 opened by alex-ozdemir
January 3, 2024 23:44 7m 33s alex-ozdemir:opt-zk-proving
alex-ozdemir:opt-zk-proving
January 3, 2024 23:44 7m 33s
lint (#181) Build & Test #775: Commit 6133414 pushed by alex-ozdemir
December 13, 2023 16:17 13m 34s master
master
December 13, 2023 16:17 13m 34s