{"push_id":1986428514,"size":1,"distinct_size":1,"ref":"refs/heads/integer","head":"571d186c6c901dd87cf147555bb4460bde6a3a0e","before":"5332d98261429c1d46256787f4baec0c7399f094","commits":[{"sha":"571d186c6c901dd87cf147555bb4460bde6a3a0e","author":{"name":"Brian Huffman","email":"1d116f0b038483048d2d3207abdc1968227df5ea@galois.com"},"message":"Support toInteger/fromInteger with symbolic arguments in :prove/:sat.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/cryptol/commits/571d186c6c901dd87cf147555bb4460bde6a3a0e"}]}
{"actor":{"display_login":"brianhuffman"}}