1 viewer
rust 1,854,395 · typescript 233,161 · javascript 131,995 · python 19,227 · 6,379 files · digest 17dcda71e44b · built in 1.5 s · crystals off
crates/cre8-app-interpret/src/graph_query_proof.rs
Items
const QUERY_EVAL_SRC const QUERY_EVAL_LANGUAGE const QUERY_EVAL_ENTRY const OP_FILTER_KIND const OP_FILTER_PROP const OP_RESET const OP_PUSH const OP_POP_OR const OP_POP_AND const OP_TRAVERSE const OP_LIMIT const OP_SWAP const OP_NEIGHBORS const OP_FILTER_ID const FOLD_MASK const FOLD_SEED const MAX_PROJECTION_ROWS const MAX_EDGE_ROWS const MAX_PLAN_LEN const MAX_PROP_COLS struct KindPropQuery impl KindPropQuery struct GraphQueryEvaluation struct GraphQueryStarkProof enum GraphQueryError impl Display for GraphQueryError impl Error for GraphQueryError const MASK struct CompiledPlan const MAX_STACK_DEPTH type EdgePair struct ProjectionVertex struct Projection struct HostPlanState impl HostPlanState struct ProgramCounts
Functions
By call-graph weight (PageRank; 1.0 is the average function). 106 functions in all.
| function | kind | lines | cyclomatic | callers | callees | weight | crystal |
|---|---|---|---|---|---|---|---|
| djb2_53src/graph_query_proof.rs:519 | fn | 8 | 2 | 7 | 0 | 5.7 | |
| compile_intosrc/graph_query_proof.rs:576 | fn | 8 | 3 | 3 | 1 | 4.3 | |
| compile_ast_nodesrc/graph_query_proof.rs:585 | fn | 17 | 5 | 1 | 4 | 4.2 | |
| unwrap_vm_refsrc/graph_query_proof.rs:1089 | fn | 6 | 2 | 2 | 0 | 3.7 | |
| take_u64src/graph_query_proof.rs:1096 | fn | 8 | 4 | 3 | 1 | 2.9 | |
| plan_argsrc/graph_query_proof.rs:1056 | fn | 3 | 1 | 5 | 0 | 2.2 | |
| compile_plansrc/graph_query_proof.rs:557 | fn | 14 | 3 | 7 | 1 | 2 | |
| program_source_hashsrc/graph_query_proof.rs:1108 | fn | 6 | 1 | 4 | 0 | 1.9 | |
| target_kind_matchessrc/graph_query_proof.rs:1035 | fn | 3 | 1 | 1 | 0 | 1.8 | |
| push_traversed_flagsrc/graph_query_proof.rs:1020 | fn | 14 | 4 | 1 | 1 | 1.5 | |
| compile_set_branchsrc/graph_query_proof.rs:668 | fn | 7 | 2 | 1 | 1 | 1.4 | |
| djb2_47src/graph_query_proof.rs:530 | fn | 3 | 1 | 2 | 1 | 1.4 | |
| compile_seed_or_terminalsrc/graph_query_proof.rs:603 | fn | 9 | 5 | 1 | 2 | 1.4 | |
| compile_filtersrc/graph_query_proof.rs:613 | fn | 12 | 4 | 1 | 2 | 1.4 | |
| compile_compositionsrc/graph_query_proof.rs:636 | fn | 8 | 4 | 1 | 2 | 1.4 | |
| compile_edge_stepsrc/graph_query_proof.rs:676 | fn | 13 | 3 | 1 | 1 | 1.4 | |
| build_projectionsrc/graph_query_proof.rs:715 | fn | 13 | 1 | 4 | 4 | 1.3 | |
| host_run_plansrc/graph_query_proof.rs:863 | fn | 7 | 2 | 3 | 2 | 1.3 | |
| input_rejectedsrc/graph_query_proof.rs:1206 | fn | 3 | 2 | 1 | 1 | 1.2 | |
| projection_prop_hashsrc/graph_query_proof.rs:754 | fn | 3 | 1 | 1 | 1 | 1.2 | |
| build_argssrc/graph_query_proof.rs:1074 | fn | 14 | 1 | 1 | 0 | 1.2 | |
| missing_proof_messagesrc/graph_query_proof.rs:1248 | fn | 4 | 1 | 1 | 0 | 1.2 | |
| filter_flags_by_valuessrc/graph_query_proof.rs:908 | fn | 7 | 3 | 2 | 0 | 1.2 | |
| traverse_flagssrc/graph_query_proof.rs:1012 | fn | 7 | 2 | 2 | 1 | 1.2 | |
| apply_limit_flagsrc/graph_query_proof.rs:1048 | fn | 7 | 2 | 1 | 0 | 1.2 | |
| fold_flagssrc/graph_query_proof.rs:1060 | fn | 11 | 3 | 2 | 0 | 1.2 | |
| projection_vertexsrc/graph_query_proof.rs:741 | fn | 8 | 1 | 1 | 3 | 1.2 | |
| push_projection_propssrc/graph_query_proof.rs:825 | fn | 5 | 2 | 1 | 0 | 1.2 | |
| run_programsrc/graph_query_proof.rs:1129 | fn | 11 | 1 | 3 | 2 | 1.1 | |
| evaluate_querysrc/graph_query_proof.rs:1290 | fn | 7 | 1 | 5 | 3 | 1.1 | |
| ensure_prop_columnsrc/graph_query_proof.rs:626 | fn | 9 | 2 | 1 | 0 | 1.1 | |
| compile_thensrc/graph_query_proof.rs:645 | fn | 4 | 1 | 1 | 1 | 1.1 | |
| compile_set_algebrasrc/graph_query_proof.rs:650 | fn | 17 | 2 | 1 | 1 | 1.1 | |
| projection_hashsrc/graph_query_proof.rs:831 | fn | 25 | 5 | 2 | 0 | 1.1 | |
| HostPlanState::newsrc/graph_query_proof.rs:878 | method | 3 | 1 | 1 | 0 | 1 | |
| apply_host_plan_opsrc/graph_query_proof.rs:883 | fn | 9 | 5 | 1 | 4 | 1 | |
| checked_program_resultsrc/graph_query_proof.rs:1141 | fn | 10 | 1 | 1 | 3 | 1 | |
| program_outputsrc/graph_query_proof.rs:1253 | fn | 32 | 1 | 1 | 2 | 1 | |
| vertexsrc/graph_query_proof.rs:1468 | fn | 3 | 1 | 2 | 0 | 1 | |
| fixturesrc/graph_query_proof.rs:1483 | fn | 14 | 1 | 5 | 2 | 1 | |
| KindPropQuery::astsrc/graph_query_proof.rs:367 | method | 6 | 1 | 2 | 0 | 0.9 | |
| edgesrc/graph_query_proof.rs:1472 | fn | 9 | 1 | 1 | 0 | 0.9 | |
| kind_propsrc/graph_query_proof.rs:1498 | fn | 6 | 1 | 4 | 0 | 0.9 | |
| push_projection_edge_pairsrc/graph_query_proof.rs:800 | fn | 16 | 2 | 1 | 0 | 0.8 | |
| validate_input_statussrc/graph_query_proof.rs:1199 | fn | 6 | 2 | 1 | 1 | 0.8 | |
| validate_plan_statussrc/graph_query_proof.rs:1210 | fn | 6 | 2 | 1 | 1 | 0.8 | |
| reset_flagssrc/graph_query_proof.rs:949 | fn | 5 | 1 | 1 | 0 | 0.8 | |
| push_flag_stacksrc/graph_query_proof.rs:955 | fn | 8 | 2 | 1 | 0 | 0.8 | |
| pop_flag_stacksrc/graph_query_proof.rs:964 | fn | 8 | 5 | 1 | 0 | 0.8 | |
| swap_flag_stacksrc/graph_query_proof.rs:973 | fn | 6 | 1 | 1 | 0 | 0.8 | |
| projection_uses_edgesrc/graph_query_proof.rs:782 | fn | 3 | 2 | 1 | 0 | 0.8 | |
| push_projection_edge_pairssrc/graph_query_proof.rs:786 | fn | 13 | 3 | 1 | 2 | 0.8 | |
| projection_propssrc/graph_query_proof.rs:750 | fn | 3 | 1 | 1 | 1 | 0.8 | |
| run_query_eval_vmsrc/graph_query_proof.rs:1180 | fn | 6 | 1 | 1 | 1 | 0.8 | |
| program_result_objectsrc/graph_query_proof.rs:1187 | fn | 6 | 2 | 1 | 1 | 0.8 | |
| validate_program_statussrc/graph_query_proof.rs:1194 | fn | 4 | 1 | 1 | 2 | 0.8 | |
| program_countssrc/graph_query_proof.rs:1223 | fn | 3 | 1 | 1 | 1 | 0.8 | |
| verify_host_countssrc/graph_query_proof.rs:1227 | fn | 10 | 3 | 1 | 2 | 0.8 | |
| ensure_proof_bytessrc/graph_query_proof.rs:1238 | fn | 9 | 3 | 1 | 1 | 0.8 | |
| verify_graph_query_proofsrc/graph_query_proof.rs:1341 | fn | 21 | 4 | 3 | 1 | 0.8 | |
| result_mismatchsrc/graph_query_proof.rs:1427 | fn | 3 | 2 | 1 | 0 | 0.8 | |
| apply_value_filtersrc/graph_query_proof.rs:902 | fn | 5 | 1 | 1 | 2 | 0.8 | |
| apply_prop_filtersrc/graph_query_proof.rs:916 | fn | 7 | 1 | 1 | 2 | 0.8 | |
| apply_stack_control_opsrc/graph_query_proof.rs:932 | fn | 7 | 3 | 1 | 2 | 0.8 | |
| apply_stack_merge_opsrc/graph_query_proof.rs:940 | fn | 8 | 4 | 1 | 2 | 0.8 | |
| apply_traverse_plan_opsrc/graph_query_proof.rs:994 | fn | 5 | 1 | 1 | 2 | 0.8 | |
| apply_neighbors_plan_opsrc/graph_query_proof.rs:1000 | fn | 5 | 1 | 1 | 2 | 0.8 | |
| limit_flagssrc/graph_query_proof.rs:1039 | fn | 8 | 3 | 1 | 1 | 0.8 | |
| engine_result_setsrc/graph_query_proof.rs:1514 | fn | 3 | 1 | 3 | 0 | 0.8 | |
| projection_verticessrc/graph_query_proof.rs:729 | fn | 11 | 2 | 1 | 1 | 0.8 | |
| projection_vertex_indexsrc/graph_query_proof.rs:758 | fn | 3 | 1 | 1 | 0 | 0.8 | |
| projection_edgessrc/graph_query_proof.rs:762 | fn | 19 | 3 | 1 | 2 | 0.8 | |
| projection_prop_colssrc/graph_query_proof.rs:817 | fn | 7 | 2 | 1 | 1 | 0.8 | |
| run_and_parse_programsrc/graph_query_proof.rs:1152 | fn | 9 | 1 | 1 | 2 | 0.8 | |
| validated_program_countssrc/graph_query_proof.rs:1162 | fn | 6 | 1 | 1 | 2 | 0.8 | |
| finish_program_checkssrc/graph_query_proof.rs:1169 | fn | 10 | 1 | 1 | 2 | 0.8 | |
| prove_querysrc/graph_query_proof.rs:1305 | fn | 14 | 2 | 2 | 4 | 0.8 | |
| write_vm_result_errorsrc/graph_query_proof.rs:490 | fn | 7 | 3 | 1 | 0 | 0.8 | |
| write_rejection_errorsrc/graph_query_proof.rs:498 | fn | 9 | 3 | 1 | 0 | 0.8 | |
| verify_folded_resultsrc/graph_query_proof.rs:1415 | fn | 11 | 2 | 1 | 2 | 0.7 | |
| apply_filter_plan_opsrc/graph_query_proof.rs:893 | fn | 8 | 4 | 1 | 2 | 0.7 | |
| apply_stack_plan_opsrc/graph_query_proof.rs:924 | fn | 7 | 3 | 1 | 2 | 0.7 | |
| apply_traversal_plan_opsrc/graph_query_proof.rs:980 | fn | 13 | 3 | 1 | 2 | 0.7 | |
| apply_limit_plan_opsrc/graph_query_proof.rs:1006 | fn | 5 | 1 | 1 | 2 | 0.7 | |
| graph_query_program_fingerprintsrc/graph_query_proof.rs:1120 | fn | 6 | 1 | 1 | 0 | 0.7 | |
| our_result_setsrc/graph_query_proof.rs:1506 | fn | 6 | 1 | 2 | 3 | 0.7 | |
| write_shape_errorsrc/graph_query_proof.rs:461 | fn | 17 | 4 | 1 | 0 | 0.6 | |
| write_execution_errorsrc/graph_query_proof.rs:479 | fn | 10 | 4 | 1 | 2 | 0.6 | |
| write_proof_errorsrc/graph_query_proof.rs:508 | fn | 9 | 3 | 1 | 0 | 0.6 | |
| verify_state_commitmentsrc/graph_query_proof.rs:1379 | fn | 6 | 2 | 1 | 0 | 0.6 | |
| verify_query_hashsrc/graph_query_proof.rs:1386 | fn | 6 | 2 | 1 | 0 | 0.6 | |
| verified_projectionsrc/graph_query_proof.rs:1393 | fn | 12 | 2 | 1 | 3 | 0.6 | |
| verify_graph_resultsrc/graph_query_proof.rs:1406 | fn | 8 | 1 | 1 | 2 | 0.6 | |
| verify_against_graphsrc/graph_query_proof.rs:1367 | fn | 11 | 1 | 1 | 5 | 0.6 | |
| stark_witness_jsonsrc/graph_query_proof.rs:1435 | fn | 25 | 1 | 1 | 0 | 0.6 | |
| GraphQueryError::fmtsrc/graph_query_proof.rs:444 | trait impl | 13 | 3 | 0 | 3 | 0.5 | |
| evaluate_kind_prop_querysrc/graph_query_proof.rs:1321 | fn | 6 | 1 | 0 | 2 | 0.5 | |
| prove_kind_prop_querysrc/graph_query_proof.rs:1329 | fn | 6 | 1 | 0 | 2 | 0.5 | |
| vm_evaluation_matches_graph_truth_and_is_deterministicsrc/graph_query_proof.rs:1519 | fn | 18 | 1 | 0 | 4 | 0.5 | |
| engine_parity_across_all_supported_shapessrc/graph_query_proof.rs:1539 | fn | 59 | 2 | 0 | 5 | 0.5 | |
| count_is_terminal_and_parities_with_the_enginesrc/graph_query_proof.rs:1600 | fn | 15 | 1 | 0 | 4 | 0.5 | |
| limit_is_a_canonical_order_refinementsrc/graph_query_proof.rs:1617 | fn | 11 | 1 | 0 | 4 | 0.5 | |
| unsupported_shapes_error_cleanlysrc/graph_query_proof.rs:1630 | fn | 4 | 1 | 0 | 1 | 0.5 | |
| program_rejects_bad_inputssrc/graph_query_proof.rs:1636 | fn | 35 | 1 | 0 | 3 | 0.5 | |
| program_identity_is_pinned_by_source_hashsrc/graph_query_proof.rs:1673 | fn | 10 | 1 | 0 | 2 | 0.5 | |
| stark_roundtrip_proves_verifies_and_rejects_tamperingsrc/graph_query_proof.rs:1689 | fn | 39 | 1 | 0 | 7 | 0.5 |
Source not readable from this process.