Matthew A Rinehart
Matthew A Rinehart
### Why As a Manticore engineer, I need to understand the nominal level at which Manticore operates so that I know if what I'm developing impacts performance of the product....
### Why As a Manticore user, I want to work with binaries that frequently perform string manipulation. Since symbolic string manipulation can be computationally intensive, I'd rather use a high-level...
### Why As Manticore engineering, we want to provide symbolic execution training material for users to self-train on the process. ### Acceptance Criteria - We have three intermediate-level exercises in...
Update configuration file documentation. Specifics TBD.
Improve the internal unit test API
Continue refactoring the internal types to make the code more modular and present a more uniform API with lens etc
Publish another paper. Lots of details to be worked out here, topic not the least of which.
Develop a sort of "RPC mode" where contract code can also be fetched from an "on-chain" source on an as-needed basis, which is sort of what multicontract was designed to...