Previous: Mon 23 Sep 2024
Next: Mon 7 Oct 2024
§Mon
§wrote out some of the formalisations in OCaml
§worked on LOCO submission
§Tue
§LOCO submission
§package management paper
cargo feature formalisation
§Wed
§package management paper
finished the cargo feature formalisation
described singular versions with conflicts
§Thur
§submitted second year report
§package management paper
I’ve thought of another complication with the source vs binary dichotomy – dependencies might result
language vs system package manager
source vs binary
§Why NixOS? Reproducibility? No. Atomicity.
§Fri
§package management paper
high-level representation - hypergraph
low-level representation - graph
CANCELED change depends order to match topological sort, Nix thesis, and build systems a la carte
DONE rename package calculus
DONE process Anil’s comments
DONE send draft over to the group