apunkt/nyx
1
0
Fork 0
mirror of https://github.com/elicpeter/nyx.git synced 2026-06-24 20:28:06 +02:00
Code Issues Projects Releases Packages Wiki Activity

[pitboss/grind] cleanup session-0012 (20260520T233019Z-6958)

Browse source
This commit is contained in:
pitboss 2026-05-21 07:10:26 -05:00
parent 227675021b
commit b468f31a68
8 changed files with 70 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/state/lattice.rs
View file

@ -4,7 +4,6 @@
/// - `join` is commutative, associative, and idempotent
/// - `bot()` is the identity for `join`
/// - `leq(a, b)` iff `join(a, b) == b`
#[allow(dead_code)]
pub trait Lattice: Clone + Eq + Sized {
/// Bottom element (least information / unreachable).
fn bot() -> Self;
@ -28,7 +27,6 @@ pub trait Lattice: Clone + Eq + Sized {
/// - `meet(a, b) ⊑ a` and `meet(a, b) ⊑ b`
/// - `widen(a, b) ⊒ join(a, b)` (widening is at least as imprecise as join)
/// - Ascending chains under `widen` stabilize in finite steps
#[allow(dead_code)]
pub trait AbstractDomain: Lattice {
/// Top element (no information / maximally imprecise).
fn top() -> Self;