Types & classes — github.com/circify/circ

CodeHub MCPcopy Create free account

hub / github.com/circify/circ / types & classes

Types & classes328 in github.com/circify/circ

⨍ Functions 2,442◇ Types & classes 328

↓ 95 callersClassBitVector

A bit-vector constant

src/ir/term/bv.rs:11

↓ 70 callersClassArray

An IR array value. A sized, space array.

src/ir/term/mod.rs:692

↓ 59 callersClassZVisitorError

src/front/zsharpcurly/zvisit/mod.rs:18

↓ 56 callersClassZVisitorError

src/front/zsharp/zvisit/mod.rs:18

↓ 24 callersEnumBvBinPred

Bit-vector binary predicate

src/ir/term/mod.rs:475

↓ 14 callersEnumBoolNaryOp

Boolean n-ary operator

src/ir/term/mod.rs:447

↓ 13 callersClassIntField

circ_fields/src/int_field.rs:16

↓ 12 callersEnumBvBinOp

Bit-vector binary operator

src/ir/term/mod.rs:458

↓ 12 callersClassInlineFieldV

circ_fields/src/lib.rs:258

↓ 10 callersEnumBvNaryOp

Bit-vector n-ary operator

src/ir/term/mod.rs:497

↓ 8 callersClassId

circ_hc/src/lib.rs:96

↓ 7 callersEnumFpBinOp

Floating-point binary operator

src/ir/term/mod.rs:521

↓ 7 callersEnumFpUnPred

Floating-point unary predicate

src/ir/term/mod.rs:568

↓ 5 callersEnumFpBinPred

Floating-point binary predicate

src/ir/term/mod.rs:553

↓ 5 callersClassMap

An IR map value.

src/ir/term/map.rs:7

↓ 4 callersEnumBvUnOp

Bit-vector unary operator

src/ir/term/mod.rs:512

↓ 4 callersEnumFpUnOp

Floating-point unary operator

src/ir/term/mod.rs:540

↓ 4 callersEnumIntBinPred

Integer binary predicate. See [Op::Eq] for equality.

src/ir/term/mod.rs:634

↓ 4 callersEnumPfNaryOp

Finite field n-ary operator

src/ir/term/mod.rs:587

↓ 4 callersEnumPfUnOp

Finite field n-ary operator

src/ir/term/mod.rs:596

↓ 3 callersEnumLiteral

src/front/datalog/parser.rs:69

↓ 3 callersClassPrivate

src/front/datalog/parser.rs:435

↓ 3 callersClassPureBoolDist

A distribution of boolean terms with some size. All subterms are booleans.

src/ir/term/dist.rs:11

↓ 3 callersClassSum

A distribution of n usizes that sum to this value. (n, sum)

src/ir/term/dist.rs:15

↓ 3 callersClassUniformValue

src/ir/term/dist.rs:276

↓ 3 callersClassValueTupleTree

src/ir/opt/tuple.rs:165

↓ 3 callersClassVar

src/ir/term/mod.rs:213

↓ 3 callersClassWeak

circ_hc/src/rc/template.rs:276

↓ 2 callersClassArbitraryBoolEnv

A purely boolean term and an environment in which it can be evaluated.

src/ir/term/dist.rs:396

↓ 2 callersClassArbitraryTermEnv

A term and an environment in which it can be evaluated.

src/ir/term/dist.rs:433

↓ 2 callersEnumExtOp

An extension operator. Not externally supported. Often evaluatable, but not compilable.

src/ir/term/ext.rs:20

↓ 2 callersClassHexLiteral

src/front/datalog/parser.rs:51

↓ 2 callersEnumIntNaryOp

Integer n-ary operator

src/ir/term/mod.rs:605

↓ 2 callersClassNamespace

src/util/ns.rs:11

↓ 2 callersClassNodeValuePtr

circ_hc/src/raw/example_u8.rs:64

↓ 2 callersClassNodeValuePtr

circ_hc/src/raw/template.rs:64

↓ 2 callersClassPureBool

A random term with only Boolean descendents and values for its variables.

src/ir/term/dist.rs:330

↓ 1 callersClassAccess

An access to a RAM ## Field ordering

src/ir/opt/mem/ram.rs:28

↓ 1 callersClassArbitraryTerm

A random term and values for its variables.

src/ir/term/dist.rs:362

↓ 1 callersClassBoolPair

src/circify/mod.rs:950

↓ 1 callersClassCache

src/ir/opt/binarize.rs:7

↓ 1 callersClassCache

src/ir/opt/flat.rs:51

↓ 1 callersClassCircify

Manager for circuit-embedded state.

src/circify/mod.rs:380

↓ 1 callersClassFail

scripts/file_test.py:43

↓ 1 callersClassFieldV

circ_fields/src/lib.rs:170

↓ 1 callersClassFnCallImplInput

src/front/zsharpcurly/mod.rs:134

↓ 1 callersClassFnCallImplInput

src/front/zsharp/mod.rs:134

↓ 1 callersClassNodeListShallowDebug

circ_hc/src/rc/example_u8.rs:24

↓ 1 callersClassNodeListShallowDebug

circ_hc/src/rc/template.rs:24

↓ 1 callersClassNodeShallowDebug

circ_hc/src/rc/example_u8.rs:34

↓ 1 callersClassNodeShallowDebug

circ_hc/src/rc/template.rs:34

↓ 1 callersClassPass

src/ir/opt/chall.rs:243

↓ 1 callersClassPass

scripts/file_test.py:51

↓ 1 callersClassSkipped

scripts/file_test.py:38

↓ 1 callersClassTableDebug

circ_hc/src/rc/example_u8.rs:122

↓ 1 callersClassTableDebug

circ_hc/src/rc/template.rs:122

↓ 1 callersClassTestConfig

scripts/file_test.py:28

↓ 1 callersClassUniformBitVector

src/ir/term/dist.rs:255

↓ 1 callersClassUniformFieldV

src/ir/term/dist.rs:268

↓ 1 callersClassWeak

circ_hc/src/raw/example_u8.rs:242

↓ 1 callersClassWeak

circ_hc/src/raw/template.rs:242

↓ 1 callersClassWitPass

src/ir/opt/chall.rs:41

Contains access configuration (field & whether a create flag is present) as well as cached terms.

src/ir/opt/mem/ram.rs:65

ClassAccessExpression

src/front/datalog/parser.rs:190

ClassActualNode

circ_hc/src/hashconsing/example_u8.rs:11

ClassActualNode

circ_hc/src/hashconsing/template.rs:12

src/circify/mem.rs:9

ClassArgDeclaration

src/front/datalog/parser.rs:487

ClassArrayGraph

src/ir/opt/mem/ram/volatile.rs:30

src/ir/term/mod.rs:251

EnumArrayParamMetadata

src/front/zsharp/mod.rs:180

src/ir/term/mod.rs:853

InterfaceAttributeGc

circ_hc/src/raw/example_u8.rs:358

InterfaceAttributeGc

circ_hc/src/raw/template.rs:358

ClassAttributeTable

circ_hc/src/raw/example_u8.rs:349

ClassAttributeTable

circ_hc/src/raw/template.rs:349

ClassAttributeTableInner

should not be moved

circ_hc/src/raw/example_u8.rs:354

ClassAttributeTableInner

should not be moved

circ_hc/src/raw/template.rs:354

examples/circ.rs:95

src/front/datalog/parser.rs:399

ClassBinLiteral

src/front/datalog/parser.rs:60

scripts/file_test.py:56

ClassBinaryExpression

src/front/datalog/parser.rs:198

EnumBinaryOperator

src/front/datalog/parser.rs:115

circ_opt/src/lib.rs:426

circ_opt/examples/parser.rs:5

src/front/datalog/parser.rs:103

ClassBooleanLiteral

src/front/datalog/parser.rs:42

EnumBoundaryConditions

src/ir/opt/mem/ram.rs:475

EnumBuiltinField

Which field to use

circ_opt/src/lib.rs:157

The C front-end. Implements [FrontEnd].

src/front/c/mod.rs:43

src/front/c/mod.rs:96

src/front/c/mod.rs:80

circ_opt/src/lib.rs:407

src/front/c/parser.rs:7

src/front/c/term.rs:105

src/front/c/term.rs:12

ClassCVisitorError

src/front/c/cvisit/mod.rs:7

InterfaceCVisitorMut

src/front/c/cvisit/cvmut.rs:9

ClassCallExpression

src/front/datalog/parser.rs:181

next →1–100 of 328, ranked by callers