stelliferous@0.0.2.0
Files (108)
- default_kernel_cost.bend2 definitions
- default_machine_limits.bend2 definitions
- kernel_band_pipeline.bend14 definitions
- kernel_band_planning.bend30 definitions
- kernel_block.bend6 definitions
- kernel_cost.bend3 definitions
- kernel_gather.bend6 definitions
- kernel_gather_buffer.bend1 definition
- kernel_gemm.bend30 definitions
- kernel_gemm_buffer.bend5 definitions
- kernel_packing_buffer.bend2 definitions
- kernel_packing_samples.bend9 definitions
- kernel_pipeline.bend36 definitions
- kernel_planning.bend38 definitions
- kernel_rows.bend8 definitions
- kernel_shape.bend7 definitions
- kernel_spatial_packing.bend33 definitions
- kernel_tile.bend19 definitions
- kernel_weights.bend15 definitions
- kernel_window.bend9 definitions
- machine_limits.bend13 definitions
- math_activation.bend27 definitions
- math_checked_word.bend9 definitions
- math_compare.bend28 definitions
- math_fp32.bend31 definitions
- math_sequence.bend9 definitions
- proofs/binary_digit.bend1 definition
- proofs/binary_division.bend21 definitions
- proofs/boolean_logic.bend13 definitions
- proofs/bounded_u32_arithmetic.bend17 definitions
- proofs/kernel_gather_certificate.bend6 definitions
- proofs/kernel_gemm_certificate.bend22 definitions
- proofs/kernel_packing_certificate.bend2 definitions
- proofs/kernel_packing_read_witness.bend13 definitions
- proofs/kernel_packing_witness.bend30 definitions
- proofs/kernel_read_witness.bend6 definitions
- proofs/kernel_tile_witness.bend7 definitions
- proofs/kernel_weights_certificate.bend8 definitions
- proofs/kernel_weights_witness.bend10 definitions
- proofs/loop_projection.bend12 definitions
- proofs/nat_division.bend11 definitions
- proofs/nat_extrema.bend18 definitions
- proofs/nat_interval.bend5 definitions
- proofs/nat_order.bend46 definitions
- proofs/nat_to_u32_bounds.bend9 definitions
- proofs/natural_addition.bend5 definitions
- proofs/storage_address_bounds.bend18 definitions
- proofs/storage_allocation_refinement.bend4 definitions
- proofs/storage_buffer_model.bend31 definitions
- proofs/storage_certificate.bend17 definitions
- proofs/storage_clone_certificate.bend2 definitions
- proofs/storage_readback.bend14 definitions
- proofs/storage_refinement.bend39 definitions
- proofs/storage_shape.bend13 definitions
- proofs/storage_tree_model.bend11 definitions
- proofs/storage_witness.bend26 definitions
- proofs/tensor_access_certificate.bend43 definitions
- proofs/tensor_cursor_witness.bend4 definitions
- proofs/tensor_indexed_certificate.bend12 definitions
- proofs/traversal_array_refinement.bend24 definitions
- proofs/traversal_batch_refinement.bend7 definitions
- proofs/traversal_cells_refinement.bend8 definitions
- proofs/traversal_certificate.bend9 definitions
- proofs/traversal_lanes_certificate.bend7 definitions
- proofs/traversal_lanes_refinement.bend21 definitions
- proofs/traversal_lanes_witness.bend12 definitions
- proofs/traversal_map_readback.bend14 definitions
- proofs/traversal_visit_witness.bend12 definitions
- proofs/traversal_witness.bend30 definitions
- proofs/u32_comparison.bend8 definitions
- proofs/u32_division.bend20 definitions
- proofs/u32_shift.bend13 definitions
- proofs/u32_successor.bend11 definitions
- proofs/word_arithmetic.bend10 definitions
- proofs/word_encoding.bend24 definitions
- proofs/word_multiplication.bend13 definitions
- proofs/word_power_of_two.bend24 definitions
- proofs/word_subtraction.bend6 definitions
- proofs/word_width.bend2 definitions
- storage_allocation.bend5 definitions
- storage_buffer.bend15 definitions
- storage_clone.bend2 definitions
- storage_copy.bend1 definition
- tensor.bend99 definitions
- tensor_access.bend30 definitions
- tensor_band.bend77 definitions
- tensor_band_concat.bend31 definitions
- tensor_band_pool.bend10 definitions
- tensor_band_schedule.bend15 definitions
- tensor_band_window.bend20 definitions
- tensor_convolution.bend53 definitions
- tensor_cursor.bend29 definitions
- tensor_f32.bend102 definitions
- tensor_file.bend79 definitions
- tensor_indexed.bend14 definitions
- tensor_lanes.bend26 definitions
- tensor_layout.bend81 definitions
- tensor_model.bend32 definitions
- tensor_operations.bend36 definitions
- tensor_select.bend15 definitions
- tensor_shape.bend20 definitions
- tensor_view.bend45 definitions
- tensor_window.bend16 definitions
- traversal_array.bend42 definitions
- traversal_cells.bend6 definitions
- traversal_lanes.bend17 definitions
- traversal_loop.bend2 definitions
- traversal_partition.bend3 definitions