ocaml-tracker/lib · monopampam · Tangled

My own corner of monopam

monopampam ocaml-tracker lib

1 folder · 49 files

Thomas Gazagnaire · tracker: an unknown SSH host is refused at fetch, naming it, whatever the machine's agent holds · 1w ago

h2: enforce SETTINGS acknowledgement deadlines

tracker: carry definition resolver into the check branch

tracker: carry definition resolver into the check branch

tracker: judge every write against the schema's write rules

tracker: judge every write against the schema's write rules

tracker: keep a row's comments in their order, in bounded directories

tracker: keep a row's comments in their order, in bounded directories

tracker: serve every linked store, each id read by its prefix

tracker: serve every linked store, each id read by its prefix

tracker: follow fsm's abstract state and event names

tracker: a written row meets every write rule

tracker: answer tk search and the duplicate check from the projection

tracker: answer tk search and the duplicate check from the projection

tracker: tk hook reads the schema the queue's event module writes

tracker: kinds and their fields come from schema.toml

tracker: kinds and their fields come from schema.toml

exploration_json.ml

tracker: model gated independent exploration

exploration_json.mli

tracker: model gated independent exploration

tracker: model gated independent exploration

exploration.mli

tracker: model gated independent exploration

tracker: tk hook reads the schema the queue's event module writes

tracker: tk hook reads the schema the queue's event module writes

hook_transition.ml

tracker: judge a prerequisite in the store its prefix names, and refuse one no linked store holds

hook_transition.mli

tracker: the store path APIs take Fpath.t

intervention_history.ml

tracker: tk history prints the claim and closure transitions of a window

intervention_history.mli

tracker: tk history prints the claim and closure transitions of a window (red)

tracker: the store path APIs take Fpath.t

tracker: the store path APIs take Fpath.t

tracker: keep an imported closure's absent reason absent

tracker: kinds and their fields come from schema.toml

schema_candidate.ml

tracker: kinds and their fields come from schema.toml

schema_candidate.mli

tracker: kinds and their fields come from schema.toml

schema_command.ml

tracker: kinds and their fields come from schema.toml

schema_command.mli

tracker: kinds and their fields come from schema.toml

tracker: kinds and their fields come from schema.toml

schema_toml.mli

tracker: kinds and their fields come from schema.toml

sqlite_index.ml

tracker: keep an imported closure's absent reason absent

sqlite_index.mli

tracker: index published exploration phases locally

tracker: tk stats refuses a prerequisite no linked store can judge

tracker: tk stats refuses a prerequisite no linked store can judge

tracker: validate complete content before publishing a tree

tracker: drop the one-time conversion of the Beads export

tracker: separate reconciliation decisions from Git effects

store_model.mli

tracker: separate reconciliation decisions from Git effects

tracker: a write reads what it changes, not the store

tracker: a holder's second claim writes nothing

store_remote.ml

ocaml-git/test: git://host/path names a remote of the git protocol (red)

store_remote.mli

tracker: an unknown SSH host is refused at fetch, naming it, whatever the machine's agent holds

tracker: keep a row's comments in their order, in bounded directories

tracker: give rostered workers a sealed brief and published read