{"push_id":2366474459,"size":5,"distinct_size":1,"ref":"refs/heads/dev-fix-solver-getvalue","head":"30f9452a064081b706d707f3daa03552cf4af5eb","before":"d2b694733d8c7373dc121297111d58b6c7ea7687","commits":[{"sha":"394401e3f45fe23ba32af7f49b1332f35a067933","author":{"name":"Yan Ivnitskiy","email":"cabce391cf888f87596dff36824ebbf861bdc136@users.noreply.github.com"},"message":"Fix ARMv7's ADD (#769)\n\n* Fix armv7's ADD","distinct":false,"url":"https://api.github.com/repos/trailofbits/manticore/commits/394401e3f45fe23ba32af7f49b1332f35a067933"},{"sha":"a3ee31e6e69d974bc3a4cd39760c70c666e19867","author":{"name":"Yan Ivnitskiy","email":"cabce391cf888f87596dff36824ebbf861bdc136@users.noreply.github.com"},"message":"Manticore 0.1.7 Release (#764)","distinct":false,"url":"https://api.github.com/repos/trailofbits/manticore/commits/a3ee31e6e69d974bc3a4cd39760c70c666e19867"},{"sha":"461da57ea3a9b30c20b52d7bcded863d680f3fcd","author":{"name":"feliam","email":"f9a24cc869df19c76926caff3b17e1f12d77060d@gmail.com"},"message":"Array value configurable. 8,16,32..256 bits (not prefixed to 8) (#732)\n\n* Array value configurable. 8,16,32..256 bits (not prefixed to 8)\r\n\r\n* Test Array256->256\r\n\r\n* Remove old 8 bit assumptions\r\n\r\n* Add arrayProxy copy constructors and remove old 8 bit assumptions\r\n\r\n* remove old 8 bit assumptions\r\n\r\n* remove old 8 bit assumptions\r\n\r\n* Better ArrayProxy special case handling\r\n\r\n* Fix tests\r\n\r\n* Review fixes\r\n\r\n* review fix\r\n\r\n* fix gas variable\r\n\r\n* Review fixes\r\n\r\n* Fix vm.gas access","distinct":false,"url":"https://api.github.com/repos/trailofbits/manticore/commits/461da57ea3a9b30c20b52d7bcded863d680f3fcd"},{"sha":"39370ccf3c9f74c3bb67eb7413b41993377a0948","author":{"name":"Pierre Pronchery","email":"baf6a83d2a7c96c3bcfd46e10472b9db20606e8a@defora.org"},"message":"Let the Python interpreter be specified externally (#774)","distinct":false,"url":"https://api.github.com/repos/trailofbits/manticore/commits/39370ccf3c9f74c3bb67eb7413b41993377a0948"},{"sha":"30f9452a064081b706d707f3daa03552cf4af5eb","author":{"name":"Yan Ivnitskiy","email":"cabce391cf888f87596dff36824ebbf861bdc136@users.noreply.github.com"},"message":"Merge branch 'master' into dev-fix-solver-getvalue","distinct":true,"url":"https://api.github.com/repos/trailofbits/manticore/commits/30f9452a064081b706d707f3daa03552cf4af5eb"}]}
{"actor":{"display_login":"yan"}}