Closed mattaudesse closed 5 years ago
This is complete as of aed5e779
save for one Solidity require
statement that's currently failing:
require((v21 == (uint256(keccak256(abi.encodePacked((ALA_BCAT((abi.encodePacked(v34)), (abi.encodePacked(v35))))))))));
We've got some polishing left to do (which we can track elsewhere), but I think it's safe to call this "done" finally - closing.
Note: #1 depends on this being completed.