Skip to content

Actions: scroll-tech/ceno

Actions

Lints

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Feat/Opcode Circuits for DIV, REM, and REMU opcodes Lints #2898: Pull request #596 synchronize by bgillesp
December 11, 2024 16:06 10m 21s Inversed-Tech:bg/div-rem-remu-opcodes
Inversed-Tech:bg/div-rem-remu-opcodes
December 11, 2024 16:06 10m 21s
Refactor row major matrix Lints #2897: Pull request #624 synchronize by mcalancea
December 11, 2024 15:47 10m 12s cleanup/safe-row-major-matrix-variant
cleanup/safe-row-major-matrix-variant
December 11, 2024 15:47 10m 12s
Ecall demo with Keccak-f Lints #2896: Pull request #717 synchronize by naure
December 11, 2024 11:00 4m 45s Inversed-Tech:ecall-keccak
Inversed-Tech:ecall-keccak
December 11, 2024 11:00 4m 45s
Ecall demo with Keccak-f Lints #2895: Pull request #717 synchronize by naure
December 11, 2024 09:20 10m 0s Inversed-Tech:ecall-keccak
Inversed-Tech:ecall-keccak
December 11, 2024 09:20 10m 0s
Simple diff for 'Feat/Opcode Circuits for DIV, REM, and REMU opcodes' Lints #2894: Pull request #734 synchronize by matthiasgoergens
December 11, 2024 03:11 35s matthias/bg/div-rem-remu-opcodes
matthias/bg/div-rem-remu-opcodes
December 11, 2024 03:11 35s
Simple diff for 'Feat/Opcode Circuits for DIV, REM, and REMU opcodes' Lints #2893: Pull request #734 synchronize by matthiasgoergens
December 11, 2024 03:10 36s matthias/bg/div-rem-remu-opcodes
matthias/bg/div-rem-remu-opcodes
December 11, 2024 03:10 36s
Simple diff for 'Feat/Opcode Circuits for DIV, REM, and REMU opcodes' Lints #2892: Pull request #734 synchronize by matthiasgoergens
December 11, 2024 03:10 36s matthias/bg/div-rem-remu-opcodes
matthias/bg/div-rem-remu-opcodes
December 11, 2024 03:10 36s
Rename mod divu to mod div (#733) Lints #2891: Commit a879b84 pushed by kunxian-xia
December 11, 2024 02:25 36s master
master
December 11, 2024 02:25 36s