{"push_id":2815848385,"size":20,"distinct_size":0,"ref":"refs/heads/master","head":"cbc94bf733e4eb961d693a440b68bf85205ed0d0","before":"2d90e88a88dd769da2100c08841c6c44311ab4a0","commits":[{"sha":"888bb21cfc721a722dca6f0ccb6d3c7de12d7dd4","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"disabling what may be a redundant optimization","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/888bb21cfc721a722dca6f0ccb6d3c7de12d7dd4"},{"sha":"7ccc42ec1d854693986f762a5f91036d9b9d845b","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"backtrack to solve rigid/rigid equations if arguments are not unifiable","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/7ccc42ec1d854693986f762a5f91036d9b9d845b"},{"sha":"7a303ff1be6080b7535a4348f08459a68ea29e25","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/7a303ff1be6080b7535a4348f08459a68ea29e25"},{"sha":"2c00b30c7883c1ee17e23fad37c50927ea71aa7a","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"cf. #606 and #543","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/2c00b30c7883c1ee17e23fad37c50927ea71aa7a"},{"sha":"577eb78a2a1a0e986fc42fc07258d4851c1c16d2","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"do not eagerly solve umax us = umax vs contraints when setting a backtracking point","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/577eb78a2a1a0e986fc42fc07258d4851c1c16d2"},{"sha":"1cd46c63fc0a298dd45e02e96e333ade94a05b66","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/1cd46c63fc0a298dd45e02e96e333ade94a05b66"},{"sha":"dd72595b239288e4883c870400c89a62c2c96469","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"mergine master in","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/dd72595b239288e4883c870400c89a62c2c96469"},{"sha":"f01c98e2d5754bdb437fbee480a6a7dac2f60a7b","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/f01c98e2d5754bdb437fbee480a6a7dac2f60a7b"},{"sha":"a0a6c39cd168eae9da7e458e1070eee4944178c2","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"wip","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/a0a6c39cd168eae9da7e458e1070eee4944178c2"},{"sha":"3e961c050fe1987f5c3b692af4cb444fb60674e1","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"preventing some unifier loops due to unfolding recursive functions","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/3e961c050fe1987f5c3b692af4cb444fb60674e1"},{"sha":"5022f7502e7f5594076ce21316b8276bb06227a0","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/5022f7502e7f5594076ce21316b8276bb06227a0"},{"sha":"c83ec1ca867c4931bfbf45029b99213ca5c6de2a","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"removing a needless indirection","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/c83ec1ca867c4931bfbf45029b99213ca5c6de2a"},{"sha":"a875fe2aa87d8029dc5431323f90c8179f353b41","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"fixed a scoping bug in Rel when equating match =?= match","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/a875fe2aa87d8029dc5431323f90c8179f353b41"},{"sha":"1a58cf45fb19da6caf517bc9fb2c89312ae11e0e","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/1a58cf45fb19da6caf517bc9fb2c89312ae11e0e"},{"sha":"d22066d32165f5a63aef5c3069fa90f9b0532c8d","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"merging master in","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/d22066d32165f5a63aef5c3069fa90f9b0532c8d"},{"sha":"547ccbe56684caca9fee88f92d68f8cce32c66ac","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"fixing test case that now succeeds #606","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/547ccbe56684caca9fee88f92d68f8cce32c66ac"},{"sha":"b432ca913b4582a7203da9038eeec21ff4cbfe93","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"more careful about unfolding just once when rigid/rigid heads match but arguments do not","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/b432ca913b4582a7203da9038eeec21ff4cbfe93"},{"sha":"6bd35ea971d547eaffaae81ec8c7c52097451e92","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/6bd35ea971d547eaffaae81ec8c7c52097451e92"},{"sha":"8a10394da5fa4445b409ffae1e389069b27d242f","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"Merge remote-tracking branch 'origin/master' into _nik_606","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/8a10394da5fa4445b409ffae1e389069b27d242f"},{"sha":"cbc94bf733e4eb961d693a440b68bf85205ed0d0","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"hints","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/cbc94bf733e4eb961d693a440b68bf85205ed0d0"}]}
{"actor":{"display_login":"nikswamy"}}