{"push_id":897398792,"size":173,"distinct_size":173,"ref":"refs/heads/master","head":"821a528d890c3f6248a2c0aa93d9996285761611","before":"b39f115a6fa257fd88d99ab551a8d7e31e466e89","commits":[{"sha":"aa51ea15ae7c3b21f9ea0eee7a03c6e23593225c","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"bunch of renames","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/aa51ea15ae7c3b21f9ea0eee7a03c6e23593225c"},{"sha":"f4ca2029a2eaf1449ae70d0f3b6c69e6e66ed983","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"changed all instances of state.BV to state.se.BVS","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/f4ca2029a2eaf1449ae70d0f3b6c69e6e66ed983"},{"sha":"3f6a950e6dbe5e2ad96ea04117a6e7da34ffc5fb","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"first, incomplete round of renames and updates to new api","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/3f6a950e6dbe5e2ad96ea04117a6e7da34ffc5fb"},{"sha":"0887065b01d00c220dddc2939e72fd27a23978a2","author":{"email":"51f8794e57fc8b47a4dbf92a96eefe072e863de1@lists.cs.ucsb.edu","name":"angr release bot"},"message":"ticked version number to 4.5.9.14","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/0887065b01d00c220dddc2939e72fd27a23978a2"},{"sha":"aedeb5678645550859f6c43e07cf31e4de1a4b98","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"TESTCASES PASS","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/aedeb5678645550859f6c43e07cf31e4de1a4b98"},{"sha":"f2ba05bc2b6917b68caa19923f4ed521874a46ea","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"relented on the removal of .model, re-added ._model_X for each backend","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/f2ba05bc2b6917b68caa19923f4ed521874a46ea"},{"sha":"ce1f2a44fb37a07299700cf1850bc55178d721e7","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"fixed any_str in light of the current changes to not return BVVs from solves","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/ce1f2a44fb37a07299700cf1850bc55178d721e7"},{"sha":"ffe9dbaf5965501fc69aad3432b36fb4b7dc1595","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"updated various incorrect API usages and removed state.StridedInterval","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/ffe9dbaf5965501fc69aad3432b36fb4b7dc1595"},{"sha":"2601ef27ebb97bf2fcff78085adde87220bf6b10","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"unfuck s_format","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/2601ef27ebb97bf2fcff78085adde87220bf6b10"},{"sha":"9dd3848337c62e8498ed506946bc0cb24aca7520","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"fix the sign extension","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/9dd3848337c62e8498ed506946bc0cb24aca7520"},{"sha":"f661a211d48e75b50e8a3d992234b24b13503e24","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"Merge branch 'master' into wip/unification","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/f661a211d48e75b50e8a3d992234b24b13503e24"},{"sha":"1c4441bd252468fc6e68bb8480bcf269bdb68180","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"update for archinfo-pyvex independence","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/1c4441bd252468fc6e68bb8480bcf269bdb68180"},{"sha":"09fa7b67927bfe9784cce6d05ef32a5c0ca6a162","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"merged","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/09fa7b67927bfe9784cce6d05ef32a5c0ca6a162"},{"sha":"40606888af5268a0810b305924c7813b255d63a1","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"update BVV call to use se.BVV","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/40606888af5268a0810b305924c7813b255d63a1"},{"sha":"b5f14294253f28ece9e53399c13f0697d83f05f6","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"simplify simple conditions","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/b5f14294253f28ece9e53399c13f0697d83f05f6"},{"sha":"d9fa68a492c2e0a0f6fe699021478894128b7e7c","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"fix testcase","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/d9fa68a492c2e0a0f6fe699021478894128b7e7c"},{"sha":"991f4d311dea5153a25e46e3a2ec8c923ab86111","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"fix merge conflict","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/991f4d311dea5153a25e46e3a2ec8c923ab86111"},{"sha":"11815c94199596d6013e43a2b51f4425d42f6956","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"don't do full solves in fastpath mode","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/11815c94199596d6013e43a2b51f4425d42f6956"},{"sha":"bbf2fb4d06e84b6f406db0c85b66fb3df9f973bb","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"fix up a dirty helper for new claripy API, added some pylint disables","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/bbf2fb4d06e84b6f406db0c85b66fb3df9f973bb"},{"sha":"1258449281a42c32075bfc0a2ee0b67f09bd7f07","author":{"email":"1a6169b5f0e6745c4ef3651cc97d41ea88566d0d@yancomm.net","name":"Yan"},"message":"another api fix","distinct":true,"url":"https://api.github.com/repos/chubbymaggie/simuvex/commits/1258449281a42c32075bfc0a2ee0b67f09bd7f07"}]}