{"push_id":1198027032,"size":7,"distinct_size":1,"ref":"refs/heads/smt_gzip","head":"101b7592ba6356d76786f9010bd11cb6c36a7386","before":"34240aa81a70c376fb7a5026dbf47f155f7515f2","commits":[{"sha":"bf5b441a50d6d3fe56f6b02321576c8a6d8537cb","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Adjusting yices wrapper","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/bf5b441a50d6d3fe56f6b02321576c8a6d8537cb"},{"sha":"6e5eae0aad07f766457e7785f5fa201631e6b6ea","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"WIP: Yices","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/6e5eae0aad07f766457e7785f5fa201631e6b6ea"},{"sha":"e3f6d3c9e51b820dd144ddb9c9725de71ff01d33","author":{"name":"MikAnd","email":"2efaecb13765764dbbeee95a224589d043433c85@gmail.com"},"message":"Switched install script to yicespy","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/e3f6d3c9e51b820dd144ddb9c9725de71ff01d33"},{"sha":"f9ab66dcbd9478fde9a193a1096d33735b03ebce","author":{"name":"MikAnd","email":"2efaecb13765764dbbeee95a224589d043433c85@gmail.com"},"message":"Finished first beta version of the new YicesSolver based on the new wrapper","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/f9ab66dcbd9478fde9a193a1096d33735b03ebce"},{"sha":"f4e2cb44d38c15b9648d811ad514626bfd0592cf","author":{"name":"MikAnd","email":"2efaecb13765764dbbeee95a224589d043433c85@gmail.com"},"message":"Fixed finite-precision issues in yices wrapper and updated installer to refer to a specific git version of yicespy","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/f4e2cb44d38c15b9648d811ad514626bfd0592cf"},{"sha":"47428201ed285065f9f91ea0fcde873f9628484f","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@email.it"},"message":"Merge pull request #274 from pysmt/upgrade/yices3\n\nNew Yices Wrapper","distinct":false,"url":"https://api.github.com/repos/pysmt/pysmt/commits/47428201ed285065f9f91ea0fcde873f9628484f"},{"sha":"101b7592ba6356d76786f9010bd11cb6c36a7386","author":{"name":"Marco Gario","email":"0dcb888eb5cbfd1c7967ab48c1b5fd742e5538da@gmail.com"},"message":"Compressed all SMT2 test files\n\nThe parser recognizes compressed smt2 files if they end with .bz2\nIn this way, we can shrink the directory for small_set from 30MB to 1MB","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/101b7592ba6356d76786f9010bd11cb6c36a7386"}]}
{"actor":{"display_login":"marcogario"}}