{"push_id":1967484447,"size":12,"distinct_size":12,"ref":"refs/heads/master","head":"5ac4e41dd2c7b92d4cde57370341169699eeea50","before":"f37a74fa9c1318565fe4325b25b7b57fe5d89ab2","commits":[{"sha":"27391f8cbb470501f3af715c144ca7674429bdb3","author":{"name":"Jakub Daniel","email":"4b94a04674ad2c69d990e94ab196ac3f8e9e03d4@d3s.mff.cuni.cz"},"message":"arrays + linear integer arithmetic à la carte","distinct":true,"url":"https://api.github.com/repos/jakubdaniel/expressions/commits/27391f8cbb470501f3af715c144ca7674429bdb3"},{"sha":"d0a27c46c59e8ed45634f01375cab801ed30f94c","author":{"name":"Jakub Daniel","email":"4b94a04674ad2c69d990e94ab196ac3f8e9e03d4@d3s.mff.cuni.cz"},"message":"parsing","distinct":true,"url":"https://api.github.com/repos/jakubdaniel/expressions/commits/d0a27c46c59e8ed45634f01375cab801ed30f94c"},{"sha":"18d8f3c5240ffbd607879eb107f6e289767cdce7","author":{"name":"Jakub Daniel","email":"4b94a04674ad2c69d990e94ab196ac3f8e9e03d4@d3s.mff.cuni.cz"},"message":"equality","distinct":true,"url":"https://api.github.com/repos/jakubdaniel/expressions/commits/18d8f3c5240ffbd607879eb107f6e289767cdce7"},{"sha":"eb65349e135a170f18f95535c451691baef056d2","author":{"name":"Jakub Daniel","email":"4b94a04674ad2c69d990e94ab196ac3f8e9e03d4@d3s.mff.cuni.cz"},"message":"substitution","distinct":true,"url":"https://api.github.com/repos/jakubdaniel/expressions/commits/eb65349e135a170f18f95535c451691baef056d2"},{"sha":"2f6ab6cb34c63270449087d3bd9a9857fbf68010","author":{"name":"Jakub Daniel","email":"4b94a04674ad2c69d990e94ab196ac3f8e9e03d4@d3s.mff.cuni.cz"},"message":"foldable","distinct":true,"url":"https://api.github.com/repos/jakubdaniel/expressions/commits/2f6ab6cb34c63270449087d3bd9a9857fbf68010"},{"sha":"92e89d14714a3745ceeb46650bd7703ff08064a5","author":{"name":"Jakub Daniel","email":"4b94a04674ad2c69d990e94ab196ac3f8e9e03d4@d3s.mff.cuni.cz"},"message":"traversable","distinct":true,"url":"https://api.github.com/repos/jakubdaniel/expressions/commits/92e89d14714a3745ceeb46650bd7703ff08064a5"},{"sha":"b5ad6ef3990b34ba4cb18f1af285ad2be05ac79b","author":{"name":"Jakub Daniel","email":"4b94a04674ad2c69d990e94ab196ac3f8e9e03d4@d3s.mff.cuni.cz"},"message":"variables","distinct":true,"url":"https://api.github.com/repos/jakubdaniel/expressions/commits/b5ad6ef3990b34ba4cb18f1af285ad2be05ac79b"},{"sha":"d3253ff373babd2e69f6a3f344703a8e93e99d09","author":{"name":"Jakub Daniel","email":"4b94a04674ad2c69d990e94ab196ac3f8e9e03d4@d3s.mff.cuni.cz"},"message":"quantifier freeness","distinct":true,"url":"https://api.github.com/repos/jakubdaniel/expressions/commits/d3253ff373babd2e69f6a3f344703a8e93e99d09"},{"sha":"63ce83356b6060688a4d3149f3986f94bf8d8f8c","author":{"name":"Jakub Daniel","email":"4b94a04674ad2c69d990e94ab196ac3f8e9e03d4@d3s.mff.cuni.cz"},"message":"negation normal form","distinct":true,"url":"https://api.github.com/repos/jakubdaniel/expressions/commits/63ce83356b6060688a4d3149f3986f94bf8d8f8c"},{"sha":"7f2a9b66e5ea7101113f0e5e9658ca68992a9437","author":{"name":"Jakub Daniel","email":"4b94a04674ad2c69d990e94ab196ac3f8e9e03d4@d3s.mff.cuni.cz"},"message":"prenex form","distinct":true,"url":"https://api.github.com/repos/jakubdaniel/expressions/commits/7f2a9b66e5ea7101113f0e5e9658ca68992a9437"},{"sha":"ac54c3d82b6ee5035c7d9cf522e7151855b9d478","author":{"name":"Jakub Daniel","email":"4b94a04674ad2c69d990e94ab196ac3f8e9e03d4@d3s.mff.cuni.cz"},"message":"flat form","distinct":true,"url":"https://api.github.com/repos/jakubdaniel/expressions/commits/ac54c3d82b6ee5035c7d9cf522e7151855b9d478"},{"sha":"5ac4e41dd2c7b92d4cde57370341169699eeea50","author":{"name":"Jakub Daniel","email":"4b94a04674ad2c69d990e94ab196ac3f8e9e03d4@d3s.mff.cuni.cz"},"message":"store instantiation","distinct":true,"url":"https://api.github.com/repos/jakubdaniel/expressions/commits/5ac4e41dd2c7b92d4cde57370341169699eeea50"}]}
{"actor":{"display_login":"jakubdaniel"}}