Corey Lewis
Corey Lewis
> Feedback: > > commits: > > * is it worth having three commits for updating the proofs after the monad consistency commit? I'd squash at least the automated ones...
This PR has now been updated with a commit making equivalent changes to the FPU handling code in the x64 specification, and a commit making the required changes to the...
This has been rebased and had a few additional changes included following the earlier discussions.
> On the commits, why is "x64 spec: update specifications for semi-lazy FPU changes" not merged in with the others? It's a bit confusing, there's AARCH64 work split up across...
> The question is whether you believe there is beneficial information in the extra commits. In my mind the aarch64+x64 are together because of FPU, and then the rest are...
Typo in commit message title: "refine: valid_bades + mdb_chunked arch interface" should be "valid_badges"
One thing to keep in mind is that I remember some parts of the `DSpec` state and its behaviour being added to make sure that it accurately represented all of...
> What happens if you have the long version with the same `CNodeMint` ID in the XML, does that break the parser? I can have a look, see if I...