Searched refs:TermSignature (Results 1 – 7 of 7) sorted by relevance
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/tests/utils/ |
| H A D | mod.rs | 14 use veri_ir::{ConcreteTest, Counterexample, TermSignature, VerificationResult};
27 Expect(fn(&TermSignature) -> VerificationResult),
131 let all_instantiations: Vec<&TermSignature> = term_signatures in test_rules_with_term()
284 let t = TermSignature { in test_concrete_aarch64_rule_with_lhs_termname()
325 let t = TermSignature { in test_concrete_input_from_file_with_lhs_termname()
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_ir/src/ |
| H A D | annotation_ir.rs | 38 pub struct TermSignature { struct
47 pub sig: TermSignature, argument
58 pub fn new(sig: TermSignature, assumptions: Vec<Expr>, assertions: Vec<Expr>) -> Self { in new() argument
66 pub fn sig(&self) -> &TermSignature { in sig() argument
|
| H A D | lib.rs | 78 pub struct TermSignature { struct
87 impl fmt::Display for TermSignature { argument
|
| /wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/ |
| H A D | verify.rs | 14 use veri_ir::{ConcreteTest, TermSignature, VerificationResult};
87 types: TermSignature, in verify_rules_for_term() argument
|
| H A D | annotations.rs | 9 use veri_ir::annotation_ir::{BoundVar, Const, Expr, TermAnnotation, TermSignature, Type};
10 use veri_ir::TermSignature as TermTypeSignature;
374 let sig = TermSignature { in parse_annotations()
404 let sig = TermSignature { in parse_annotations()
|
| H A D | type_inference.rs | 10 use veri_ir::{annotation_ir, ConcreteTest, Expr, TermSignature, Type, TypeContext};
105 types: &TermSignature, in type_rules_with_term_and_types() argument
167 types: &TermSignature, in type_annotations_using_rule() argument
1353 annotation: annotation_ir::TermSignature, in add_isle_constraints() argument
1995 types: &TermSignature, in create_parse_tree_pattern() argument
|
| H A D | solver.rs | 16 BinaryOp, ConcreteTest, Counterexample, Expr, TermSignature, Terminal, Type, TypeContext,
1630 _types: &TermSignature, in run_solver() argument
|