Skip to main content

Ctrl+K

tvm-tirx

Get Started

Quick Start

IR Guides

IR Overview
Types and Expressions
Statements
Operators, Calls, and Regions
Functions and Modules
Printing and Parsing
Structural Traversal, Rewriting, and Comparison
Symbolic Integer Analysis
Working with IR in C++
Working with IR in Rust

Programming Guides

Programming Overview
CUDA Functions and Launches
Control Flow
Types, Tensors, and Memory
Metaprogramming
CUDA and PTX Interfaces
Data Layout
Tile Operations
Compiling and Inspecting
Profiling with IKET

Extending TIRx: everything is a plugin

Getting Started with Rust Extensions
Defining Types, Operators, and Passes
Using and Compiling the Extension

API Reference

Python API
C++ API
Rust API

Developer Manual

Build from Source
Build This Doc Site
CUDA Backend Development
Reproduce CI/CD
Release Process

.rst

tvm_tirx.sym.ProofStrength

Contents

ProofStrength
- ProofStrength.DEFAULT
- ProofStrength.SYMBOLIC_BOUND

tvm_tirx.sym.ProofStrength#

class tvm_tirx.sym.ProofStrength(*values)#

Bases: IntEnum

Proof strength of the analysis

DEFAULT = 0#

SYMBOLIC_BOUND = 1#

previous

tvm_tirx.sym.Analyzer

next

tvm_tirx.sym.CompareResult

Contents

ProofStrength
- ProofStrength.DEFAULT
- ProofStrength.SYMBOLIC_BOUND

By Apache TVM Community