Coding 2024-06-23
Poking some more at Dafny.
Articles in the short post tag
Coding 2024-06-22
I wasn't expecting some of these issues, but in retrospect, I can't imagine what else the documentation would have meant.
Coding 2024-06-20
Quick thoughts on the layouts... the "Relation" module should be separate, and all of the rest should be focused around "real-valued sums"...
Coding 2024-06-19
Let's get interesting...
Coding 2024-06-17
Looks like I have no choice but to make actual progress.
Coding 2024-06-16
Somewhat productive in spite of travel.
Coding 2024-06-15
Coverage actually went slightly down, and it'll go down a little further, but I want to see this code in a good state, not one that I just kind of mushed together to get the metrics working.
Coding 2024-06-14
Pondering Shenanigans
Coding 2024-06-13
Yay, I did something... Still feel horrible...
Coding 2024-06-12
Hopefully, I don't later discover that I somehow needed these to implement the protocol.