MCPcopy Create free account

hub / github.com/circify/circ / functions

Functions2,442 in github.com/circify/circ

⨍ Functions 2,442◇ Types & classes 328
↓ 2 callersFunctionset_cfg
Set the CirC configuration from a [CircCfg]. We recommends using [set], which takes a [CircOpt] instead.
src/cfg.rs:51
↓ 2 callersFunctionset_features
Filter invalid features and save features to a file. Parameters ---------- features : set of str set of features req
driver.py:307
↓ 2 callersMethodset_ssa_name
(&mut self)
src/circify/mod.rs:126
↓ 2 callersMethodsort
(&self)
src/front/datalog/term.rs:80
↓ 2 callersMethodstart_ram_for_leaf
Given a RAM leaf, create a new RAM.
src/ir/opt/mem/ram/volatile.rs:183
↓ 2 callersMethodstdlib
Get ref to contained ZStdLib
src/front/zsharpcurly/parser.rs:114
↓ 2 callersMethodstdlib
Get ref to contained ZStdLib
src/front/zsharp/parser.rs:114
↓ 2 callersMethodstore
Write the value `val` to index `offset` in the allocation `id`.
src/circify/mem.rs:103
↓ 2 callersFunctionsub
(a: &Term, b: &Term)
src/ir/opt/mem/ram/checker.rs:67
↓ 2 callersFunctionsuitable_const
(t: &Term)
src/ir/opt/mem/obliv.rs:33
↓ 2 callersMethodswitches
Return a list of switch settings.
circ_waksman/src/lib.rs:192
↓ 2 callersFunctionsymbolic_apply
Symbolically apply a Waksman network to the given `data`, using the given `switches` and the given `switch_fn`.
circ_waksman/src/lib.rs:223
↓ 2 callersFunctiont
()
src/ir/term/test.rs:182
↓ 2 callersMethodtag
(&self)
circ_fields/src/lib.rs:300
↓ 2 callersMethodtake_full
(&mut self)
circ_fields/src/lib.rs:324
↓ 2 callersMethodto_field_elems
Encode this access as a sequence of field terms. The sequence depends on `order` and on `c`. For example, if `c.covering_rom` is set, then the seque
src/ir/opt/mem/ram.rs:338
↓ 2 callersMethodtotal_num_bits
(&self)
src/front/c/types.rs:175
↓ 2 callersFunctiontrimap_op
(op: Op, a: Vec<Term>, b: Vec<Term>, c: Vec<Term>)
src/ir/opt/mem/ram/checker.rs:404
↓ 2 callersMethodtype_
(&self)
src/front/zsharpcurly/term.rs:130
↓ 2 callersMethodtype_
(&self)
src/front/zsharp/term.rs:118
↓ 2 callersMethodtype_
(&self)
src/circify/mod.rs:1021
↓ 2 callersFunctiontype_span
(ty: &'a ast::Type<'ast>)
src/front/zsharpcurly/mod.rs:2414
↓ 2 callersFunctiontype_span
(ty: &'a ast::Type<'ast>)
src/front/zsharp/mod.rs:2318
↓ 2 callersMethodu32
(&self, tt: &TokTree)
src/ir/term/text/mod.rs:425
↓ 2 callersFunctionuint_lit
Initialize an unsigned integer literal
src/front/datalog/term.rs:75
↓ 2 callersMethodunary_op
(&self, o: &ast::UnaryOperator)
src/front/zsharpcurly/mod.rs:758
↓ 2 callersMethodunary_op
(&self, o: &ast::UnaryOperator)
src/front/zsharp/mod.rs:655
↓ 2 callersMethoduniversal_hash
( &self, c: &AccessCfg, val_sort: &Sort, hasher: &hash::UniversalHasher, )
src/ir/opt/mem/ram.rs:437
↓ 2 callersFunctionusual_arith_conversions
(a: CTerm, b: CTerm)
src/front/c/term.rs:284
↓ 2 callersMethodvalue_alist
Parse associative value list
src/ir/term/text/mod.rs:462
↓ 2 callersMethodvar_decl_list
(&mut self, tt: &TokTree<'src>)
src/ir/term/text/mod.rs:827
↓ 2 callersMethodvisit
(&mut self, t: &Term)
src/ir/opt/mem/obliv.rs:45
↓ 2 callersMethodvisit_access
(&mut self, acc: &mut ast::Access<'ast>)
src/front/zsharpcurly/zvisit/zvmut.rs:338
↓ 2 callersMethodvisit_access
(&mut self, acc: &mut ast::Access<'ast>)
src/front/zsharp/zvisit/zvmut.rs:353
↓ 2 callersMethodvisit_array_access
(&mut self, aa: &mut ast::ArrayAccess<'ast>)
src/front/zsharpcurly/zvisit/zvmut.rs:350
↓ 2 callersMethodvisit_array_access
(&mut self, aa: &mut ast::ArrayAccess<'ast>)
src/front/zsharp/zvisit/zvmut.rs:365
↓ 2 callersMethodvisit_array_index_expression
(&mut self, e: &mut ast::Expression<'ast>)
src/front/zsharp/zvisit/zstmtwalker/mod.rs:876
↓ 2 callersMethodvisit_array_initializer_expression
( &mut self, aie: &mut ast::ArrayInitializerExpression<'ast>, )
src/front/zsharpcurly/zvisit/zstmtwalker/zexprtyper.rs:270
↓ 2 callersMethodvisit_array_initializer_expression
( &mut self, aie: &mut ast::ArrayInitializerExpression<'ast>, )
src/front/zsharp/zvisit/zstmtwalker/zexprtyper.rs:229
↓ 2 callersMethodvisit_assignee
(&mut self, asgn: &mut ast::Assignee<'ast>)
src/front/zsharpcurly/zvisit/zstmtwalker/mod.rs:904
↓ 2 callersMethodvisit_basic_or_struct_type
( &mut self, bsty: &mut ast::BasicOrStructOrTupleType<'ast>, )
src/front/zsharpcurly/zvisit/zvmut.rs:156
↓ 2 callersMethodvisit_basic_or_struct_type
( &mut self, bsty: &mut ast::BasicOrStructType<'ast>, )
src/front/zsharp/zvisit/zvmut.rs:182
↓ 2 callersMethodvisit_basic_type
(&mut self, bty: &mut ast::BasicType<'ast>)
src/front/zsharpcurly/zvisit/zvmut.rs:124
↓ 2 callersMethodvisit_basic_type
(&mut self, bty: &mut ast::BasicType<'ast>)
src/front/zsharp/zvisit/zvmut.rs:146
↓ 2 callersMethodvisit_binary_expression
(&mut self, be: &mut ast::BinaryExpression<'ast>)
src/front/zsharpcurly/zvisit/zstmtwalker/zexprtyper.rs:127
↓ 2 callersMethodvisit_binary_expression
(&mut self, be: &mut ast::BinaryExpression<'ast>)
src/front/zsharp/zvisit/zstmtwalker/zexprtyper.rs:104
↓ 2 callersMethodvisit_binary_operator
(&mut self, _bo: &mut ast::BinaryOperator)
src/front/zsharpcurly/zvisit/zvmut.rs:296
↓ 2 callersMethodvisit_binary_operator
(&mut self, _bo: &mut ast::BinaryOperator)
src/front/zsharp/zvisit/zvmut.rs:318
↓ 2 callersMethodvisit_decimal_number
(&mut self, dn: &mut ast::DecimalNumber<'ast>)
src/front/zsharpcurly/zvisit/zvmut.rs:196
↓ 2 callersMethodvisit_dot_access
(&mut self, ma: &mut ast::DotAccess<'ast>)
src/front/zsharpcurly/zvisit/zvmut.rs:380
↓ 2 callersMethodvisit_explicit_generics
(&mut self, eg: &mut ast::ExplicitGenerics<'ast>)
src/front/zsharpcurly/zvisit/zconstlitrw.rs:320
↓ 2 callersMethodvisit_explicit_generics
(&mut self, eg: &mut ast::ExplicitGenerics<'ast>)
src/front/zsharp/zvisit/zconstlitrw.rs:302
↓ 2 callersMethodvisit_files
(&mut self)
src/front/zsharpcurly/mod.rs:2040
↓ 2 callersMethodvisit_files
(&mut self)
src/front/zsharp/mod.rs:1913
↓ 2 callersMethodvisit_identifier_expression_t
( &mut self, ie: &ast::IdentifierExpression<'ast>, )
src/front/zsharpcurly/zvisit/zstmtwalker/zexprtyper.rs:26
↓ 2 callersMethodvisit_identifier_expression_t
( &mut self, ie: &ast::IdentifierExpression<'ast>, )
src/front/zsharp/zvisit/zstmtwalker/zexprtyper.rs:26
↓ 2 callersMethodvisit_inline_array_expression
( &mut self, iae: &mut ast::InlineArrayExpression<'ast>, )
src/front/zsharpcurly/zvisit/zstmtwalker/zexprtyper.rs:293
↓ 2 callersMethodvisit_inline_array_expression
( &mut self, iae: &mut ast::InlineArrayExpression<'ast>, )
src/front/zsharp/zvisit/zstmtwalker/zexprtyper.rs:252
↓ 2 callersMethodvisit_inline_struct_expression
( &mut self, ise: &mut ast::InlineStructExpression<'ast>, )
src/front/zsharpcurly/zvisit/zstmtwalker/zexprtyper.rs:285
↓ 2 callersMethodvisit_inline_struct_expression
( &mut self, ise: &mut ast::InlineStructExpression<'ast>, )
src/front/zsharp/zvisit/zstmtwalker/zexprtyper.rs:244
↓ 2 callersMethodvisit_member_access
(&mut self, ma: &mut ast::MemberAccess<'ast>)
src/front/zsharp/zvisit/zvmut.rs:395
↓ 2 callersMethodvisit_parameter
(&mut self, param: &mut ast::Parameter<'ast>)
src/front/zsharpcurly/zvisit/zvmut.rs:104
↓ 2 callersMethodvisit_parameter
(&mut self, param: &mut ast::Parameter<'ast>)
src/front/zsharp/zvisit/zvmut.rs:104
↓ 2 callersMethodvisit_postfix_expression
( &mut self, pfe: &mut ast::PostfixExpression<'ast>, )
src/front/zsharpcurly/zvisit/zstmtwalker/zexprtyper.rs:360
↓ 2 callersMethodvisit_postfix_expression
( &mut self, pfe: &mut ast::PostfixExpression<'ast>, )
src/front/zsharp/zvisit/zstmtwalker/zexprtyper.rs:319
↓ 2 callersMethodvisit_range
(&mut self, rng: &mut ast::Range<'ast>)
src/front/zsharpcurly/zvisit/zstmtwalker/mod.rs:941
↓ 2 callersMethodvisit_range
(&mut self, rng: &mut ast::Range<'ast>)
src/front/zsharp/zvisit/zstmtwalker/mod.rs:885
↓ 2 callersMethodvisit_spread
(&mut self, spread: &mut ast::Spread<'ast>)
src/front/zsharpcurly/zvisit/zvmut.rs:405
↓ 2 callersMethodvisit_spread
(&mut self, spread: &mut ast::Spread<'ast>)
src/front/zsharp/zvisit/zvmut.rs:413
↓ 2 callersMethodvisit_spread_or_expression
( &mut self, soe: &mut ast::SpreadOrExpression<'ast>, )
src/front/zsharpcurly/zvisit/zvmut.rs:398
↓ 2 callersMethodvisit_spread_or_expression
( &mut self, soe: &mut ast::SpreadOrExpression<'ast>, )
src/front/zsharp/zvisit/zvmut.rs:406
↓ 2 callersMethodvisit_struct_definition
( &mut self, structdef: &mut ast::StructDefinition<'ast>, )
src/front/zsharpcurly/zvisit/zvmut.rs:79
↓ 2 callersMethodvisit_struct_definition
( &mut self, structdef: &mut ast::StructDefinition<'ast>, )
src/front/zsharp/zvisit/zvmut.rs:79
↓ 2 callersMethodvisit_struct_type
(&mut self, sty: &mut ast::StructType<'ast>)
src/front/zsharpcurly/zvisit/zvmut.rs:163
↓ 2 callersMethodvisit_struct_type
(&mut self, sty: &mut ast::StructType<'ast>)
src/front/zsharp/zvisit/zvmut.rs:189
↓ 2 callersMethodvisit_ternary_expression
( &mut self, te: &mut ast::TernaryExpression<'ast>, )
src/front/zsharpcurly/zvisit/zstmtwalker/zexprtyper.rs:89
↓ 2 callersMethodvisit_ternary_expression
( &mut self, te: &mut ast::TernaryExpression<'ast>, )
src/front/zsharp/zvisit/zstmtwalker/zexprtyper.rs:83
↓ 2 callersMethodvisit_tuple_type
(&mut self, sty: &mut ast::TupleType<'ast>)
src/front/zsharpcurly/zvisit/zvmut.rs:167
↓ 2 callersMethodvisit_type_definition
( &mut self, structdef: &mut ast::TypeDefinition<'ast>, )
src/front/zsharpcurly/zvisit/zvmut.rs:86
↓ 2 callersMethodvisit_type_definition
( &mut self, structdef: &mut ast::TypeDefinition<'ast>, )
src/front/zsharp/zvisit/zvmut.rs:86
↓ 2 callersMethodvisit_typed_identifier
(&mut self, ti: &mut ast::TypedIdentifier<'ast>)
src/front/zsharpcurly/zvisit/zstmtwalker/mod.rs:915
↓ 2 callersMethodvisit_typed_identifier_or_assignee
( &mut self, tioa: &mut ast::TypedIdentifierOrAssignee<'ast>, )
src/front/zsharpcurly/zvisit/zvmut.rs:480
↓ 2 callersMethodvisit_typed_identifier_or_assignee
( &mut self, tioa: &mut ast::TypedIdentifierOrAssignee<'ast>, )
src/front/zsharp/zvisit/zvmut.rs:457
↓ 2 callersMethodvisit_unary_expression
(&mut self, ue: &mut ast::UnaryExpression<'ast>)
src/front/zsharpcurly/zvisit/zstmtwalker/zexprtyper.rs:201
↓ 2 callersMethodvisit_unary_expression
(&mut self, ue: &mut ast::UnaryExpression<'ast>)
src/front/zsharp/zvisit/zstmtwalker/zexprtyper.rs:156
↓ 2 callersMethodwalk_accesses
( &self, mut ty: ast::Type<'ast>, accs: &[T], f: F, )
src/front/zsharpcurly/zvisit/zstmtwalker/mod.rs:603
↓ 2 callersMethodwalk_accesses
( &self, mut ty: ast::Type<'ast>, accs: &[T], f: F, )
src/front/zsharp/zvisit/zstmtwalker/mod.rs:548
↓ 2 callersFunctionwalk_assertion_statement
( visitor: &mut Z, asrt: &mut ast::AssertionStatement<'ast>, )
src/front/zsharpcurly/zvisit/walkfns.rs:853
↓ 2 callersFunctionwalk_assertion_statement
( visitor: &mut Z, asrt: &mut ast::AssertionStatement<'ast>, )
src/front/zsharp/zvisit/walkfns.rs:817
↓ 2 callersFunctionwalk_assignee
( visitor: &mut Z, asgn: &mut ast::Assignee<'ast>, )
src/front/zsharpcurly/zvisit/walkfns.rs:820
↓ 2 callersFunctionwalk_assignee
( visitor: &mut Z, asgn: &mut ast::Assignee<'ast>, )
src/front/zsharp/zvisit/walkfns.rs:795
↓ 2 callersFunctionwalk_boolean_type
( visitor: &mut Z, bty: &mut ast::BooleanType<'ast>, )
src/front/zsharpcurly/zvisit/walkfns.rs:238
↓ 2 callersFunctionwalk_boolean_type
( visitor: &mut Z, bty: &mut ast::BooleanType<'ast>, )
src/front/zsharp/zvisit/walkfns.rs:266
↓ 2 callersFunctionwalk_cond_store_statement
( visitor: &mut Z, s: &mut ast::CondStoreStatement<'ast>, )
src/front/zsharp/zvisit/walkfns.rs:828
↓ 2 callersFunctionwalk_decimal_literal_expression
( visitor: &mut Z, dle: &mut ast::DecimalLiteralExpression<'ast>, )
src/front/zsharpcurly/zvisit/walkfns.rs:351
↓ 2 callersFunctionwalk_decimal_literal_expression
( visitor: &mut Z, dle: &mut ast::DecimalLiteralExpression<'ast>, )
src/front/zsharp/zvisit/walkfns.rs:375
↓ 2 callersFunctionwalk_explicit_generics
( visitor: &mut Z, eg: &mut ast::ExplicitGenerics<'ast>, )
src/front/zsharpcurly/zvisit/walkfns.rs:317
↓ 2 callersFunctionwalk_explicit_generics
( visitor: &mut Z, eg: &mut ast::ExplicitGenerics<'ast>, )
src/front/zsharp/zvisit/walkfns.rs:341
↓ 2 callersFunctionwalk_expression
( visitor: &mut Z, expr: &mut ast::Expression<'ast>, )
src/front/zsharpcurly/zvisit/walkfns.rs:481
↓ 2 callersFunctionwalk_expression
( visitor: &mut Z, expr: &mut ast::Expression<'ast>, )
src/front/zsharp/zvisit/walkfns.rs:513
← previousnext →601–700 of 2,442, ranked by callers