Functions — github.com/circify/circ

CodeHub MCPcopy Create free account

hub / github.com/circify/circ / functions

Functions2,442 in github.com/circify/circ

⨍ Functions 2,442◇ Types & classes 328

↓ 2 callersMethodfdef_gen_ty_struct_or_type

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

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

↓ 2 callersFunctionfield_lit

src/front/zsharpcurly/term.rs:831

↓ 2 callersFunctionfield_select

(struct_tuple_: &T, field: &str)

src/front/zsharpcurly/term.rs:865

↓ 2 callersFunctionfield_select

(struct_: &T, field: &str)

src/front/zsharp/term.rs:877

↓ 2 callersMethodfield_store

(&self, struct_: &CTerm, field: &str, val: &CTerm)

src/front/c/mod.rs:391

↓ 2 callersFunctionfind_tuple_term

src/ir/opt/tuple.rs:237

↓ 2 callersFunctionfixedpt_div

examples/C/mpc/benchmarks/gauss/fixpoint.h:18

↓ 2 callersFunctionflatten_nary_ops

Traverse `term`, flattening n-ary operators.

src/ir/opt/flat.rs:61

↓ 2 callersFunctionflatten_nary_ops_cached

Traverse `term`, flattening n-ary operators.

src/ir/opt/flat.rs:66

↓ 2 callersFunctionfmt_term_with_bindings

Format a term, introducing bindings.

src/ir/term/fmt.rs:604

↓ 2 callersMethodforce_gc

circ_hc/src/rc/example_u8.rs:177

↓ 2 callersMethodforce_gc

circ_hc/src/rc/template.rs:177

↓ 2 callersMethodfull_mut

circ_fields/src/lib.rs:307

↓ 2 callersMethodgen_index

(&mut self, expr: &Expression)

src/front/c/mod.rs:678

↓ 2 callersMethodgen_stmt

(&mut self, stmt: &Statement)

src/front/c/mod.rs:1093

↓ 2 callersMethodgeneric_defined

(&self, id: &str)

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

↓ 2 callersMethodgeneric_defined

(&self, id: &str)

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

↓ 2 callersMethodget_bin_op

(&self, op: &BinaryOperator)

src/front/c/mod.rs:644

↓ 2 callersMethodget_binding

Takes bindings in order bound, and unbinds

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

↓ 2 callersMethodget_decl_info

(&mut self, decl: &Declaration)

src/front/c/mod.rs:298

↓ 2 callersMethodget_input_visibility

Returns None if the value is public. Otherwise, the unique party that knows it.

src/ir/term/mod.rs:1776

↓ 2 callersMethodget_name

(&self, name: &str)

src/circify/mod.rs:161

↓ 2 callersMethodget_postfix_ty

( &self, pf: &mut ast::PostfixExpression<'ast>, rty: Option<&ast::Type<'ast>>, )

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

↓ 2 callersMethodget_postfix_ty

( &self, pf: &mut ast::PostfixExpression<'ast>, rty: Option<&ast::Type<'ast>>, )

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

↓ 2 callersMethodget_struct_or_type

( &self, struct_id: &str, )

src/front/zsharpcurly/mod.rs:2309

↓ 2 callersMethodget_struct_or_type

( &self, struct_id: &str, )

src/front/zsharp/mod.rs:2183

↓ 2 callersMethodgroup_add_nary

The (n-ary) group operation for these terms.

src/ir/term/mod.rs:1076

↓ 2 callersFunctiongte

src/front/datalog/term.rs:255

↓ 2 callersFunctionhaboeck_range_check

Haboeck range check

src/ir/opt/mem/ram/checker.rs:249

↓ 2 callersMethodhas_name

(&self, name: &str)

src/circify/mod.rs:183

↓ 2 callersMethodhash

(&self, state: &mut H)

circ_hc/src/rc/example_u8.rs:305

↓ 2 callersMethodhash

(&self, state: &mut H)

circ_hc/src/rc/template.rs:305

↓ 2 callersFunctionhorner

Returns a term equal to p(x) in f.

src/ir/opt/mem/ram/checker.rs:413

↓ 2 callersMethodident

(&mut self, i: &'ast ast::Ident)

src/front/datalog/mod.rs:155

↓ 2 callersFunctionidx_name

(struct_name: &str, idx: usize)

src/front/zsharp/term.rs:1158

↓ 2 callersMethodindex_offset

(&mut self, index: &IndexTerm)

src/front/c/mod.rs:702

↓ 2 callersFunctioninline

Performs "inline" optimizations. That is, finds equalities between variables and terms, and substitutes the term for the variable. Maintains a few i

src/ir/opt/inline.rs:167

↓ 2 callersMethodinputs

immutable access to the outputs

src/ir/term/precomp.rs:40

↓ 2 callersMethodinsert

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

circ_hc/src/raw/example_u8.rs:398

↓ 2 callersMethodinsert_var

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

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

↓ 2 callersFunctionint_lit

Make an integer constant term.

src/ir/term/mod.rs:1549

↓ 2 callersMethodinterpret_array_md

( &self, md: &Option<ast::ArrayParamMetadata<'ast>>, )

src/front/zsharp/mod.rs:1079

↓ 2 callersFunctionir_array

(value_sort: Sort, elems: I)

src/front/zsharpcurly/term.rs:976

↓ 2 callersFunctionir_array

(value_sort: Sort, elems: I)

src/front/zsharp/term.rs:966

↓ 2 callersMethodis_arith_type

src/front/c/types.rs:139

↓ 2 callersFunctionis_cfg_set

Has the configuration been set yet?

↓ 2 callersMethodis_generic_var

(&self, var: &str)

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

↓ 2 callersMethodis_generic_var

(&self, var: &str)

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

↓ 2 callersFunctionis_struct

(id: &str, zgen: &ZGen<'_>)

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

↓ 2 callersFunctionis_struct

(id: &str, zgen: &ZGen<'_>)

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

↓ 2 callersFunctionite

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

src/front/zsharpcurly/term.rs:805

↓ 2 callersFunctionite

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

src/front/zsharp/term.rs:817

↓ 2 callersMethodlhs_ty_put

(&self, lhs_ty: Option<Ty>)

src/front/zsharpcurly/mod.rs:1772

↓ 2 callersMethodlhs_ty_put

(&self, lhs_ty: Option<Ty>)

src/front/zsharp/mod.rs:1653

↓ 2 callersMethodlive

Is this upgradeable?

circ_hc/src/lib.rs:86

↓ 2 callersMethodload

Recursively load a Z# file. ## Returns Returns a map from file paths to parsed files.

src/front/zsharpcurly/parser.rs:109

↓ 2 callersMethodload

Load from an AllocId

src/circify/mod.rs:834

↓ 2 callersMethodlookup_mut

( &mut self, name: &Q, )

src/ir/term/mod.rs:1765

↓ 2 callersMethodlookup_type_varonly

(&mut self, nm: &str)

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

↓ 2 callersMethodlookup_var

(&self, nm: &str)

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

↓ 2 callersMethodlookup_var

(&self, nm: &str)

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

↓ 2 callersMethodlshr

logical right shift

src/ir/term/bv.rs:162

↓ 2 callersFunctionmake_sfx

(mut base: String, sfx: &str)

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

↓ 2 callersFunctionmake_sfx

(mut base: String, sfx: &str)

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

↓ 2 callersFunctionmake_varname_str

(id: &str, sfx: &str)

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

↓ 2 callersFunctionmake_varname_str

(id: &str, sfx: &str)

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

↓ 2 callersFunctionmax_pooling_outputs

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

↓ 2 callersFunctionmaybe_garbage_collect

Scan term and type databases only if they've grown in size since last scan

src/ir/term/mod.rs:1209

↓ 2 callersMethodmaybe_usize

(&self, tt: &TokTree)

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

↓ 2 callersFunctionmin

circ_hc/src/test/mod.rs:28

↓ 2 callersFunctionmmulT_unrolled

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

↓ 2 callersFunctionmul

src/front/zsharpcurly/term.rs:433

↓ 2 callersFunctionmul

src/front/zsharp/term.rs:445

↓ 2 callersMethodnew_read

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

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

↓ 2 callersMethodnew_var_metadata

Create a new variable with the given metadata. If `precompute` is set, that precomputation is added to give a value for this variable. Otherwise, the

src/ir/term/mod.rs:2036

↓ 2 callersMethodnth_elem

(&self, n: usize)

src/ir/term/mod.rs:960

↓ 2 callersMethodordered_inputs

Give all inputs, in a fixed order.

src/ir/term/mod.rs:1885

↓ 2 callersFunctionparse

(file_string: &str)

src/front/datalog/parser.rs:537

↓ 2 callersMethodparse_int

Parse this text as an integer, but check the ARC cache before creating a new one.

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

↓ 2 callersMethodpf_lit

(&self, i: usize)

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

↓ 2 callersFunctionpf_lit_ir

src/front/zsharpcurly/term.rs:817

↓ 2 callersFunctionpf_lit_ir

src/front/zsharp/term.rs:829

↓ 2 callersFunctionpow

src/front/zsharp/term.rs:677

↓ 2 callersMethodprecompute

Parse a pre-computation.

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

↓ 2 callersMethodpretty

(&self, f: &mut W)

src/front/zsharp/term.rs:272

↓ 2 callersFunctionrandom_rug_int_exp

Samples a random integer with up to `max_bits` bits. A number with `i` is chosen with probability proportional to `2^-i`.

circ_fields/src/test.rs:57

↓ 2 callersMethodrandom_v

(&self, rng: impl rand::RngCore)

circ_fields/src/lib.rs:133

↓ 2 callersFunctionrec_check_raw_helper

Helper function for rec_check_raw Type-check given term which is expressed as An operation and the sorts of its children

src/ir/term/ty.rs:269

↓ 2 callersMethodrecursive_load

Recursively load all referenced paths. ## Returns Returns a map from loaded paths to ASTs.

src/circify/includer.rs:21

↓ 2 callersMethodremove_var

Remove an input

src/ir/term/mod.rs:1914

↓ 2 callersMethodreplace

Replace term at AllocId

src/circify/mod.rs:850

↓ 2 callersMethodrepr_as_i64

circ_fields/src/lib.rs:271

↓ 2 callersMethodrule_cases

(&mut self, rule: &'ast ast::Rule_)

src/front/datalog/mod.rs:134

↓ 2 callersFunctionrun_tests

tests will be a list of all tests to run. each element in the list will be 1. description of test case: str 2. test name: str 4. tes

scripts/aby_tests/util.py:69

↓ 2 callersFunctionsample_field_v

Sample a [FieldV]. If `ty` is inlinable, the value will be inline with probability 0.5.

circ_fields/src/test.rs:82

↓ 2 callersMethodsample_tuple_sort

( &self, min_size: usize, max_size: usize, rng: &mut R, )

src/ir/term/dist.rs:227

↓ 2 callersFunctionscalar_to_field

(scalar: &Term, c: &AccessCfg)

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

↓ 2 callersMethodserialize

(&self, serializer: S)

src/ir/term/mod.rs:646

↓ 2 callersFunctionserialize_computation

Serialize a computation.

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

↓ 2 callersFunctionserialize_precompute

Serialize a pre-computation.

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

← previous next →501–600 of 2,442, ranked by callers