{"push_id":1668191609,"size":5,"distinct_size":1,"ref":"refs/heads/signbits","head":"5f2b5c7579c0b04a6429a062243d944f5d31d27c","before":"34cda9b159ac6f619fd68d4bc5ec832fbfe496b0","commits":[{"sha":"48b7baf00cfa9b73378173f6392c703af8c538e3","author":{"name":"Jubi","email":"0501fe77f6fca2e9870dffcf64e9f625c02d2b79@cs.utah.edu"},"message":"renaming power of two from 'p' to '2'","distinct":false,"url":"https://api.github.com/repos/jubitaneja/souper/commits/48b7baf00cfa9b73378173f6392c703af8c538e3"},{"sha":"5faed54ddc4a0e0e12647a0eac1da455a1067a47","author":{"name":"John Regehr","email":"65eff505e8ea6200d1c967e0b4c54cd583da6524@cs.utah.edu"},"message":"Merge pull request #246 from jubitaneja/power2-edit\n\nrenaming power of two from 'p' to '2'","distinct":false,"url":"https://api.github.com/repos/jubitaneja/souper/commits/5faed54ddc4a0e0e12647a0eac1da455a1067a47"},{"sha":"14701f2f9d5348df11ff75dd03aeecb28c82be2f","author":{"name":"Jubi","email":"0501fe77f6fca2e9870dffcf64e9f625c02d2b79@cs.utah.edu"},"message":"teach souper about data flow fact isKnownNegative\n\nThis is represented as: var (-)","distinct":false,"url":"https://api.github.com/repos/jubitaneja/souper/commits/14701f2f9d5348df11ff75dd03aeecb28c82be2f"},{"sha":"cf2911d2eb1e7c8ab465df5a722fa5cdac06e6fc","author":{"name":"John Regehr","email":"65eff505e8ea6200d1c967e0b4c54cd583da6524@cs.utah.edu"},"message":"Merge pull request #247 from jubitaneja/known-negative\n\nteach souper about data flow fact isKnownNegative","distinct":false,"url":"https://api.github.com/repos/jubitaneja/souper/commits/cf2911d2eb1e7c8ab465df5a722fa5cdac06e6fc"},{"sha":"5f2b5c7579c0b04a6429a062243d944f5d31d27c","author":{"name":"Jubi Taneja","email":"0501fe77f6fca2e9870dffcf64e9f625c02d2b79@cs.utah.edu"},"message":"Add support for another DFA on number of signbits\n\nExample: Variable with 3 sign bits i.e. sign bit is copied in high three bits of a 32-bit variable\n\n%0:i32 = var (s=3)","distinct":true,"url":"https://api.github.com/repos/jubitaneja/souper/commits/5f2b5c7579c0b04a6429a062243d944f5d31d27c"}]}
{"actor":{"display_login":"jubitaneja"}}