Skip to content

Actions: circify/circ

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
100 workflow runs
100 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge updates needed for SHA with lookups. Build & Test #808: Pull request #196 synchronize by alex-ozdemir
June 19, 2024 19:27 13m 32s alex-ozdemir:merge-shalook
alex-ozdemir:merge-shalook
June 19, 2024 19:27 13m 32s
Merge updates needed for SHA with lookups. Build & Test #807: Pull request #196 synchronize by alex-ozdemir
June 19, 2024 19:17 7m 27s alex-ozdemir:merge-shalook
alex-ozdemir:merge-shalook
June 19, 2024 19:17 7m 27s
Merge updates needed for SHA with lookups. Build & Test #806: Pull request #196 opened by alex-ozdemir
June 19, 2024 18:58 7m 34s alex-ozdemir:merge-shalook
alex-ozdemir:merge-shalook
June 19, 2024 18:58 7m 34s
opts and tests from the memory project (#195) Build & Test #805: Commit aa318e5 pushed by alex-ozdemir
June 11, 2024 23:50 13m 8s master
master
June 11, 2024 23:50 13m 8s
opts and tests from the memory project Build & Test #804: Pull request #195 synchronize by alex-ozdemir
June 11, 2024 22:46 13m 5s alex-ozdemir:merge-mem-eval
alex-ozdemir:merge-mem-eval
June 11, 2024 22:46 13m 5s
opts and tests from the memory project Build & Test #803: Pull request #195 synchronize by alex-ozdemir
June 11, 2024 22:45 11m 46s alex-ozdemir:merge-mem-eval
alex-ozdemir:merge-mem-eval
June 11, 2024 22:45 11m 46s
opts and tests from the memory project Build & Test #802: Pull request #195 opened by alex-ozdemir
June 11, 2024 21:36 12m 26s alex-ozdemir:merge-mem-eval
alex-ozdemir:merge-mem-eval
June 11, 2024 21:36 12m 26s
bugfix: opt::mem::obliv (#194) Build & Test #801: Commit ca70537 pushed by alex-ozdemir
June 2, 2024 20:31 5m 8s master
master
June 2, 2024 20:31 5m 8s
bugfix: opt::mem::obliv Build & Test #800: Pull request #194 opened by alex-ozdemir
June 2, 2024 19:34 4m 38s alex-ozdemir:obliv-var
alex-ozdemir:obliv-var
June 2, 2024 19:34 4m 38s
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