sim-incremental-core 0.1.2

Dependency-light incremental query graph with memo cutoff and bounded snapshots.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//! Stable, budgeted worklist propagation.

use std::{
    collections::{BTreeMap, BTreeSet},
    hash::Hash,
};

use crate::{BudgetKind, ContinuationToken, FingerprintValue, QueryBudgets, ValueFingerprint};

use super::{AdmittedTransfer, DataflowGraph, EdgeClass, JoinSemilattice, TransferPolicy};

// Lexical partitions retain one module-private invariant surface while keeping
// each source unit reviewable under the repository size policy.
include!("engine/contracts.rs");
include!("engine/execution.rs");
include!("engine/proof.rs");
include!("engine/tests.rs");