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

Opt: memory: linear for [group] const values Build & Test #835: Pull request #207 synchronize by alex-ozdemir
August 19, 2024 18:35 12m 53s alex-ozdemir:const-linear-scan
alex-ozdemir:const-linear-scan
August 19, 2024 18:35 12m 53s
Opt: memory: linear for [group] const values Build & Test #834: Pull request #207 synchronize by alex-ozdemir
August 19, 2024 18:15 7m 29s alex-ozdemir:const-linear-scan
alex-ozdemir:const-linear-scan
August 19, 2024 18:15 7m 29s
Opt: memory: linear for [group] const values Build & Test #833: Pull request #207 opened by alex-ozdemir
August 19, 2024 18:06 7m 48s alex-ozdemir:const-linear-scan
alex-ozdemir:const-linear-scan
August 19, 2024 18:06 7m 48s
allow partially const tuples Build & Test #832: Pull request #206 synchronize by cmlsharp
August 4, 2024 20:31 41s cmlsharp:const_tuple
cmlsharp:const_tuple
August 4, 2024 20:31 41s
Reduce the number of rounds in ROM checking to 2. (#204) Build & Test #829: Commit 2b54efa pushed by alex-ozdemir
July 8, 2024 23:54 4m 48s master
master
July 8, 2024 23:54 4m 48s
Reduce the number of rounds in ROM checking to 2. Build & Test #828: Pull request #204 synchronize by alex-ozdemir
July 8, 2024 23:48 4m 55s alex-ozdemir:round-reduce
alex-ozdemir:round-reduce
July 8, 2024 23:48 4m 55s
Reduce the number of rounds in ROM checking to 2. Build & Test #827: Pull request #204 opened by alex-ozdemir
July 8, 2024 23:45 53s alex-ozdemir:round-reduce
alex-ozdemir:round-reduce
July 8, 2024 23:45 53s
bugfix: type error in obliv (#203) Build & Test #826: Commit 1224730 pushed by alex-ozdemir
July 1, 2024 22:09 4m 47s master
master
July 1, 2024 22:09 4m 47s
bugfix: type error in obliv Build & Test #825: Pull request #203 opened by alex-ozdemir
July 1, 2024 21:56 5m 4s alex-ozdemir:type-error-obliv
alex-ozdemir:type-error-obliv
July 1, 2024 21:56 5m 4s
Eliminate tuples in preprocessing (#202) Build & Test #824: Commit 3479265 pushed by alex-ozdemir
June 27, 2024 18:35 5m 34s master
master
June 27, 2024 18:35 5m 34s
Eliminate tuples in preprocessing Build & Test #823: Pull request #202 opened by alex-ozdemir
June 27, 2024 18:29 5m 36s alex-ozdemir:tuple-elim-in-prec
alex-ozdemir:tuple-elim-in-prec
June 27, 2024 18:29 5m 36s
Small drive-by improvements Build & Test #822: Pull request #159 synchronize by alex-ozdemir
June 25, 2024 02:16 1m 0s huitseeker:warts
huitseeker:warts
June 25, 2024 02:16 1m 0s
fix doc gen and add to CI (#201) Build & Test #821: Commit 913da60 pushed by alex-ozdemir
June 25, 2024 02:14 5m 35s master
master
June 25, 2024 02:14 5m 35s
fix doc gen and add to CI Build & Test #820: Pull request #201 opened by alex-ozdemir
June 25, 2024 01:57 5m 34s alex-ozdemir:ci-doc
alex-ozdemir:ci-doc
June 25, 2024 01:57 5m 34s
Arc<> in Sort (#200) Build & Test #819: Commit 4c3a1a5 pushed by alex-ozdemir
June 24, 2024 17:30 5m 16s master
master
June 24, 2024 17:30 5m 16s
Arc<> in Sort Build & Test #818: Pull request #200 opened by alex-ozdemir
June 24, 2024 17:17 5m 7s alex-ozdemir:sort-arc
alex-ozdemir:sort-arc
June 24, 2024 17:17 5m 7s
Decrease the size of Op and Sort. (#199) Build & Test #817: Commit 4aa36e4 pushed by alex-ozdemir
June 24, 2024 15:35 5m 35s master
master
June 24, 2024 15:35 5m 35s
Decrease the size of Op and Sort. Build & Test #816: Pull request #199 synchronize by alex-ozdemir
June 24, 2024 15:06 5m 10s alex-ozdemir:layout-changes
alex-ozdemir:layout-changes
June 24, 2024 15:06 5m 10s
Decrease the size of Op and Sort. Build & Test #815: Pull request #199 synchronize by alex-ozdemir
June 24, 2024 14:57 3m 50s alex-ozdemir:layout-changes
alex-ozdemir:layout-changes
June 24, 2024 14:57 3m 50s
Decrease the size of Op and Sort. Build & Test #814: Pull request #199 opened by alex-ozdemir
June 24, 2024 14:30 1m 9s alex-ozdemir:layout-changes
alex-ozdemir:layout-changes
June 24, 2024 14:30 1m 9s
move op Display impls to ir::term::fmt (#198) Build & Test #813: Commit ce5ce47 pushed by alex-ozdemir
June 23, 2024 17:48 4m 48s master
master
June 23, 2024 17:48 4m 48s
move op Display impls to ir::term::fmt Build & Test #812: Pull request #198 opened by alex-ozdemir
June 23, 2024 17:23 5m 17s alex-ozdemir:display
alex-ozdemir:display
June 23, 2024 17:23 5m 17s
Move term eval to new module (#197) Build & Test #811: Commit 61059d7 pushed by alex-ozdemir
June 23, 2024 17:21 4m 56s master
master
June 23, 2024 17:21 4m 56s
Move term eval to new module Build & Test #810: Pull request #197 opened by alex-ozdemir
June 23, 2024 17:15 4m 38s alex-ozdemir:eval-mod
alex-ozdemir:eval-mod
June 23, 2024 17:15 4m 38s
Merge updates needed for SHA with lookups. (#196) Build & Test #809: Commit 2cdc019 pushed by alex-ozdemir
June 19, 2024 20:09 13m 2s master
master
June 19, 2024 20:09 13m 2s