{"push_id":2461369692,"size":6,"distinct_size":1,"ref":"refs/heads/dev-rm-slow-solver-code","head":"2471292a5c5131dd01221d211139006bceb47018","before":"4265e71d95946e0521e7cbb136fcb6045f50c6c6","commits":[{"sha":"2f382a9d1c8bdefd667b233ce4d1807682bc8804","author":{"name":"Arun John Kuruvilla","email":"5dfc87937f38fe2d31899843dbb63236f38e0fa7@gmail.com"},"message":"Added KeyError Exception for offsets not in srcmap. Issue #832 (#839)","distinct":false,"url":"https://api.github.com/repos/trailofbits/manticore/commits/2f382a9d1c8bdefd667b233ce4d1807682bc8804"},{"sha":"bda9c091b58acf3ea19de876a75cd0e49e1ec5ea","author":{"name":"Mark Mossberg","email":"03abb31dd2e94d9be3429ce3c50cfc661e235f35@gmail.com"},"message":"Manticore 0.1.8 (#851)\n\n(thanks for 1k)\r\n\r\n* Bump version numbers\r\n\r\n* initial changelog update\r\n\r\n* Add changelog content\r\n\r\n* add contribs","distinct":false,"url":"https://api.github.com/repos/trailofbits/manticore/commits/bda9c091b58acf3ea19de876a75cd0e49e1ec5ea"},{"sha":"af779d8baad19fa91f1007366bf877403f59f9bc","author":{"name":"cclauss","email":"585dd401264c1e46d17ebec1862e5d2a9b6a6c5d@bluewin.ch"},"message":"Do not forget self (again) (#854)","distinct":false,"url":"https://api.github.com/repos/trailofbits/manticore/commits/af779d8baad19fa91f1007366bf877403f59f9bc"},{"sha":"6616b9e05c3669c143be0af65234a89187c1c0fc","author":{"name":"Mark Mossberg","email":"03abb31dd2e94d9be3429ce3c50cfc661e235f35@gmail.com"},"message":"Ethereum ABI and misc fixes (#855)\n\n* Port most of the less invasive/controversial changes from dev-evm-dynamicarguments\r\n\r\n* Port section of fixes from ethereum.py\r\n\r\n* Port tests unrelated to concretizing dyn args\r\n\r\n* Add remaining changes from evm.py\r\n\r\n* clean, fmt, code climate\r\n\r\n* rm unnecessary setup\r\n\r\n* disable??\r\n\r\n* fmt\r\n\r\n* remove all the returns\r\n\r\n* lol cc\r\n\r\n* Rm unused code\r\n\r\n* port to .format\r\n\r\n* don't use map (for py2/3 compat)\r\n\r\n* simplify slicing\r\n\r\n* Rm dyn arg code, since it doesn't really even work\r\n\r\nand will be included when dev-evm-dynamicarguments is totally resolved\r\n\r\n* add address/get_uint test\r\n\r\n* Revert \"Rm dyn arg code, since it doesn't really even work\"\r\n\r\n69188da4caf1ff74288b6398e8140f627dc495c4","distinct":false,"url":"https://api.github.com/repos/trailofbits/manticore/commits/6616b9e05c3669c143be0af65234a89187c1c0fc"},{"sha":"0fc4bba9ad8ef61f9e1f23bc6d0a88b7a05aa385","author":{"name":"ggrieco-tob","email":"f8e448e6bd386f93aba7bd7e1c79cec228343da2@users.noreply.github.com"},"message":"Added all the uint types supported by Solidity (#811)\n\n* added all the uint types supported by solidity\r\n\r\n* fixed some incorrect indentation\r\n\r\n* Added missing space around \"+\"\r\n\r\n* added some proper exceptions and included all the integer parameter types\r\n\r\n* improved exception handling\r\n\r\n* missing check\r\n\r\n* added preliminary version of unit test for ABI\r\n\r\n* x\r\n\r\n* half finished\r\n\r\n* tes\r\n\r\n* fixes\r\n\r\n* docstr\r\n\r\n* Raise exception only once\r\n\r\n* cc\r\n\r\n* Fix merge bug\r\n\r\n* fix merge bug in tests\r\n\r\n* Fix bugs introduced in merge","distinct":false,"url":"https://api.github.com/repos/trailofbits/manticore/commits/0fc4bba9ad8ef61f9e1f23bc6d0a88b7a05aa385"},{"sha":"2471292a5c5131dd01221d211139006bceb47018","author":{"name":"Mark Mossberg","email":"f1b5a91d4d6ad523f2610114591c007e75d15084@trailofbits.com"},"message":"Rm the slow solver code","distinct":true,"url":"https://api.github.com/repos/trailofbits/manticore/commits/2471292a5c5131dd01221d211139006bceb47018"}]}
{"actor":{"display_login":"mossberg"}}