Coding 2024-06-23
Poking some more at Dafny.
Poking some more at Dafny.
I wasn't expecting some of these issues, but in retrospect, I can't imagine what else the documentation would have meant.
Hooray for tooling!
Quick thoughts on the layouts... the "Relation" module should be separate, and all of the rest should be focused around "real-valued sums"...
Let's get interesting...
Definitely out of excuses at this point.
Looks like I have no choice but to make actual progress.
Somewhat productive in spite of travel.
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.
Pondering Shenanigans