Functions — github.com/circify/circ

hub / github.com/circify/circ / functions

Functions2,442 in github.com/circify/circ

⨍ Functions 2,442◇ Types & classes 328

↓ 1,187 callersMethodclone

(&self)

circ_fields/src/lib.rs:357

↓ 506 callersMethodmap

(&self, f: impl FnMut(Term) -> Term)

src/ir/opt/tuple.rs:103

↓ 308 callersMethodpush

Add to the queue. If `t` is already present, it is dropped.

src/util/once.rs:25

↓ 306 callersMethodunwrap

Unwrap result of a computation TODO: Add span for debugging

src/front/c/mod.rs:155

↓ 274 callersMethodcollect

Remove entries with free'd keys.

circ_hc/src/collections/cache.rs:26

↓ 182 callersMethodcs

(&self)

circ_hc/src/rc/template.rs:245

↓ 146 callersMethodinsert

(&mut self, k: &Node, v: T)

circ_hc/src/raw/template.rs:398

↓ 145 callersMethodpop

Remove the oldest element from the queue.

src/util/once.rs:31

↓ 143 callersMethodlen

(self)

src/front/mod.rs:95

↓ 130 callersMethodinto

(self)

circ_fields/src/lib.rs:839

↓ 123 callersMethodop

(&mut self, tt: &TokTree<'src>)

src/ir/term/text/mod.rs:221

↓ 110 callersFunctionterm

(op: Op, cs: Vec<Term>)

src/ir/term/mod.rs:1522

↓ 94 callersMethodunwrap

(&self, r: Result<T, E>, s: &ast::Span)

src/front/zsharpcurly/mod.rs:231

↓ 94 callersMethodunwrap

(&self, r: Result<T, E>, s: &ast::Span)

src/front/zsharp/mod.rs:236

↓ 89 callersMethodget

(&self, idx: usize)

src/front/mod.rs:82

↓ 78 callersMethodlen

The data length of this hasher.

src/ir/opt/mem/ram/hash.rs:73

↓ 74 callersMethodvisit_span

(&mut self, _span: &mut ast::Span<'ast>)

src/front/zsharpcurly/zvisit/zvmut.rs:21

↓ 74 callersMethodvisit_span

(&mut self, _span: &mut ast::Span<'ast>)

src/front/zsharp/zvisit/zvmut.rs:21

↓ 67 callersFunctionparse_term

Parse a term.

src/ir/term/text/mod.rs:878

↓ 59 callersFunctioncheck

Type-check this term, at a surface level. That is, determine its type without a full validity check.

src/ir/term/ty.rs:17

↓ 57 callersFunctionconst_

Make a constant term.

src/ir/term/mod.rs:1516

↓ 48 callersFunctionbv_lit

Make a bit-vector constant term.

src/ir/term/mod.rs:1536

↓ 45 callersMethodreplace

(&mut self, to_ty: Option<Ty>)

src/front/zsharpcurly/zvisit/zconstlitrw.rs:27

↓ 44 callersFunctionbool_lit

Make a bit-vector constant term.

src/ir/term/mod.rs:1544

↓ 43 callersMethodreplace

(&mut self, to_ty: Option<Ty>)

src/front/zsharp/zvisit/zconstlitrw.rs:27

↓ 43 callersMethodvisit_expression

(&mut self, expr: &mut ast::Expression<'ast>)

src/front/zsharpcurly/zvisit/zvmut.rs:277

↓ 42 callersMethodget

(&self, i: usize)

src/ir/opt/tuple.rs:120

↓ 39 callersFunctionbool_lit

Initialize a boolean literal

src/front/datalog/term.rs:70

↓ 39 callersMethodfield

The default field

src/cfg.rs:119

↓ 39 callersMethoduint

Get the unsigned integer.

src/ir/term/bv.rs:200

↓ 37 callersFunctioncfg

Get the configuration

src/cfg.rs:61

↓ 37 callersMethodcontains_key

Check for a key

src/ir/term/map.rs:42

↓ 36 callersMethodextend

(&mut self, iter: T)

src/util/once.rs:58

↓ 36 callersMethodget

Get computation by name

src/ir/term/mod.rs:2304

↓ 35 callersMethodtake

(&mut self)

src/front/zsharp/zvisit/zstmtwalker/zexprtyper.rs:19

↓ 35 callersMethodvisit_expression

(&mut self, expr: &mut ast::Expression<'ast>)

src/front/zsharp/zvisit/zvmut.rs:303

↓ 34 callersFunctionparse_computation

Parse a computation.

src/ir/term/text/mod.rs:931

↓ 32 callersMethodlen

(&self)

circ_hc/src/raw/template.rs:387

↓ 32 callersMethodnew_v

(&self, i: I)

circ_fields/src/lib.rs:139

↓ 31 callersMethodget

(&self, t: &Term)

src/ir/opt/mem/obliv.rs:42

↓ 29 callersMethodnew_var

Create a new [Op::Var].

src/ir/term/mod.rs:417

↓ 29 callersMethodset

(&mut self, idx: usize, val: T)

src/front/mod.rs:85

↓ 29 callersMethodunwrap_term

Unwrap as a language term, panicking otherwise

src/circify/mod.rs:73

↓ 29 callersFunctionvar

Make a variable term.

src/ir/term/mod.rs:1511

↓ 28 callersMethodcir_ctx

Get the circuit generation context

src/circify/mod.rs:446

↓ 28 callersFunctionlog_run_check

(cmd)

driver.py:59

↓ 28 callersMethodvisit_identifier_expression

( &mut self, ie: &mut ast::IdentifierExpression<'ast>, )

src/front/zsharp/zvisit/zvmut.rs:65

↓ 26 callersFunctionparse

Identify combinations of STORE and ITE which are actually CSTORES.

src/ir/opt/cstore.rs:126

↓ 25 callersMethoderr

Unwrap a result with a span-dependent error

src/front/zsharp/mod.rs:229

↓ 25 callersMethodmodulus

(&self)

circ_fields/src/lib.rs:97

↓ 25 callersMethodnext

(&mut self)

src/ir/term/mod.rs:1636

↓ 24 callersMethodas_value_opt

Get the underlying constant value, if possible.

src/ir/term/mod.rs:1301

↓ 24 callersFunctioncterm

(data: CTermData)

src/front/c/term.rs:121

↓ 24 callersFunctionpf_lit

Make a prime-field constant term.

src/ir/term/mod.rs:1531

↓ 24 callersMethodvisit_identifier_expression

( &mut self, ie: &mut ast::IdentifierExpression<'ast>, )

src/front/zsharpcurly/zvisit/zvmut.rs:65

↓ 22 callersMethoddowngrade

(&self)

circ_hc/src/rc/template.rs:251

↓ 22 callersMethodfields

(&self)

src/front/mod.rs:89

↓ 21 callersMethodas_tuple

Unwrap the constituent sorts of this tuple, panicking otherwise.

src/ir/term/mod.rs:904

↓ 21 callersFunctioneq_or

( a: &'a Sort, b: &'a Sort, ctx: &'static str, )

src/ir/term/ty.rs:665

↓ 21 callersFunctionserialize_term

Serialize a term as a parseable string

src/ir/term/text/mod.rs:885

↓ 20 callersFunctionparse_value_map

Parse an IR "value map": a map from strings to values. A serliazed IR map is a subset of serialized IR terms. It must have let-bindings for each map

src/ir/term/text/mod.rs:899

↓ 20 callersFunctionsafe_nary

(op: Op, mut children: Vec<Term>)

src/ir/opt/cfold.rs:700

↓ 20 callersMethodtake

(&mut self)

src/front/zsharpcurly/zvisit/zstmtwalker/zexprtyper.rs:19

↓ 20 callersMethodterms_postorder

An iterator that visits each term in the computation, once.

src/ir/term/mod.rs:2168

↓ 20 callersMethodunify_expression

( &self, ty: ast::Type<'ast>, expr: &mut ast::Expression<'ast>, )

src/front/zsharpcurly/zvisit/zstmtwalker/mod.rs:71

↓ 19 callersMethodas_pf

Unwrap the modulus of this prime field, panicking otherwise.

src/ir/term/mod.rs:889

↓ 19 callersMethoderr

Unwrap a result with a span-dependent error

src/front/zsharpcurly/mod.rs:224

↓ 18 callersMethodas_bv

Unwrap the bitsize of this bit-vector, panicking otherwise.

src/ir/term/mod.rs:874

↓ 18 callersMethodget

(&self, k: &Node)

circ_hc/src/raw/template.rs:392

↓ 18 callersMethodsort

(&mut self, tt: &TokTree)

src/ir/term/text/mod.rs:355

↓ 18 callersMethodvalues

All values

src/ir/term/mod.rs:787

↓ 17 callersMethodas_array

Unwrap the constituent sorts of this array, panicking otherwise.

src/ir/term/mod.rs:919

↓ 17 callersMethodas_sint

Get the two's complement signed integer.

src/ir/term/bv.rs:192

↓ 17 callersMethodfqn

Get a (fully qualified) name in this space

src/util/ns.rs:23

↓ 17 callersMethodunify_expression

( &self, ty: ast::Type<'ast>, expr: &mut ast::Expression<'ast>, )

src/front/zsharp/zvisit/zstmtwalker/mod.rs:71

↓ 17 callersMethodvisit_expression

(&mut self, expr: &mut ast::Expression<'ast>)

src/front/zsharpcurly/zvisit/zstmtwalker/zexprtyper.rs:68

↓ 16 callersMethodclone

(&self)

circ_hc/src/raw/template.rs:205

↓ 16 callersFunctionmake_array

Make an array from a sequence of terms. Requires a key sort, as all arrays do. This sort must be iterable (i.e., bool, int, bit-vector, or field). a

src/ir/term/mod.rs:1467

↓ 16 callersMethodsearch

(&self, key: &str)

src/front/mod.rs:75

↓ 16 callersMethodtype_

(&self)

src/front/c/term.rs:21

↓ 16 callersMethodvisit_expression

(&mut self, expr: &mut ast::Expression<'ast>)

src/front/zsharp/zvisit/zstmtwalker/zexprtyper.rs:63

↓ 15 callersFunctionbv_or

(a: &'a Sort, ctx: &'static str)

src/ir/term/ty.rs:587

↓ 15 callersFunctioneval

Recursively evaluate the term `t`, using variable values in `h`.

src/ir/term/eval.rs:45

↓ 15 callersMethodi

(&self)

circ_fields/src/lib.rs:531

↓ 15 callersMethodusize

(&self, tt: &TokTree)

src/ir/term/text/mod.rs:416

↓ 14 callersMethodelems_iter

(&self)

src/ir/term/mod.rs:981

↓ 14 callersMethodwidth

Get the number of bits.

src/ir/term/bv.rs:204

↓ 13 callersMethodas_bool

Get the underlying boolean constant, or panic!

src/ir/term/mod.rs:1356

↓ 13 callersFunctioncast

(to_ty: Option<Ty>, t: CTerm)

src/front/c/term.rs:152

↓ 13 callersMethodcheck

Check that the integer value fits in the number of bits

src/ir/term/bv.rs:133

↓ 13 callersFunctionelim_obliv

Eliminate oblivious arrays. See module documentation.

src/ir/opt/mem/obliv.rs:212

↓ 13 callersMethodflatten

(&self)

src/ir/opt/tuple.rs:77

↓ 13 callersMethodis_full

(&self)

circ_fields/src/lib.rs:333

↓ 13 callersFunctiontest_on_data

(data: Vec<usize>)

circ_waksman/src/lib.rs:275

↓ 13 callersMethodvisit_type

(&mut self, ty: &mut ast::Type<'ast>)

src/front/zsharp/zvisit/zvmut.rs:142

↓ 12 callersFunctioncbool

Create a constant boolean

src/ir/opt/cfold.rs:44

↓ 12 callersMethodnum_bits

(&self)

src/front/c/types.rs:186

↓ 12 callersMethodsubspace

Get a subspace

src/util/ns.rs:19

↓ 11 callersMethodas_bv_opt

Get the underlying bit-vector constant, if possible.

src/ir/term/mod.rs:1257

↓ 11 callersMethoddefault_value

Compute the default value for this sort. booleans: false bit-vectors: zero field elements: zero floats: zero tuples/arrays: recursively default

src/ir/term/mod.rs:1043

next →1–100 of 2,442, ranked by callers