Skip to content

Actions: project-llzk/llzk-lib

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
218 workflow runs
218 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement CallOpInterface for LLZK symbol lookups and fix up analyses accordingly Release #170: Pull request #307 closed by iangneal
2s iangneal/analysis-tests
iangneal/analysis-tests
2s
Update docs, add maintainers doc with release info Release #169: Pull request #315 closed by tim-hoffman
1s iangneal/release-process
iangneal/release-process
1s
ensure pre-defined fields are not re-defined Release #168: Pull request #318 closed by tim-hoffman
1s th/fix_field_spec_conflict
th/fix_field_spec_conflict
1s
Add llzk.fields attribute Release #167: Pull request #301 closed by tim-hoffman
1s iangneal/prime-field-attr
iangneal/prime-field-attr
1s
Fix some flattening pass errors Release #166: Pull request #306 closed by 0xddom
1s dani/fix-303
dani/fix-303
1s
remove remaining uses of "Signal" Release #165: Pull request #302 closed by iangneal
1s th/cleanup_signal_comments
th/cleanup_signal_comments
1s
265 fuse computeconstrain loops in product program when possible Release #164: Pull request #277 closed by raghav198
1s 265-fuse-computeconstrain-loops-in-product-program-when-possible
265-fuse-computeconstrain-loops-in-product-program-when-possible
1s
add test to ensure CAPI can be consumed by pure C code Release #163: Pull request #298 closed by tim-hoffman
1s th/test_C_build
th/test_C_build
1s
Change veridise.lang -> llzk.lang Release #162: Pull request #299 closed by iangneal
1s iangneal/change-lang-attr
iangneal/change-lang-attr
1s
Feature/renaming merge Release #161: Pull request #243 closed by iangneal
1s feature/renaming
feature/renaming
1s
Added extensions Release #160: Pull request #293 closed by raghav198
1s raghav/dialect-inliner-interfaces
raghav/dialect-inliner-interfaces
1s
Specify main via attribute instead of reserved name Release #159: Pull request #295 closed by tim-hoffman
Skipped th/specify_main_via_attr
th/specify_main_via_attr
Skipped
Make ComputeConstrainToProduct pass available on-demand Release #158: Pull request #292 closed by raghav198
1s raghav/291-compute-constrain-on-demand
raghav/291-compute-constrain-on-demand
1s
Add unit test for pod CAPI llzkPodTypeGetRecords Release #157: Pull request #290 closed by tim-hoffman
Skipped th/pod_unit_test
th/pod_unit_test
Skipped
Fix pod read write name attr kind Release #156: Pull request #289 closed by tim-hoffman
1s th/fix_pod_read_write
th/fix_pod_read_write
1s
Replace "witness only" with "non native felt op" attribute on felt arith ops Release #155: Pull request #288 closed by tim-hoffman
1s th/non_native_felt_attr
th/non_native_felt_attr
1s
Remove felt.bitnot in favor of older felt.bit_not Release #154: Pull request #287 closed by tim-hoffman
1s iangneal/remove-redundant-op
iangneal/remove-redundant-op
1s
fix: remove C++ include from C header Release #153: Pull request #285 closed by tim-hoffman
1s th/remove_invalid_header
th/remove_invalid_header
1s
Fix IntervalAnalysis arith.constant issue with i1 values Release #152: Pull request #284 closed by iangneal
1s iangneal/interval_analysis_const_bool_fix
iangneal/interval_analysis_const_bool_fix
1s
Revert arbitrary integer support, add new integer operations for felt types Release #151: Pull request #282 closed by iangneal
2s iangneal/int-ops
iangneal/int-ops
2s
POD structs dialect Release #150: Pull request #272 closed by tim-hoffman
1s dani/pod-structs
dani/pod-structs
1s
Make python script executable Release #149: Pull request #279 closed by tim-hoffman
1s th/script_exec_flag
th/script_exec_flag
1s
Relax restrictions on bool operators Release #148: Pull request #276 closed by tim-hoffman
1s th/relax_bool_op_restrictions
th/relax_bool_op_restrictions
1s
Refactor affine map operands handling Release #147: Pull request #271 closed by 0xddom
1s dani/unified-mapops-capi
dani/unified-mapops-capi
1s
Fix MapOperandsHelper SmallVector allocation Release #146: Pull request #270 closed by iangneal
1s iangnaal/fix-map-operands-helper
iangnaal/fix-map-operands-helper
1s