stelliferous@0.0.3.0
Files (142)
- checkpoint_pickle.bend
- checkpoint_zip.bend
- default_kernel_cost.bend
- default_machine_limits.bend
- kernel_band_pipeline.bend
- kernel_band_planning.bend
- kernel_block.bend
- kernel_cost.bend
- kernel_gemm.bend
- kernel_gemm_buffer.bend
- kernel_input_gradient.bend
- kernel_packing_buffer.bend
- kernel_packing_samples.bend
- kernel_parameter_gradient.bend
- kernel_parameter_gradient_buffer.bend
- kernel_pipeline.bend
- kernel_planning.bend
- kernel_rows.bend
- kernel_shape.bend
- kernel_spatial_packing.bend
- kernel_strided_store.bend
- kernel_tile.bend
- kernel_weight_gradient.bend
- kernel_weights.bend
- kernel_window.bend
- machine_limits.bend
- math_activation.bend
- math_activation_lanes.bend
- math_checked_word.bend
- math_compare.bend
- math_fp32.bend
- math_gelu_lanes.bend
- math_sequence.bend
- math_sum.bend
- ordered_matrix.bend
- proofs/binary_digit.bend
- proofs/binary_division.bend
- proofs/boolean_logic.bend
- proofs/bounded_u32_arithmetic.bend
- proofs/grouped_source_witness.bend
- proofs/kernel_gemm_certificate.bend
- proofs/kernel_packing_certificate.bend
- proofs/kernel_packing_read_witness.bend
- proofs/kernel_packing_witness.bend
- proofs/kernel_read_witness.bend
- proofs/kernel_strided_store_certificate.bend
- proofs/kernel_tile_refinement.bend
- proofs/kernel_tile_witness.bend
- proofs/kernel_weights_certificate.bend
- proofs/kernel_weights_witness.bend
- proofs/list_storage_readback.bend
- proofs/loop_projection.bend
- proofs/math_gelu_lanes_certificate.bend
- proofs/nat_division.bend
- proofs/nat_division_order.bend
- proofs/nat_interval.bend
- proofs/nat_order.bend
- proofs/nat_to_u32_bounds.bend
- proofs/natural_addition.bend
- proofs/ordered_ranges.bend
- proofs/paired_read_refinement.bend
- proofs/parameter_gradient_certificate.bend
- proofs/parameter_gradient_source_witness.bend
- proofs/row_major_index.bend
- proofs/sequence_membership.bend
- proofs/storage_address_bounds.bend
- proofs/storage_allocation_refinement.bend
- proofs/storage_buffer_model.bend
- proofs/storage_certificate.bend
- proofs/storage_clone_certificate.bend
- proofs/storage_readback.bend
- proofs/storage_refinement.bend
- proofs/storage_shape.bend
- proofs/storage_tree_model.bend
- proofs/storage_witness.bend
- proofs/tensor_access_certificate.bend
- proofs/tensor_cursor_witness.bend
- proofs/tensor_indexed_certificate.bend
- proofs/traversal_array_refinement.bend
- proofs/traversal_batch_refinement.bend
- proofs/traversal_cells_refinement.bend
- proofs/traversal_certificate.bend
- proofs/traversal_lanes_certificate.bend
- proofs/traversal_lanes_refinement.bend
- proofs/traversal_lanes_witness.bend
- proofs/traversal_map_readback.bend
- proofs/traversal_visit_witness.bend
- proofs/traversal_witness.bend
- proofs/u32_comparison.bend
- proofs/u32_division.bend
- proofs/u32_full_range.bend
- proofs/u32_shift.bend
- proofs/u32_successor.bend
- proofs/word_arithmetic.bend
- proofs/word_encoding.bend
- proofs/word_multiplication.bend
- proofs/word_power_of_two.bend
- proofs/word_subtraction.bend
- proofs/word_width.bend
- storage_allocation.bend
- storage_buffer.bend
- storage_bytes.bend
- storage_clone.bend
- storage_copy.bend
- storage_element_format.bend
- tensor.bend
- tensor_access.bend
- tensor_band.bend
- tensor_band_concat.bend
- tensor_band_pool.bend
- tensor_band_reduce.bend
- tensor_band_schedule.bend
- tensor_band_view.bend
- tensor_band_window.bend
- tensor_batch_norm.bend
- tensor_checkpoint.bend
- tensor_convolution.bend
- tensor_convolution_gradient.bend
- tensor_cursor.bend
- tensor_f32.bend
- tensor_file.bend
- tensor_gelu.bend
- tensor_indexed.bend
- tensor_lanes.bend
- tensor_layer.bend
- tensor_layout.bend
- tensor_loss.bend
- tensor_model.bend
- tensor_operations.bend
- tensor_optimizer.bend
- tensor_parameter_gradient.bend
- tensor_select.bend
- tensor_shape.bend
- tensor_training.bend
- tensor_view.bend
- tensor_window.bend
- traversal_array.bend
- traversal_cells.bend
- traversal_grouped.bend
- traversal_lanes.bend
- traversal_loop.bend
- traversal_partition.bend