LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Versioning.h File Reference
#include "llzk/Util/DynamicAPIntHelper.h"
#include <mlir/Bytecode/BytecodeImplementation.h>
#include <limits>
Include dependency graph for Versioning.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  llzk::LLZKDialectVersion
struct  llzk::LLZKDialectBytecodeInterface< DialectTy >
 This implements the bytecode interface for the LLZK dialect. More...

Namespaces

namespace  llzk

Functions

void llzk::writeDynamicAPInt (mlir::DialectBytecodeWriter &writer, const llvm::DynamicAPInt &value)
 Write the minimal signed two's-complement encoding of a mathematical integer.
mlir::FailureOr< llvm::DynamicAPInt > llzk::readDynamicAPInt (mlir::DialectBytecodeReader &reader)
 Decode a signed integer, rejecting invalid widths before allocating storage.