Functions — github.com/circify/circ

hub / github.com/circify/circ / functions

Functions2,442 in github.com/circify/circ

⨍ Functions 2,442◇ Types & classes 328

↓ 11 callersMethodfor_each

(mut f: impl FnMut(&TemplateOp, &[Self::Node]))

circ_hc/src/rc/template.rs:72

↓ 11 callersMethodgen_expr

(&mut self, expr: &Expression)

src/front/c/mod.rs:725

↓ 11 callersFunctionmemcpy

examples/C/mpc/benchmarks/mnist/2pc_mnist.c:3

↓ 11 callersMethodoutputs

Get the outputs of the computation. For proof systems, these are the assertions that must hold.

src/ir/term/mod.rs:2152

↓ 11 callersFunctionpf_or

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

src/ir/term/ty.rs:651

↓ 11 callersFunctionset

Set the CirC configuration from a [CircOpt]. If you want to build the CirC configuration [CircCfg] object yourself, you can set it with [set_cfg]. [

src/cfg.rs:38

↓ 11 callersMethodty

Returns (ty, public)

src/front/datalog/mod.rs:91

↓ 11 callersMethodvisit_type

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

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

↓ 10 callersFunctioncount_or_ref

( sorts: &'a [&'a Sort], )

src/ir/term/ty.rs:696

↓ 10 callersMethodsort

Compute the sort of this value

src/ir/term/mod.rs:1332

↓ 10 callersMethodtype_

(&self, t: &ast::Type<'ast>)

src/front/zsharp/mod.rs:1836

↓ 10 callersFunctionwrap_bin_op

( name: &str, fu: Option<fn(Term, Term) -> Term>, ff: Option<fn(Term, Term) -> Term>, fb: Opti

src/front/zsharpcurly/term.rs:321

↓ 10 callersFunctionwrap_bin_op

( name: &str, fu: Option<fn(Term, Term) -> Term>, ff: Option<fn(Term, Term) -> Term>, fb: Opti

src/front/zsharp/term.rs:333

↓ 9 callersMethodas_bool_opt

Get the underlying boolean constant, if possible.

src/ir/term/mod.rs:1249

↓ 9 callersMethodas_int

Get the underlying integer constant, or panic!

src/ir/term/mod.rs:1374

↓ 9 callersMethodas_var_name

(&self)

src/ir/term/mod.rs:1321

↓ 9 callersMethodcmp

(&self, o: &Self)

src/ir/term/mod.rs:800

↓ 9 callersMethoddefault_term

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

src/ir/term/mod.rs:1032

↓ 9 callersFunctionextract

Find arrays which are RAMs (i.e., accessed with a linear sequences of selects, stores, and conditional stores) and 1. Replaces reads from these RAMs w

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

↓ 9 callersMethodis_var

Is this a variable?

src/ir/term/mod.rs:1310

↓ 9 callersFunctionleaf_term

Make a term with no arguments, just an operator.

src/ir/term/mod.rs:1506

↓ 9 callersMethodlookup

(&self, name: &Q)

src/ir/term/mod.rs:1756

↓ 9 callersMethodsample

(&self, rng: &mut R)

src/ir/term/dist.rs:17

↓ 9 callersMethodspan

(&self)

src/front/datalog/parser.rs:77

↓ 9 callersMethodterm

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

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

↓ 9 callersFunctionuint_lit

(v: I, bits: usize)

src/front/zsharpcurly/term.rs:842

↓ 9 callersFunctionuint_lit

(v: I, bits: usize)

src/front/zsharp/term.rs:854

↓ 9 callersMethodupgrade

(&self)

circ_hc/src/rc/template.rs:292

↓ 8 callersMethodderef_import

(&self, s: &str)

src/front/zsharpcurly/mod.rs:1196

↓ 8 callersMethodderef_import

(&self, s: &str)

src/front/zsharp/mod.rs:1146

↓ 8 callersMethodfile_stack_push

(&self, path: PathBuf)

src/front/zsharpcurly/mod.rs:790

↓ 8 callersMethodfile_stack_push

(&self, path: PathBuf)

src/front/zsharp/mod.rs:688

↓ 8 callersMethodfull_cow

(&self)

circ_fields/src/lib.rs:317

↓ 8 callersMethodget_value

Get the current value of a location

src/circify/mod.rs:778

↓ 8 callersMethodinline

(&self)

circ_fields/src/lib.rs:336

↓ 8 callersFunctionint_or

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

src/ir/term/ty.rs:595

↓ 8 callersFunctionmemcpy

examples/C/mpc/benchmarks/gauss/2pc_gauss.c:22

↓ 8 callersFunctionnew_tuple

Create a tuple from children. If all children are const, then make the whole tuple const

src/ir/opt/cfold.rs:34

↓ 8 callersFunctionparse_computations

Parse a computation set.

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

↓ 8 callersMethodselect

Select

src/ir/term/mod.rs:781

↓ 8 callersFunctiontable_size

Size of the term table.

src/ir/term/mod.rs:1190

↓ 8 callersMethodterm

term (cached)

src/ir/term/mod.rs:1689

↓ 8 callersMethodterm

(&self, ctx: &CirCtx)

src/front/c/term.rs:71

↓ 8 callersFunctiontuple_terms

Make a sequence of terms from a tuple Requires a tuple term

src/ir/term/mod.rs:1497

↓ 8 callersMethodtype_

(&self, t: &ast::Type<'ast>)

src/front/zsharpcurly/mod.rs:1954

↓ 8 callersFunctionwrap_bin_arith

( name: &str, fu: Option<fn(Term, Term) -> Term>, fb: Option<fn(Term, Term) -> Term>, a: CTerm

src/front/c/term.rs:300

↓ 7 callersFunctionassert_all_vars_declared

(c: &Computation)

src/ir/term/extras.rs:120

↓ 7 callersFunctionbool_or

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

src/ir/term/ty.rs:636

↓ 7 callersFunctionconst_int

(a: T)

src/front/zsharpcurly/term.rs:746

↓ 7 callersFunctionconst_int

(a: T)

src/front/zsharp/term.rs:758

↓ 7 callersMethodelems_iter_values

(&self)

src/ir/term/mod.rs:988

↓ 7 callersFunctioneq_type

( ty: &ast::Type<'ast>, ty2: &ast::Type<'ast>, zgen: &ZGen<'ast>, )

src/front/zsharpcurly/zvisit/eqtype.rs:8

↓ 7 callersFunctioneval

Evaluate [super::ExtOp::PersistentRamSplit]. Takes two arguments: entries: `[(val_init_i, val_fin_i)]` (len E) indices: `[idx_i]` (len I) assumes I

src/ir/term/ext/ram.rs:46

↓ 7 callersMethodfile_stack_pop

(&self)

src/front/zsharpcurly/mod.rs:794

↓ 7 callersMethodfile_stack_pop

(&self)

src/front/zsharp/mod.rs:692

↓ 7 callersMethodgen

(i: Inputs)

src/front/c/mod.rs:47

↓ 7 callersMethodget

(&self, k: &Node)

circ_hc/src/raw/example_u8.rs:392

↓ 7 callersFunctionhomogenous_tuple_or

Check if this is a non-empty homogenous tuple.

src/ir/term/ty.rs:709

↓ 7 callersMethodis_const

Is this a value

src/ir/term/mod.rs:1315

↓ 7 callersMethodordered_input_names

Give all inputs, in a fixed order.

src/ir/term/mod.rs:1796

↓ 7 callersMethodparts

Get the operator and children of this node.

circ_hc/src/lib.rs:73

↓ 7 callersMethodstore

Store

src/ir/term/mod.rs:773

↓ 7 callersMethodunify

XXX(opt) take ref to Type instead of owned?

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

↓ 6 callersMethodadd_output

Add a new output variable to the precomputation. `value` is the term that computes its value.

src/ir/term/precomp.rs:48

↓ 6 callersMethodarity

Number of arguments for this operator. `None` if n-ary.

src/ir/term/mod.rs:343

↓ 6 callersFunctioncbv

Create a constant bit-vector

src/ir/opt/cfold.rs:49

↓ 6 callersMethodcirc_get_value

(&self, loc: Loc)

src/front/c/mod.rs:1360

↓ 6 callersMethodeither_ref

(&self)

circ_fields/src/lib.rs:346

↓ 6 callersMethodenter_scope

(&mut self)

src/circify/mod.rs:239

↓ 6 callersMethodexpr

Generate IR for an expression. `top_level` indicates whether this expression is a top-level expression in a condition.

src/front/datalog/mod.rs:165

↓ 6 callersMethodflatten

(self, children: I)

src/ir/opt/cfold.rs:436

↓ 6 callersFunctionfold

Fold away operators over constants.

src/ir/opt/cfold.rs:54

↓ 6 callersFunctionfp_or

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

src/ir/term/ty.rs:644

↓ 6 callersMethodget_struct_or_type

( &self, id: &str, )

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

↓ 6 callersMethodget_struct_or_type

( &self, id: &str, )

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

↓ 6 callersMethodint

(&mut self, tt: &TokTree)

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

↓ 6 callersMethodis_array

Is this an array?

src/ir/term/mod.rs:933

↓ 6 callersMethodis_scalar

Is this a scalar?

src/ir/term/mod.rs:1062

↓ 6 callersMethodis_signed_int

(&self)

src/front/c/types.rs:143

↓ 6 callersFunctionlink_all_function_calls

Link all calls within a function set.

src/ir/opt/link.rs:87

↓ 6 callersMethodnew_write

(f: &AccessCfg, idx: Term, val: Term, active: Term, time: Term)

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

↓ 6 callersFunctionsubstitute_cache

Rewrites `t`, applying the substitutions in `subs`. The substitution map is taken mutably; this function will add rewrites to it. This allows the sam

src/ir/term/extras.rs:22

↓ 6 callersMethodterms

Get all IR terms inside this value, as a list.

src/front/c/term.rs:31

↓ 6 callersMethodtraverse

(&mut self, computation: &mut Computation)

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

↓ 6 callersMethodtype_

TODO: Refactor with s_type_ / d_type_

src/front/c/mod.rs:185

↓ 6 callersFunctionv

(*xs)

doc/mem/der_xgcd/dnc.py:13

↓ 6 callersMethodwith_span

Attach span to error

src/front/datalog/error.rs:70

↓ 6 callersFunctionwrap_bin_cmp

( name: &str, fu: Option<fn(Term, Term) -> Term>, fb: Option<fn(Term, Term) -> Term>, a: CTerm

src/front/c/term.rs:429

↓ 5 callersFunctionarray

(elems: I)

src/front/zsharpcurly/term.rs:993

↓ 5 callersFunctionarray

(elems: I)

src/front/zsharp/term.rs:983

↓ 5 callersFunctionarray_leaf

Does this term create an array from non-arrays? (or lower-rank arrays)

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

↓ 5 callersMethodarray_select

(&self, array: &CTerm, idx: &CTerm)

src/front/c/mod.rs:406

↓ 5 callersFunctionas_uint_constant

If this term is a constant field or bit-vector, get the unsigned int value.

src/ir/term/extras.rs:109

↓ 5 callersMethodas_usize

Convert this value into a usize if possible

src/ir/term/mod.rs:1445

↓ 5 callersMethodassert

(&self, asrt: Term)

src/front/zsharpcurly/mod.rs:2323

↓ 5 callersMethodassert

(&self, asrt: Term)

src/front/zsharp/mod.rs:2197

↓ 5 callersFunctionbool

(a: T)

src/front/zsharpcurly/term.rs:782

↓ 5 callersFunctionbool

(a: T)

src/front/zsharp/term.rs:794

↓ 5 callersMethodconsume

Get the constraints from this manager

src/circify/mod.rs:822

↓ 5 callersMethodd_type_

TODO: Refactor with s_type_

src/front/c/mod.rs:160

← previous next →101–200 of 2,442, ranked by callers