18:23:51Colleen<shinmera> So I'd like to make all of the SF3 spec machine-readable
18:24:07Colleen<shinmera> But I don't know how to do that for certain parts without also making the machine-readable spec really complicated.
18:24:24Colleen<shinmera> The reason I'd like it be machine-readable is so that we can generate parsers for the stuff.
18:25:45Colleen<shinmera> But for example stuff like "The size of the file, which is computed from FileOffset{n+1}-FileOffset{n}." is really hard to express
18:26:13Colleen<shinmera> Or "The remaining number of octets in the Entry. This can be obtained by subtracting the size of the Source, Category, Time, and Severity from the Size of the Entry."
18:26:31Colleen<shinmera> The rest I've been able to ratify away