{"push_id":2417146665,"size":110,"distinct_size":61,"ref":"refs/heads/octagon-fast-latest-rebase_2018","head":"14ae8b2a6e7af88748eb271143ff67a18fd25099","before":"4a3fcf13aee5b1cd93c8c482c22a3d0cf2671fb3","commits":[{"sha":"90bd99011aa21d1cb7f15dddd6f30d105ef59524","author":{"name":"Filippo Sestini","email":"931f4addfc6c3d64b5fbacf8496f8583271993bb@gmail.com"},"message":"Janitorial: Add breeze to build.sbt","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/90bd99011aa21d1cb7f15dddd6f30d105ef59524"},{"sha":"a5cf4259781b726ca427e3c02b2fa4669e382b51","author":{"name":"Tobia Tesan","email":"b889810df162d53dee0aa276e8ccdd20e9554f2f@gmail.com"},"message":"Janitorial: Add ScalaCheck as dependency","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/a5cf4259781b726ca427e3c02b2fa4669e382b51"},{"sha":"1ffc91ed19950d7d55479bfcd2975d56814e57cf","author":{"name":"Tobia Tesan","email":"b889810df162d53dee0aa276e8ccdd20e9554f2f@gmail.com"},"message":"Janitorial: Add workaround for sbt 1.0","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/1ffc91ed19950d7d55479bfcd2975d56814e57cf"},{"sha":"22c45775d6c7a0442966cadca3a26a5b4d7c4a28","author":{"name":"Tobia Tesan","email":"b889810df162d53dee0aa276e8ccdd20e9554f2f@gmail.com"},"message":"Octagon: Add class VarIndex","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/22c45775d6c7a0442966cadca3a26a5b4d7c4a28"},{"sha":"9325bf0cdcd4045dbae6767897827c53edb2cd9e","author":{"name":"Tobia Tesan","email":"b889810df162d53dee0aa276e8ccdd20e9554f2f@gmail.com"},"message":"Octagon: Add VarIndexOps","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/9325bf0cdcd4045dbae6767897827c53edb2cd9e"},{"sha":"107053ae1a5e0e63ea05db5294c15e3cd7fd45a4","author":{"name":"Filippo Sestini","email":"931f4addfc6c3d64b5fbacf8496f8583271993bb@gmail.com"},"message":"Octagon: Add VarIndexUtils","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/107053ae1a5e0e63ea05db5294c15e3cd7fd45a4"},{"sha":"f591f497613bf2e5051326b07733363905f23285","author":{"name":"Filippo Sestini","email":"931f4addfc6c3d64b5fbacf8496f8583271993bb@gmail.com"},"message":"Octagon: Add VarCount","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/f591f497613bf2e5051326b07733363905f23285"},{"sha":"3c7820f250645d2e4aae11bb4cb2ab777077311d","author":{"name":"Filippo Sestini","email":"931f4addfc6c3d64b5fbacf8496f8583271993bb@gmail.com"},"message":"Octagon: Add Matrix","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/3c7820f250645d2e4aae11bb4cb2ab777077311d"},{"sha":"8c27856a69034e35b5b52436d0df2fd8bbe16ba9","author":{"name":"Filippo Sestini","email":"931f4addfc6c3d64b5fbacf8496f8583271993bb@gmail.com"},"message":"Octagon: Add FunMatrix","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/8c27856a69034e35b5b52436d0df2fd8bbe16ba9"},{"sha":"dfc35ed3fdc10251507bfa1fea3ae9c38a1a9924","author":{"name":"Tobia Tesan","email":"b889810df162d53dee0aa276e8ccdd20e9554f2f@gmail.com"},"message":"Octagon: Add FunMatrix.toString","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/dfc35ed3fdc10251507bfa1fea3ae9c38a1a9924"},{"sha":"bc566ebf1687cf0bf66d7c29a37199d07f0df8b9","author":{"name":"Filippo Sestini","email":"931f4addfc6c3d64b5fbacf8496f8583271993bb@gmail.com"},"message":"Octagon: Add Lattice1","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/bc566ebf1687cf0bf66d7c29a37199d07f0df8b9"},{"sha":"1c1b87bc3eb13d275611c4b75074fde569e93aef","author":{"name":"Filippo Sestini","email":"931f4addfc6c3d64b5fbacf8496f8583271993bb@gmail.com"},"message":"Octagon: Add InfField","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/1c1b87bc3eb13d275611c4b75074fde569e93aef"},{"sha":"067444a4de183dde11cdfd37ada31ae932484b7c","author":{"name":"Filippo Sestini","email":"931f4addfc6c3d64b5fbacf8496f8583271993bb@gmail.com"},"message":"Octagon: Add DifferenceBoundMatrix","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/067444a4de183dde11cdfd37ada31ae932484b7c"},{"sha":"6e5c58b658dc122c398630b69f1957fbf787be2f","author":{"name":"Filippo Sestini","email":"931f4addfc6c3d64b5fbacf8496f8583271993bb@gmail.com"},"message":"Octagon: Add OctagonalConstrant","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/6e5c58b658dc122c398630b69f1957fbf787be2f"},{"sha":"bb0ae720c2f37c8cf93f948f96725d123ea21452","author":{"name":"Filippo Sestini","email":"931f4addfc6c3d64b5fbacf8496f8583271993bb@gmail.com"},"message":"BoxDoubleDomain: Make linearEvaluation public.","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/bb0ae720c2f37c8cf93f948f96725d123ea21452"},{"sha":"aa4f2a0ae63670ee2e335891df68a2392a2aed0d","author":{"name":"Filippo Sestini","email":"931f4addfc6c3d64b5fbacf8496f8583271993bb@gmail.com"},"message":"Octagon: Add AbstractOctagon","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/aa4f2a0ae63670ee2e335891df68a2392a2aed0d"},{"sha":"6e3438c11885411ec7c4f2488e8d73623085cb1a","author":{"name":"Tobia Tesan","email":"b889810df162d53dee0aa276e8ccdd20e9554f2f@gmail.com"},"message":"Octagon: Implement AbstractOctagon.linearDisequality","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/6e3438c11885411ec7c4f2488e8d73623085cb1a"},{"sha":"8d3b6e1d9743766e3acd3157f1518805b1ec0c4d","author":{"name":"Tobia Tesan","email":"b889810df162d53dee0aa276e8ccdd20e9554f2f@gmail.com"},"message":"Octagon: Add decodeTest","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/8d3b6e1d9743766e3acd3157f1518805b1ec0c4d"},{"sha":"3ef7bfff21c744c3bc3cc1c9e77b8ef09c8858ff","author":{"name":"Tobia Tesan","email":"b889810df162d53dee0aa276e8ccdd20e9554f2f@gmail.com"},"message":"Octagon: Implement linearInequalityEx","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/3ef7bfff21c744c3bc3cc1c9e77b8ef09c8858ff"},{"sha":"6fc7d8e99cbf3965b2bbdf374a2d9a463af67ea3","author":{"name":"Tobia Tesan","email":"b889810df162d53dee0aa276e8ccdd20e9554f2f@gmail.com"},"message":"Octagon: Implement AbstractOctagon.assignment","distinct":false,"url":"https://api.github.com/repos/tobiatesan/Jandom/commits/6fc7d8e99cbf3965b2bbdf374a2d9a463af67ea3"}]}
{"actor":{"display_login":"tobiatesan"}}