tawasuyu

tawasuyu/hifas

Motor en Rust para decidir, con demostración y no a ojo, cuándo un conjunto de réplicas local-first puede operar sin coordinación y cuándo no — y, cuando la respuesta es "sí, dentro de límites", proveer el mecanismo que lo garantiza.

Rust 24Markdown 15TOML 1358 Definitions

⎇ main src/lattice.rs Who touched what Code

Each definition with the last change that left it this way, not each line: who, when, and whether it was born, changed inside, changed signature or went by another name.

DefinitionsLast changeWho
trait LatticeCell pub born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
struct Nat pub born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
def INF pub born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn join born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn meet born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn bottom born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn top born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
enum ResetVal pub born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn partial_cmp born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn join born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn meet born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn bottom born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn top born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
trait GaloisRestriction pub born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
struct IdentityGalois pub born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn lower born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn upper born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
struct ScaleGalois pub born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn new pub born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn lower born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn upper born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
mod tests born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn leyes_de_reticulo born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn nat_st born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition
fn reset_st born T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ History of the definition

the last 1 changes of the file were examined