Dan Guido
Dan Guido
Ah, it looks like the process improved a little bit since I last looked at it. You need to compile the gitbook and output the HTML to the /docs/ directory....
Thanks! Can you submit a PR to fix these relative links? Not sure how they got out of sync.
Thanks, that's a great idea. I'll ask someone on the team to follow up on it within a day or two.
Thanks for the PR! Can you include some more detail in your writeup. We want to have the following sections for all of our writeups: - [ ] Description of...
Hey Elena, I think we integrated all of the MAIAN checks into [Slither](https://github.com/crytic/slither). MAIAN's toolchain is not really keeping up with development of Solidity, but Slither is. SMTChecker is similarly...
Sorry for the confusion Leonardo. > Also, why shouldn't they run MAIAN even though Slither already does everything? Different implementations might yield different results. I always wonder why people try...
ManticoreEVM works fine on macOS, but anything else is a long ways off. The only platform that angr and manticore can reliably work from is Linux.
As far as I understand, no, that will not work.
#404 looks like a different issue. Responding to this is not urgent. I simply removed the access restrictions to the organization in question.
Ah, yeah I was using pre tags. Thanks for the tip!