Skip to content

Actions: scroll-tech/ceno

Actions

Lints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lints.yml
3,012 workflow runs
3,012 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use ToExpr trait instead of ad-hoc expr functions Lints #2923: Pull request #736 synchronize by matthiasgoergens
December 12, 2024 03:52 8m 14s matthias/to-expr-instances
matthias/to-expr-instances
December 12, 2024 03:52 8m 14s
Security-harden the guest's memory allocator Lints #2922: Pull request #726 synchronize by matthiasgoergens
December 12, 2024 03:15 35m 38s matthias/simplify-allocator
matthias/simplify-allocator
December 12, 2024 03:15 35m 38s
Use built-in sum instead of writing our own ad-hoc version Lints #2921: Pull request #738 synchronize by matthiasgoergens
December 12, 2024 03:12 29m 33s mathias/use-sum
mathias/use-sum
December 12, 2024 03:12 29m 33s
Use ToExpr trait instead of ad-hoc expr functions Lints #2920: Pull request #736 synchronize by matthiasgoergens
December 12, 2024 03:01 38m 8s matthias/to-expr-instances
matthias/to-expr-instances
December 12, 2024 03:01 38m 8s
sync-platform: Configure the platform / emulator to match circuits Lints #2919: Pull request #735 synchronize by naure
December 12, 2024 02:38 50m 7s Inversed-Tech:sync-platform
Inversed-Tech:sync-platform
December 12, 2024 02:38 50m 7s
sync-platform: Configure the platform / emulator to match circuits Lints #2918: Pull request #735 synchronize by naure
December 12, 2024 02:37 42m 0s Inversed-Tech:sync-platform
Inversed-Tech:sync-platform
December 12, 2024 02:37 42m 0s
sync-platform: Configure the platform / emulator to match circuits Lints #2917: Pull request #735 synchronize by naure
December 12, 2024 02:34 35m 34s Inversed-Tech:sync-platform
Inversed-Tech:sync-platform
December 12, 2024 02:34 35m 34s
Use built-in sum instead of writing our own ad-hoc version Lints #2916: Pull request #738 opened by matthiasgoergens
December 12, 2024 02:34 19m 56s mathias/use-sum
mathias/use-sum
December 12, 2024 02:34 19m 56s
Use ToExpr trait instead of ad-hoc expr functions Lints #2915: Pull request #736 synchronize by matthiasgoergens
December 12, 2024 02:31 18m 29s matthias/to-expr-instances
matthias/to-expr-instances
December 12, 2024 02:31 18m 29s
Use ToExpr trait instead of ad-hoc expr functions Lints #2914: Pull request #736 synchronize by matthiasgoergens
December 12, 2024 02:27 10m 15s matthias/to-expr-instances
matthias/to-expr-instances
December 12, 2024 02:27 10m 15s
Remove unused and untested u128/i128 implementations Lints #2913: Pull request #737 opened by matthiasgoergens
December 12, 2024 02:14 10m 45s matthias/remove.128
matthias/remove.128
December 12, 2024 02:14 10m 45s
Use ToExpr trait instead of ad-hoc expr functions Lints #2912: Pull request #736 opened by matthiasgoergens
December 12, 2024 02:05 7m 23s matthias/to-expr-instances
matthias/to-expr-instances
December 12, 2024 02:05 7m 23s
Introduce Value::as_i32 (#732) Lints #2911: Commit 2cd6a6d pushed by matthiasgoergens
December 12, 2024 02:04 5m 8s master
master
December 12, 2024 02:04 5m 8s
sync-platform: Configure the platform / emulator to match circuits Lints #2910: Pull request #735 synchronize by naure
December 12, 2024 01:59 2m 55s Inversed-Tech:sync-platform
Inversed-Tech:sync-platform
December 12, 2024 01:59 2m 55s
Introduce Value::as_i32 Lints #2909: Pull request #732 synchronize by matthiasgoergens
December 12, 2024 01:43 13m 19s matthias/as_i32
matthias/as_i32
December 12, 2024 01:43 13m 19s
Introduce Value::as_i32 Lints #2908: Pull request #732 synchronize by matthiasgoergens
December 12, 2024 01:40 8m 28s matthias/as_i32
matthias/as_i32
December 12, 2024 01:40 8m 28s
Introduce Value::as_i32 Lints #2907: Pull request #732 synchronize by matthiasgoergens
December 12, 2024 01:40 8m 9s matthias/as_i32
matthias/as_i32
December 12, 2024 01:40 8m 9s
sync-platform: Configure the platform / emulator to match circuits Lints #2906: Pull request #735 opened by naure
December 12, 2024 01:37 3m 1s Inversed-Tech:sync-platform
Inversed-Tech:sync-platform
December 12, 2024 01:37 3m 1s
Feat/Opcode Circuits for DIV, REM, and REMU opcodes Lints #2905: Pull request #596 synchronize by bgillesp
December 11, 2024 17:56 15m 23s Inversed-Tech:bg/div-rem-remu-opcodes
Inversed-Tech:bg/div-rem-remu-opcodes
December 11, 2024 17:56 15m 23s
Feat/Opcode Circuits for DIV, REM, and REMU opcodes Lints #2904: Pull request #596 synchronize by bgillesp
December 11, 2024 17:44 12m 45s Inversed-Tech:bg/div-rem-remu-opcodes
Inversed-Tech:bg/div-rem-remu-opcodes
December 11, 2024 17:44 12m 45s
Ecall demo with Keccak-f Lints #2903: Pull request #717 synchronize by naure
December 11, 2024 17:44 3m 39s Inversed-Tech:ecall-keccak
Inversed-Tech:ecall-keccak
December 11, 2024 17:44 3m 39s
Feat/Opcode Circuits for DIV, REM, and REMU opcodes Lints #2902: Pull request #596 synchronize by bgillesp
December 11, 2024 17:18 4m 53s Inversed-Tech:bg/div-rem-remu-opcodes
Inversed-Tech:bg/div-rem-remu-opcodes
December 11, 2024 17:18 4m 53s
Feat/Opcode Circuits for DIV, REM, and REMU opcodes Lints #2901: Pull request #596 synchronize by bgillesp
December 11, 2024 17:06 9m 59s Inversed-Tech:bg/div-rem-remu-opcodes
Inversed-Tech:bg/div-rem-remu-opcodes
December 11, 2024 17:06 9m 59s
Feat/Opcode Circuits for DIV, REM, and REMU opcodes Lints #2900: Pull request #596 synchronize by bgillesp
December 11, 2024 16:40 3m 27s Inversed-Tech:bg/div-rem-remu-opcodes
Inversed-Tech:bg/div-rem-remu-opcodes
December 11, 2024 16:40 3m 27s
Feat/Opcode Circuits for DIV, REM, and REMU opcodes Lints #2899: Pull request #596 synchronize by bgillesp
December 11, 2024 16:09 11m 37s Inversed-Tech:bg/div-rem-remu-opcodes
Inversed-Tech:bg/div-rem-remu-opcodes
December 11, 2024 16:09 11m 37s