gioser

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.

⎇ main src/gf2.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
struct BitMatrix born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
fn new born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
fn from_matrix born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
fn get born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
fn set born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
fn swap_rows born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
fn xor_row_into born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
fn rref born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
fn null_space born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
struct Gf2Backend pub born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
fn rank born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
fn cokernel_basis born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
mod tests born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
fn mat born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
fn rank_exacto_sobre_gf2 born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
fn menos_uno_es_uno_mod_dos born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition
fn cokernel_del_triangulo born T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ History of the definition

the last 1 changes of the file were examined