Functions — github.com/circify/circ

hub / github.com/circify/circ / functions

Functions2,442 in github.com/circify/circ

⨍ Functions 2,442◇ Types & classes 328

↓ 5 callersMethoddeclare_env_name

Initialize environment entry binding `name` to `ty`.

src/circify/mod.rs:451

↓ 5 callersFunctiondefault_field_sort

()

src/front/zsharpcurly/term.rs:74

↓ 5 callersFunctiondefault_field_sort

()

src/front/zsharp/term.rs:63

↓ 5 callersFunctioneq_type

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

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

↓ 5 callersMethodeq_type

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

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

↓ 5 callersMethodeq_type

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

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

↓ 5 callersMethodexit_scope

(&mut self)

src/circify/mod.rs:248

↓ 5 callersMethodflatten

Reduce the precomputation to a single, step-less map.

src/ir/term/precomp.rs:143

↓ 5 callersMethodfold_

(&mut self, expr: &CTerm)

src/front/c/mod.rs:603

↓ 5 callersFunctionfold_cache

Do constant-folding backed by a cache.

src/ir/opt/cfold.rs:70

↓ 5 callersFunctiongarbage_collect

Scans the term database and the type database and removes dead terms and types.

src/ir/term/mod.rs:1169

↓ 5 callersMethodhash

Hash some `data`, as a multi-set.

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

↓ 5 callersMethodinline_i64

(&self)

circ_fields/src/lib.rs:303

↓ 5 callersMethodint_conversion_rank

(&self)

src/front/c/types.rs:167

↓ 5 callersMethodir_fmt

(&self, f: &mut IrFormatter)

src/ir/term/fmt.rs:295

↓ 5 callersMethodis_zero

(&self)

circ_fields/src/lib.rs:537

↓ 5 callersMethodlen

(&self)

circ_hc/src/raw/example_u8.rs:387

↓ 5 callersFunctionlinearize

Eliminate arrays using linear scans. See module documentation.

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

↓ 5 callersMethodliteral_

(&self, e: &ast::LiteralExpression<'ast>)

src/front/zsharpcurly/mod.rs:704

↓ 5 callersMethodliteral_

(&self, e: &ast::LiteralExpression<'ast>)

src/front/zsharp/mod.rs:610

↓ 5 callersMethodload

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

src/front/zsharp/parser.rs:109

↓ 5 callersFunctionor

Operator ||

src/front/datalog/term.rs:306

↓ 5 callersFunctionparse_tok_tree

Parse a token tree.

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

↓ 5 callersMethodsort

(&self)

src/front/c/types.rs:80

↓ 5 callersFunctiontest_all_sparse_perms

(size: usize)

circ_waksman/src/lib.rs:287

↓ 5 callersMethodto_str

To string

src/ir/term/ext.rs:110

↓ 5 callersFunctiontuple_or

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

src/ir/term/ty.rs:658

↓ 5 callersFunctiontwin

(i: usize)

circ_waksman/src/lib.rs:217

↓ 5 callersMethodty

(&self)

circ_fields/src/lib.rs:233

↓ 5 callersMethodtype_expression

( &self, expr: &mut ast::Expression<'ast>, zty: &mut ZExpressionTyper<'ast, 'ret, 'wlk

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

↓ 5 callersMethodtype_expression

( &self, expr: &mut ast::Expression<'ast>, zty: &mut ZExpressionTyper<'ast, 'ret, 'wlk

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

↓ 5 callersMethodunify

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

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

↓ 5 callersMethodunwrap_array

(self)

src/front/zsharpcurly/term.rs:166

↓ 5 callersMethodunwrap_array

(self)

src/front/zsharp/term.rs:154

↓ 5 callersMethodunwrap_list

(&self, tt: &'a TokTree<'src>, err: &str)

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

↓ 5 callersMethodunwrap_non_tuple

(self)

src/ir/opt/tuple.rs:147

↓ 5 callersMethodvalue

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

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

↓ 4 callersMethodadd_prover_and_verifier

(&mut self)

src/ir/proof.rs:22

↓ 4 callersFunctionall_eq_or

( mut a: I, ctx: &'static str, )

src/ir/term/ty.rs:677

↓ 4 callersFunctionand

Operator &&

src/front/datalog/term.rs:298

↓ 4 callersFunctionapply

Do set lookup arguments

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

↓ 4 callersMethodassert_field

(&self, other: &Term)

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

↓ 4 callersMethodassert_hashable

Assert that `other` is hashable using the field of `self`.

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

↓ 4 callersMethodassign

Assign `loc` in the current scope to `val`. If `public`, then make the new variable version a public (fixed) rather than private (existential) circui

src/circify/mod.rs:578

↓ 4 callersFunctionbos_to_type

(bos: ast::BasicOrStructOrTupleType)

src/front/zsharpcurly/zvisit/mod.rs:28

↓ 4 callersFunctionbos_to_type

(bos: ast::BasicOrStructType)

src/front/zsharp/zvisit/mod.rs:28

↓ 4 callersMethodcirc_enter_condition

(&self, cond: Term)

src/front/zsharpcurly/mod.rs:2341

↓ 4 callersMethodcirc_exit_condition

(&self)

src/front/zsharpcurly/mod.rs:2347

↓ 4 callersMethodcirc_get_value

(&self, loc: Loc)

src/front/zsharpcurly/mod.rs:2401

↓ 4 callersMethodcirc_get_value

(&self, loc: Loc)

src/front/zsharp/mod.rs:2305

↓ 4 callersMethodcirc_load

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

src/front/c/mod.rs:1342

↓ 4 callersFunctioncoerce_to_field

(i: T)

src/front/zsharp/term.rs:916

↓ 4 callersMethoddeclare_init

Declare `name` in the current scope as being a `ty`, and being equal to `val`. If `public`, then make it a public (fixed) rather than private (existe

src/circify/mod.rs:567

↓ 4 callersMethoddeclare_input

( &self, ctx: &mut CirCtx, ty: &Self::Ty, name: String, visibility: Op

src/front/datalog/term.rs:354

↓ 4 callersMethoddefault

(&self, ctx: &CirCtx)

src/front/c/types.rs:97

↓ 4 callersFunctiondgcd

(p)

doc/mem/der_xgcd/dnc.py:19

↓ 4 callersMethodenter_fn

Enter a function, `name`, with return type `ret_ty`.

src/circify/mod.rs:687

↓ 4 callersMethodexit_fn

Exit a function call. ## Returns Returns the return value of the function, if any.

src/circify/mod.rs:738

↓ 4 callersMethodfdef_gen_ty

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

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

↓ 4 callersMethodfdef_gen_ty

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

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

↓ 4 callersFunctionfield_comp

XXX(constr_opt) see TODO file - only need to expand to MIN of two bit-lengths if done right XXX(constr_opt) do this using subtraction instead?

src/front/zsharpcurly/term.rs:566

↓ 4 callersFunctionfield_comp

XXX(constr_opt) see TODO file - only need to expand to MIN of two bit-lengths if done right XXX(constr_opt) do this using subtraction instead?

src/front/zsharp/term.rs:578

↓ 4 callersMethodfield_select

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

src/front/c/mod.rs:379

↓ 4 callersMethodfull_ref

(&self)

circ_fields/src/lib.rs:312

↓ 4 callersMethodgenerics_stack_push

(&self, generics: HashMap<String, T>)

src/front/zsharpcurly/mod.rs:802

↓ 4 callersMethodgenerics_stack_push

(&self, generics: HashMap<String, T>)

src/front/zsharp/mod.rs:700

↓ 4 callersMethodid

(&self)

circ_hc/src/raw/example_u8.rs:218

↓ 4 callersMethodid

(&self)

circ_hc/src/raw/template.rs:218

↓ 4 callersMethodid

(&self)

circ_hc/src/rc/template.rs:237

↓ 4 callersMethodident_string

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

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

↓ 4 callersFunctionint_promotion

Implementation of integer promotion (C11, 6.3.1.1.3)

src/front/c/term.rs:219

↓ 4 callersMethodinto_map

(self)

src/front/mod.rs:92

↓ 4 callersMethodload

Load the value of index `offset` from the allocation `id`.

src/circify/mem.rs:96

↓ 4 callersFunctionmake_varname

(id: &str, sfx: &str)

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

↓ 4 callersFunctionmake_varname

(id: &str, sfx: &str)

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

↓ 4 callersFunctionname_from_decl

(decl: &Declarator)

src/front/c/ast_utils.rs:55

↓ 4 callersMethodop

(&self)

circ_hc/src/rc/template.rs:241

↓ 4 callersFunctionopt

Run optimizations on `cs`, in this order, returning the new constraint system.

src/ir/opt/mod.rs:65

↓ 4 callersFunctionparse_precompute

Parse a pre-computation.

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

↓ 4 callersMethodrecip

(self)

circ_fields/src/lib.rs:521

↓ 4 callersMethodrestrict_to_inputs

Retain only the parts of this precomputation that can be evaluated from the `known` inputs.

src/ir/term/precomp.rs:60

↓ 4 callersMethodsequence

immutable access to the outputs

src/ir/term/precomp.rs:36

↓ 4 callersMethodstructure

(&self, flattened: impl IntoIterator<Item = Term>)

src/ir/opt/tuple.rs:92

↓ 4 callersFunctionsub_test

(xs: Vec<Term>, n: usize)

src/ir/opt/inline.rs:187

↓ 4 callersFunctionsum_tree

examples/C/mpc/benchmarks/db/db.h:41

↓ 4 callersFunctiontest_all_dense_perms

(size: usize)

circ_waksman/src/lib.rs:280

↓ 4 callersFunctionto_dflt_f

(t: Term)

src/front/zsharpcurly/term.rs:469

↓ 4 callersFunctionto_dflt_f

(t: Term)

src/front/zsharp/term.rs:481

↓ 4 callersFunctiontraversal_crosscheck_skipif

(t: Term, skips: Vec<Term>)

src/ir/term/extras.rs:339

↓ 4 callersMethodtraverse_full

( &mut self, computation: &mut Computation, precompute: bool, persistent_array

src/ir/opt/visit.rs:38

↓ 4 callersMethodunwrap_array_ir

(self)

src/front/zsharpcurly/term.rs:155

↓ 4 callersMethodunwrap_array_ir

(self)

src/front/zsharp/term.rs:143

↓ 4 callersMethodunwrap_prefix_list

(&self, tt: &'a TokTree<'src>, prefix: &str)

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

↓ 4 callersMethodvisit_literal_expression

( &mut self, lexpr: &mut ast::LiteralExpression<'ast>, )

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

↓ 4 callersMethodvisit_literal_expression

( &mut self, lexpr: &mut ast::LiteralExpression<'ast>, )

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

↓ 4 callersMethodvisit_statement

(&mut self, stmt: &mut ast::Statement<'ast>)

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

↓ 4 callersMethodvisit_statement

(&mut self, stmt: &mut ast::Statement<'ast>)

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

↓ 4 callersFunctionwrap_bin_pred

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

src/front/zsharpcurly/term.rs:347

↓ 4 callersFunctionwrap_bin_pred

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

src/front/zsharp/term.rs:359

↓ 4 callersMethodzero_allocate

Zero allocate an array

src/circify/mod.rs:855

← previous next →201–300 of 2,442, ranked by callers