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 11Markdown 1TOML 187 Definiciones

⎇ main src/lattice.rs Quién tocó qué Código

Cada definición con el último cambio que la dejó así, no cada línea: quién, cuándo, y si nació, cambió por dentro, cambió de firma o se llamaba de otra forma.

DefinicionesÚltimo cambioQuién
trait LatticeCell pub nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
struct Nat pub nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
def INF pub nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn join nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn meet nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn bottom nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn top nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
enum ResetVal pub nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn partial_cmp nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn join nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn meet nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn bottom nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn top nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
trait GaloisRestriction pub nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
struct IdentityGalois pub nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn lower nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn upper nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
struct ScaleGalois pub nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn new pub nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn lower nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn upper nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
mod tests nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn leyes_de_reticulo nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn nat_st nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición
fn reset_st nació T5: retículos y restricciones de Galois (pista de Tarski)Sergio · ⟲ Historia de la definición

se miraron los últimos 1 cambios del archivo