Skip to content

Actions: starkware-libs/stwo-cairo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
943 workflow runs
943 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ohadn/from felt252 array
Cairo workflow #1162: Pull request #156 opened by ohad-nir-starkware
November 7, 2024 18:37 2m 6s ohadn/from_felt252_array
November 7, 2024 18:37 2m 6s
add bool ops and change biguint supported types
Cairo workflow #1160: Pull request #150 synchronize by anatgstarkware
November 6, 2024 18:50 2m 11s anatg/prover_types/bool
November 6, 2024 18:50 2m 11s
Used before introduced bug
Cairo workflow #1159: Pull request #154 opened by andrewmilson
November 6, 2024 03:16 2m 13s 11-05-Used_before_introduced_bug
November 6, 2024 03:16 2m 13s
Add more proofs for testing
Cairo workflow #1158: Pull request #141 synchronize by andrewmilson
November 6, 2024 03:16 2m 10s 10-28-Add_more_proofs_for_testing
November 6, 2024 03:16 2m 10s
Optimize polynomial folding
Cairo workflow #1157: Pull request #138 synchronize by andrewmilson
November 6, 2024 03:16 2m 13s 10-27-Optimize_polynomial_folding
November 6, 2024 03:16 2m 13s
Implement batch_inverse on M31,CM31
Cairo workflow #1156: Pull request #137 synchronize by andrewmilson
November 6, 2024 03:16 2m 16s 10-24-Implement_batch_inverse_on_M31_CM31
November 6, 2024 03:16 2m 16s
Optimize Coset::at
Cairo workflow #1155: Pull request #135 synchronize by andrewmilson
November 6, 2024 03:15 2m 15s 10-23-Optimize_Coset_at
November 6, 2024 03:15 2m 15s
Add README for cairo verifier
Cairo workflow #1153: Pull request #153 synchronize by andrewmilson
November 5, 2024 01:21 2m 14s 11-04-Add_README_for_cairo_verifier
November 5, 2024 01:21 2m 14s
Add README for cairo verifier
Cairo workflow #1150: Pull request #153 opened by andrewmilson
November 5, 2024 01:18 2m 8s 11-04-Add_README_for_cairo_verifier
November 5, 2024 01:18 2m 8s
Add README to run verifier tests
Cairo workflow #1149: Pull request #152 synchronize by andrewmilson
November 5, 2024 01:02 2m 5s 11-04-Add_README_to_run_verifier_tests
November 5, 2024 01:02 2m 5s
Optimize decommiting last FRI layer using univariate FFT
Cairo workflow #1148: Pull request #133 synchronize by andrewmilson
November 5, 2024 01:02 2m 4s 10-22-Optimizations
November 5, 2024 01:02 2m 4s
Add verifier
Cairo workflow #1147: Pull request #127 synchronize by andrewmilson
November 5, 2024 01:02 2m 4s 10-20-Add_verifier
November 5, 2024 01:02 2m 4s
Optimize decommiting last FRI layer using univariate FFT
Cairo workflow #1146: Pull request #133 synchronize by andrewmilson
November 5, 2024 01:01 1m 51s 10-22-Optimizations
November 5, 2024 01:01 1m 51s
Add README to run verifier tests
Cairo workflow #1145: Pull request #152 synchronize by andrewmilson
November 5, 2024 01:00 1m 47s 11-04-Add_README_to_run_verifier_tests
November 5, 2024 01:00 1m 47s
Add README to run verifier tests
Cairo workflow #1144: Pull request #152 opened by andrewmilson
November 5, 2024 00:58 1m 45s 11-04-Add_README_to_run_verifier_tests
November 5, 2024 00:58 1m 45s
Optimize decommiting last FRI layer using univariate FFT
Cairo workflow #1143: Pull request #133 synchronize by andrewmilson
November 5, 2024 00:58 1m 49s 10-22-Optimizations
November 5, 2024 00:58 1m 49s
made components implement our interfaces
Cairo workflow #1142: Pull request #149 edited by ohad-starkware
November 4, 2024 08:00 2m 5s ohad/interface_sync
November 4, 2024 08:00 2m 5s
add bool ops and change biguint supported types
Cairo workflow #1141: Pull request #150 edited by shaharsamocha7
November 3, 2024 12:13 2m 9s anatg/prover_types/bool
November 3, 2024 12:13 2m 9s
Implement trailing zeros
Cairo workflow #1140: Pull request #123 edited by atgrosso
October 31, 2024 15:55 2m 9s atgrosso:10-14-todo_implement_trailing_zeros
October 31, 2024 15:55 2m 9s
Implement trailing zeros
Cairo workflow #1139: Pull request #123 edited by atgrosso
October 31, 2024 15:54 2m 10s atgrosso:10-14-todo_implement_trailing_zeros
October 31, 2024 15:54 2m 10s