Functions — github.com/circify/circ

hub / github.com/circify/circ / functions

Functions2,442 in github.com/circify/circ

⨍ Functions 2,442◇ Types & classes 328

↓ 2 callersMethodapply

Applies the current substitutions to `t`.

src/ir/opt/inline.rs:86

↓ 2 callersMethodapply_varonly

(&mut self, nm: &str, f: F)

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

↓ 2 callersMethodapply_varonly

(&mut self, nm: &str, f: F)

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

↓ 2 callersFunctionarray_select

(array: T, idx: T)

src/front/zsharpcurly/term.rs:945

↓ 2 callersFunctionarray_select

(array: T, idx: T)

src/front/zsharp/term.rs:924

↓ 2 callersMethodarray_store

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

src/front/c/mod.rs:431

↓ 2 callersMethodarrayize

( &self, ty: ast::Type<'ast>, cnt: ast::Expression<'ast>, spn: &ast::Span<'ast

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

↓ 2 callersMethodarrayize

( &self, ty: ast::Type<'ast>, cnt: ast::Expression<'ast>, spn: &ast::Span<'ast

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

↓ 2 callersMethodas_array_opt

Get the underlying array constant, if possible.

src/ir/term/mod.rs:1283

↓ 2 callersMethodas_bool

(&self)

src/front/datalog/term.rs:43

↓ 2 callersMethodas_term

(self)

src/ir/opt/tuple.rs:154

↓ 2 callersMethodashr

arithmetic right shift

src/ir/term/bv.rs:150

↓ 2 callersMethodassert

Assert something

src/circify/mod.rs:728

↓ 2 callersFunctionassert_all_vars_are_scalars

Check that every variables is a scalar (or committed)

src/ir/opt/scalarize_vars.rs:140

↓ 2 callersMethodbin_op

(&self, o: &ast::BinaryOperator)

src/front/zsharpcurly/mod.rs:766

↓ 2 callersMethodbin_op

(&self, o: &ast::BinaryOperator)

src/front/zsharp/mod.rs:664

↓ 2 callersFunctionbinarize_nary_ops

Traverse `term`, binarize n-ary operators.

src/ir/opt/binarize.rs:28

↓ 2 callersFunctionbinarize_nary_ops_cached

Traverse `term`, binarize n-ary operators.

src/ir/opt/binarize.rs:33

↓ 2 callersFunctionbuild

Run cargo build and any test cases in the feature list Parameters ---------- features : set of str set of features r

driver.py:135

↓ 2 callersFunctionbuild_cmd

(name: str, test_file: str, role: int)

scripts/aby_tests/util.py:12

↓ 2 callersFunctionbv_from_bits

(barr: Term, size: usize)

src/front/zsharpcurly/term.rs:1114

↓ 2 callersFunctionbv_from_bits

(barr: Term, size: usize)

src/front/zsharp/term.rs:1097

↓ 2 callersFunctioncanon_type

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

src/front/zsharp/zvisit/eqtype.rs:87

↓ 2 callersMethodchange_output

Overwrite a step

src/ir/term/precomp.rs:55

↓ 2 callersFunctioncheck

Type-check [super::ExtOp::PersistentRamSplit].

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

↓ 2 callersMethodcheck_idx

consistency check for index

src/ir/term/mod.rs:743

↓ 2 callersMethodcirc_assign

(&self, loc: Loc, val: Val<T>)

src/front/zsharpcurly/mod.rs:2405

↓ 2 callersMethodcirc_assign

(&self, loc: Loc, val: Val<CTerm>)

src/front/c/mod.rs:1338

↓ 2 callersMethodcirc_assign

(&self, loc: Loc, val: Val<T>)

src/front/zsharp/mod.rs:2309

↓ 2 callersMethodcirc_declare_init

(&self, name: String, ty: Ty, val: Val<T>)

src/front/zsharpcurly/mod.rs:2397

↓ 2 callersMethodcirc_declare_init

(&self, name: String, ty: Ty, val: Val<T>)

src/front/zsharp/mod.rs:2301

↓ 2 callersMethodcirc_declare_input

( &self, name: String, ty: &Ty, vis: ZVis, precomputed_value: Option<T

src/front/zsharpcurly/mod.rs:2377

↓ 2 callersMethodcirc_declare_input

( &self, name: String, ty: &Ty, vis: Option<PartyId>, precomputed_valu

src/front/c/mod.rs:1364

↓ 2 callersMethodcirc_declare_input

( &self, name: String, ty: &Ty, vis: ZVis, precomputed_value: Option<T

src/front/zsharp/mod.rs:2267

↓ 2 callersMethodcirc_enter_condition

(&self, cond: Term)

src/front/c/mod.rs:1386

↓ 2 callersMethodcirc_enter_condition

(&self, cond: Term)

src/front/zsharp/mod.rs:2231

↓ 2 callersMethodcirc_enter_fn

(&self, f_name: String, ret_ty: Option<Ty>)

src/front/zsharpcurly/mod.rs:2361

↓ 2 callersMethodcirc_enter_fn

(&self, f_name: String, ret_ty: Option<Ty>)

src/front/c/mod.rs:1398

↓ 2 callersMethodcirc_enter_fn

(&self, f_name: String, ret_ty: Option<Ty>)

src/front/zsharp/mod.rs:2251

↓ 2 callersMethodcirc_enter_scope

(&self)

src/front/c/mod.rs:1410

↓ 2 callersMethodcirc_exit_condition

(&self)

src/front/c/mod.rs:1390

↓ 2 callersMethodcirc_exit_condition

(&self)

src/front/zsharp/mod.rs:2237

↓ 2 callersMethodcirc_exit_fn

(&self)

src/front/zsharpcurly/mod.rs:2365

↓ 2 callersMethodcirc_exit_fn

(&self)

src/front/zsharp/mod.rs:2255

↓ 2 callersMethodcirc_exit_scope

(&self)

src/front/c/mod.rs:1414

↓ 2 callersMethodcirc_metadata

(&self)

src/front/c/mod.rs:1328

↓ 2 callersMethodcirc_return_

(&self, ret: Option<CTerm>)

src/front/c/mod.rs:1394

↓ 2 callersMethodcircify

(&self)

src/front/c/mod.rs:143

↓ 2 callersFunctionclean_output

(output)

scripts/aby_tests/util.py:30

↓ 2 callersMethodcmp

(&self, other: &Self)

circ_hc/src/rc/example_u8.rs:358

↓ 2 callersMethodcmp

(&self, other: &Self)

circ_hc/src/rc/template.rs:359

↓ 2 callersFunctioncoerce_to_field

(i: T)

src/front/zsharpcurly/term.rs:937

↓ 2 callersFunctioncollect

()

src/ir/opt/cfold.rs:18

↓ 2 callersFunctioncollect_terms

()

src/ir/term/mod.rs:1230

↓ 2 callersFunctioncollect_types

()

src/ir/term/mod.rs:1239

↓ 2 callersFunctioncompress_type

(ts: Vec<Option<Ty>>)

src/front/c/ast_utils.rs:62

↓ 2 callersMethodcomputation

Parse a computation.

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

↓ 2 callersFunctioncond

(c: T, a: T, b: T)

src/front/zsharp/term.rs:825

↓ 2 callersFunctionconst_bool_simple

(t: T)

src/front/zsharpcurly/mod.rs:49

↓ 2 callersFunctionconst_int

(a: CTerm)

src/front/c/term.rs:500

↓ 2 callersFunctionconst_val_simple

(a: T)

src/front/zsharpcurly/mod.rs:57

↓ 2 callersFunctionconst_val_simple

(a: T)

src/front/zsharp/mod.rs:57

↓ 2 callersFunctionconst_value_simple

(term: &Term)

src/front/zsharpcurly/mod.rs:41

↓ 2 callersFunctionconst_value_simple

(term: &Term)

src/front/zsharp/mod.rs:41

↓ 2 callersFunctionconvolution_naive_outputs

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

↓ 2 callersFunctioncount_or

( sorts: &'a [Sort], )

src/ir/term/ty.rs:702

↓ 2 callersFunctioncount_selects

(t: &Term)

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

↓ 2 callersMethodcur_import_map

(&self)

src/front/zsharpcurly/mod.rs:1191

↓ 2 callersMethodcur_import_map

(&self)

src/front/zsharp/mod.rs:1141

↓ 2 callersMethodcur_path

(&self)

src/front/zsharpcurly/mod.rs:1181

↓ 2 callersMethodcur_path

(&self)

src/front/zsharp/mod.rs:1131

↓ 2 callersMethodcvar_assign

(&self, name: &str, val: T)

src/front/zsharpcurly/mod.rs:1819

↓ 2 callersMethodcvar_enter_scope

(&self)

src/front/zsharpcurly/mod.rs:1788

↓ 2 callersMethodcvar_enter_scope

(&self)

src/front/zsharp/mod.rs:1669

↓ 2 callersMethodcvar_lookup

(&self, name: &str)

src/front/zsharp/mod.rs:1739

↓ 2 callersMethoddecl_list

Parse declarations, returning bindings, in-order.

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

↓ 2 callersMethoddeclare

(&mut self, name: VarName, ty: Ty)

src/circify/mod.rs:154

↓ 2 callersMethoddeclare_input

Declare a new *input* to the computation. See [Embeddable::declare_input] ## Arguments nice_name: the in-program name of the input ty: the type visi

src/circify/mod.rs:468

↓ 2 callersMethoddeclare_uninit

Declares a new (uninitialized) value of type `ty`, with name `name`, in the current lexical scope.

src/circify/mod.rs:491

↓ 2 callersMethoddefault

(&self)

src/front/datalog/term.rs:91

↓ 2 callersMethoddefault

(&self)

src/circify/mod.rs:936

↓ 2 callersFunctiondefault_field

()

src/front/zsharpcurly/term.rs:70

↓ 2 callersMethoddefault_ir_term

(&self)

src/front/c/types.rs:93

↓ 2 callersFunctiondeskolemize_challenges

Replace the challenge terms in this computation with random inputs.

src/ir/opt/chall.rs:73

↓ 2 callersFunctiondoes_not_contain

Is `needle` not in `haystack`?

src/ir/term/extras.rs:66

↓ 2 callersMethodend_persistent_array

Record the final state of a persistent array. Should be called once per array, with the same name as [Computation::start_persistent_array].

src/ir/term/mod.rs:2110

↓ 2 callersFunctioneq_base

(a: T, b: T)

src/front/zsharpcurly/term.rs:540

↓ 2 callersFunctioneq_base

(a: T, b: T)

src/front/zsharp/term.rs:552

↓ 2 callersFunctioneq_basic_type

(ty: &ast::BasicType<'ast>, ty2: &ast::BasicType<'ast>)

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

↓ 2 callersFunctioneq_basic_type

(ty: &ast::BasicType<'ast>, ty2: &ast::BasicType<'ast>)

src/front/zsharp/zvisit/eqtype.rs:24

↓ 2 callersFunctioneq_struct_type

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

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

↓ 2 callersFunctioneq_struct_type

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

src/front/zsharp/zvisit/eqtype.rs:63

↓ 2 callersMethodeval

Evaluate, given argument values

src/ir/term/ext.rs:75

↓ 2 callersFunctioneval_op

(op: &Op, args: &[&Value], var_vals: &FxHashMap<String, Value>)

src/ir/term/eval.rs:68

↓ 2 callersFunctioneval_pf_challenge

Compute a (deterministic) prime-field challenge.

src/ir/term/eval.rs:366

↓ 2 callersFunctionexpand

Replace CSTORES with combinations of STORE and ITE.

src/ir/opt/cstore.rs:131

↓ 2 callersMethodextend_precomputation

Add a new input `new_input_var` to this computation, whose value is determined by `precomp`: a term over existing inputs. The visibility for `new_inp

src/ir/term/mod.rs:2064

↓ 2 callersMethodfdef_gen_ty_basic

(&self, arg_ty: Ty, bas_ty: &ast::BasicType<'ast>)

src/front/zsharpcurly/zvisit/zgenericinf.rs:211

↓ 2 callersMethodfdef_gen_ty_basic

(&self, arg_ty: Ty, bas_ty: &ast::BasicType<'ast>)

src/front/zsharp/zvisit/zgenericinf.rs:210

↓ 2 callersMethodfdef_gen_ty_struct_or_type

( &mut self, arg_ty: Ty, def_ty: &ast::StructType<'ast>, )

src/front/zsharpcurly/zvisit/zgenericinf.rs:282

← previous next →401–500 of 2,442, ranked by callers