{"push_id":1045236071,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"b7a4c6f8701c45b64997e9a72a9769cda86a64ec","before":"20f87e8e5449374552977ecf2051ec7df3f9dae1","commits":[{"sha":"3054b308727081c7a2f8e6293f624d5795c3dd6e","author":{"email":"be58142dfeb46354ade24e1bf98c5ca71cb8cbfe@meriac.com","name":"Milosch Meriac"},"message":"Removed mbed uVisor Job offer from README.md","distinct":true,"url":"https://api.github.com/repos/AlessandroA/uvisor/commits/3054b308727081c7a2f8e6293f624d5795c3dd6e"},{"sha":"b7a4c6f8701c45b64997e9a72a9769cda86a64ec","author":{"email":"fc47fba1bb8f0f91ed063c77f8c07744f2a8b659@gmail.com","name":"Nathan Chong"},"message":"Fix out-by-one error in vmpu_region_bits\n\nThis function should compute ceil(log2(size)); the number of bits needed to\naddress a region of 'size' bytes. If size < 32 then this should be 5 bits\n(since the minimum supported region size in v7M is 32 bytes). The function was\nincorrect for this case (returning 6 bits) because it rounded-up *after* the\nminimum size check.\n\nThe fix has been checked exhaustively by CBMC.","distinct":true,"url":"https://api.github.com/repos/AlessandroA/uvisor/commits/b7a4c6f8701c45b64997e9a72a9769cda86a64ec"}]}