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 callersFunctionwalk_field_type

( visitor: &mut Z, fty: &mut ast::FieldType<'ast>, )

src/front/zsharpcurly/zvisit/walkfns.rs:231

↓ 2 callersFunctionwalk_field_type

( visitor: &mut Z, fty: &mut ast::FieldType<'ast>, )

src/front/zsharp/zvisit/walkfns.rs:259

↓ 2 callersFunctionwalk_integer_type

( visitor: &mut Z, integerty: &mut ast::IntegerType<'ast>, )

src/front/zsharp/zvisit/walkfns.rs:301

↓ 2 callersFunctionwalk_return_statement

( visitor: &mut Z, ret: &mut ast::ReturnStatement<'ast>, )

src/front/zsharpcurly/zvisit/walkfns.rs:742

↓ 2 callersFunctionwalk_return_statement

( visitor: &mut Z, ret: &mut ast::ReturnStatement<'ast>, )

src/front/zsharp/zvisit/walkfns.rs:744

↓ 2 callersFunctionwalk_typed_identifier

( visitor: &mut Z, tid: &mut ast::TypedIdentifier<'ast>, )

src/front/zsharpcurly/zvisit/walkfns.rs:811

↓ 2 callersFunctionwalk_typed_identifier

( visitor: &mut Z, tid: &mut ast::TypedIdentifier<'ast>, )

src/front/zsharp/zvisit/walkfns.rs:786

↓ 2 callersFunctionwalk_u16_type

( visitor: &mut Z, u16ty: &mut ast::U16Type<'ast>, )

src/front/zsharpcurly/zvisit/walkfns.rs:252

↓ 2 callersFunctionwalk_u16_type

( visitor: &mut Z, u16ty: &mut ast::U16Type<'ast>, )

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

↓ 2 callersFunctionwalk_u32_type

( visitor: &mut Z, u32ty: &mut ast::U32Type<'ast>, )

src/front/zsharpcurly/zvisit/walkfns.rs:259

↓ 2 callersFunctionwalk_u32_type

( visitor: &mut Z, u32ty: &mut ast::U32Type<'ast>, )

src/front/zsharp/zvisit/walkfns.rs:287

↓ 2 callersFunctionwalk_u64_type

( visitor: &mut Z, u64ty: &mut ast::U64Type<'ast>, )

src/front/zsharpcurly/zvisit/walkfns.rs:266

↓ 2 callersFunctionwalk_u64_type

( visitor: &mut Z, u64ty: &mut ast::U64Type<'ast>, )

src/front/zsharp/zvisit/walkfns.rs:294

↓ 2 callersFunctionwalk_u8_type

( visitor: &mut Z, u8ty: &mut ast::U8Type<'ast>, )

src/front/zsharpcurly/zvisit/walkfns.rs:245

↓ 2 callersFunctionwalk_u8_type

( visitor: &mut Z, u8ty: &mut ast::U8Type<'ast>, )

src/front/zsharp/zvisit/walkfns.rs:273

↓ 2 callersFunctionwrap_bin_logical

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

src/front/c/term.rs:395

↓ 2 callersFunctionwrap_shift

(name: &str, op: BvBinOp, a: T, b: T)

src/front/zsharpcurly/term.rs:789

↓ 2 callersFunctionwrap_shift

(name: &str, op: BvBinOp, a: T, b: T)

src/front/zsharp/term.rs:801

↓ 2 callersFunctionwrap_un_op

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

src/front/zsharpcurly/term.rs:693

↓ 2 callersFunctionwrap_un_op

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

src/front/zsharp/term.rs:705

↓ 2 callersMethodzero

circ_fields/src/lib.rs:127

↓ 1 callersFunctionDT_memset

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

↓ 1 callersFunctionadd

src/front/datalog/term.rs:127

↓ 1 callersFunctionadd

examples/C/mpc/unit_tests/util.c:1

↓ 1 callersFunctionadd_

examples/C/mpc/unit_tests/function_tests/2pc_function_add.c:3

↓ 1 callersMethodadd_input

src/ir/term/precomp.rs:44

↓ 1 callersMethodadd_party

Add a new party to the computation, getting a [PartyId] for them.

src/ir/term/mod.rs:1709

↓ 1 callersFunctionagg_mean_tree

examples/C/mpc/benchmarks/db/db_join.c:85

↓ 1 callersMethodallocate

Allocate a new stack array, equal to `array`.

src/circify/mem.rs:56

↓ 1 callersFunctionapply

Extract any persistent arrays from a computation, eand emit checks.

src/ir/opt/mem/ram/persistent.rs:9

↓ 1 callersFunctionapply

Extract any volatile RAMS from a computation, and emit checks.

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

↓ 1 callersFunctionargs_from_func

(fn_def: &FunctionDefinition)

src/front/c/ast_utils.rs:93

↓ 1 callersFunctionarr_val_to_tup

src/ir/opt/mem/lin.rs:9

↓ 1 callersFunctionarr_val_to_tup

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

↓ 1 callersFunctionarray_idx

src/front/datalog/term.rs:325

↓ 1 callersFunctionarray_order

Given a set of terms, return an ordering of them in post-order, but also with array selects on A before stores to A.

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

↓ 1 callersFunctionarray_store

(array: T, idx: T, val: T)

src/front/zsharpcurly/term.rs:959

↓ 1 callersFunctionarray_store

(array: T, idx: T, val: T)

src/front/zsharp/term.rs:949

↓ 1 callersFunctionarray_to_tuple

Wrap an array term as a tuple term.

src/ir/term/extras.rs:158

↓ 1 callersFunctionarrmap_or

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

src/ir/term/ty.rs:625

↓ 1 callersMethodas_fresh_def

Syntactically analyzes `t`, seeing if it has form `(= v t')` OR `(= t' v)` where `v` is a fresh variable and is not in `t'`. If such a condition is

src/ir/opt/inline.rs:101

↓ 1 callersMethodas_map_opt

Get the underlying map constant, if possible.

src/ir/term/mod.rs:1292

↓ 1 callersMethodassignee_to_expression

(&self, assignee: &ast::Assignee<'ast>)

src/front/zsharpcurly/mod.rs:1679

↓ 1 callersMethodbase_loc

(&self, loc: CLoc)

src/front/c/mod.rs:489

↓ 1 callersFunctionbatch_inv

(field: &FieldT, data: &mut [Value])

src/ir/term/ext/pf_batch_inv.rs:17

↓ 1 callersFunctionbenchmark

↓ 1 callersFunctionbimap

(mut f: impl FnMut(Term, Term) -> Term, a: Vec<Term>, b: Vec<Term>)

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

↓ 1 callersFunctionbimap_op

(op: Op, a: Vec<Term>, b: Vec<Term>)

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

↓ 1 callersMethodbin_expr

(&mut self, e: &'ast ast::BinaryExpression)

src/front/datalog/mod.rs:259

↓ 1 callersFunctionbinarize

(op: &Op, children: &[Term])

src/ir/opt/binarize.rs:16

↓ 1 callersMethodbit

Get the `i`th bit.

src/ir/term/bv.rs:215

↓ 1 callersFunctionbit_array_le

(a: T, b: T, n: usize)

src/front/zsharpcurly/term.rs:1123

↓ 1 callersFunctionbit_array_le

(a: T, b: T, n: usize)

src/front/zsharp/term.rs:1106

↓ 1 callersFunctionbitand

src/front/datalog/term.rs:276

↓ 1 callersFunctionbitnot

Operator unary~

src/front/datalog/term.rs:119

↓ 1 callersFunctionbitor

src/front/datalog/term.rs:265

↓ 1 callersFunctionbitxor

src/front/datalog/term.rs:287

↓ 1 callersFunctionbody_from_func

(fn_def: &FunctionDefinition)

src/front/c/ast_utils.rs:109

↓ 1 callersMethodbreak_

(&mut self, name: &str)

src/circify/mod.rs:295

↓ 1 callersMethodbuiltin_call

( &self, f_name: &str, mut args: Vec<T>, mut generics: Vec<T>, )

src/front/zsharpcurly/mod.rs:235

↓ 1 callersMethodbuiltin_call

( &self, f_name: &str, mut args: Vec<T>, mut generics: Vec<T>, )

src/front/zsharp/mod.rs:240

↓ 1 callersFunctionbv_var

(s: &str, w: usize)

src/circify/mem.rs:140

↓ 1 callersMethodcanon_struct

(&self, id: &str)

src/front/zsharpcurly/mod.rs:1502

↓ 1 callersMethodcanon_struct

(&self, id: &str)

src/front/zsharp/mod.rs:1385

↓ 1 callersFunctioncast_to_bool

src/front/c/term.rs:214

↓ 1 callersFunctioncfg_or_default

Get the configuration, setting the configuration to the default value if it is unset.

↓ 1 callersFunctioncheck_all

Run cargo check with every individual feature

↓ 1 callersFunctioncheck_array_to_map

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

src/ir/term/ext/map.rs:7

↓ 1 callersFunctioncheck_covering_rom

Returns a term to assert.

src/ir/opt/mem/ram/checker/rom.rs:132

↓ 1 callersFunctioncheck_dependencies

Return a list of child terms that must be typed first to type this term.

src/ir/term/ty.rs:29

↓ 1 callersMethodcheck_dependencies

Indicate which children of `t` must be typed to type `t`.

src/ir/term/ext.rs:90

↓ 1 callersFunctioncheck_map_contains_key

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

src/ir/term/ext/map.rs:54

↓ 1 callersFunctioncheck_map_flip

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

src/ir/term/ext/map.rs:22

↓ 1 callersFunctioncheck_map_select

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

src/ir/term/ext/map.rs:39

↓ 1 callersFunctioncheck_ram

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

↓ 1 callersFunctioncheck_ram

Check a persistent RAM using challenges.

src/ir/opt/mem/ram/persistent.rs:95

↓ 1 callersFunctioncheck_rams

Check a persistent RAM using challenges.

src/ir/opt/mem/ram/persistent.rs:80

↓ 1 callersFunctioncheck_raw

Type-check this term, *non-recursively*. All results are stored in the global type table.

src/ir/term/ty.rs:227

↓ 1 callersFunctioncheck_raw_step

(t: &Term, tys: &TypeTable)

src/ir/term/ty.rs:89

↓ 1 callersFunctioncheck_rec

Fully type-check this term. That is, determine its type *with* a full validity check.

src/ir/term/ty.rs:24

↓ 1 callersMethodcheck_topo_order

Check that no variables is used before defintion.

src/ir/term/precomp.rs:209

↓ 1 callersMethodcheck_topo_orderable

src/ir/term/precomp.rs:234

↓ 1 callersMethodcheck_val

consistency check for value

src/ir/term/mod.rs:762

↓ 1 callersMethodcirc_condition

src/front/zsharpcurly/mod.rs:2353

↓ 1 callersMethodcirc_condition

src/front/zsharp/mod.rs:2243

↓ 1 callersMethodcirc_declare_init

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

src/front/c/mod.rs:1377

↓ 1 callersMethodcirc_enter_scope

src/front/zsharpcurly/mod.rs:2369

↓ 1 callersMethodcirc_enter_scope

src/front/zsharp/mod.rs:2259

↓ 1 callersMethodcirc_exit_fn

src/front/c/mod.rs:1402

↓ 1 callersMethodcirc_exit_fn_call

(&self, ret_names: &Vec<String>)

src/front/c/mod.rs:1406

↓ 1 callersMethodcirc_exit_scope

src/front/zsharpcurly/mod.rs:2373

↓ 1 callersMethodcirc_exit_scope

src/front/zsharp/mod.rs:2263

↓ 1 callersMethodcirc_replace

(&self, i: AllocId, v: Term)

src/front/c/mod.rs:1350

↓ 1 callersMethodcirc_return_

(&self, ret: Option<T>)

src/front/zsharpcurly/mod.rs:2357

↓ 1 callersMethodcirc_return_

(&self, ret: Option<T>)

src/front/zsharp/mod.rs:2247

↓ 1 callersMethodcirc_zero_allocate

(&self, size: usize, addr_width: usize, val_width: usize)

src/front/c/mod.rs:1354

↓ 1 callersFunctionclean

↓ 1 callersFunctionclimb

Create an Expression from an `expression`. `build_factor` turns each term into an `Expression` and `infix_rule` turns each (Expression, operator, Expr

src/front/datalog/parser.rs:300

↓ 1 callersMethodcmp

(&self, other: &Self)

circ_fields/src/lib.rs:373

↓ 1 callersMethodcmp

(&self, other: &Self)

circ_hc/src/raw/example_u8.rs:332

← previous next →701–800 of 2,442, ranked by callers