{"push_id":847389998,"size":10,"distinct_size":1,"ref":"refs/heads/contracts","head":"c733388331781838962d5fa92aa7e4a79c6974d6","before":"8fc41972e8c5f8a19e4b6a8d904c7df9ac14932e","commits":[{"sha":"b2465a94b665fb802b0eefd5ff16606683bfe51c","author":{"email":"17a13435e94672b3e5ef1717a4ef158858e48fdb@mail.com","name":"Adrien Champion"},"message":"2-induction","distinct":false,"url":"https://api.github.com/repos/AdrienChampion/kind2/commits/b2465a94b665fb802b0eefd5ff16606683bfe51c"},{"sha":"f194ab863273574aef127c10d3fb1db5b6677519","author":{"email":"17a13435e94672b3e5ef1717a4ef158858e48fdb@mail.com","name":"Adrien Champion"},"message":"Keep information about properties after refinement.","distinct":false,"url":"https://api.github.com/repos/AdrienChampion/kind2/commits/f194ab863273574aef127c10d3fb1db5b6677519"},{"sha":"7cb88786e3d4a9b58485ecd2d7c440661a239f40","author":{"email":"735e8e25fbe904ab9d353e21212811afc83e0223@users.noreply.github.com","name":"Adrien Champion"},"message":"Merge pull request #337 from AdrienChampion/2-induction-contracts\n\n2-induction","distinct":false,"url":"https://api.github.com/repos/AdrienChampion/kind2/commits/7cb88786e3d4a9b58485ecd2d7c440661a239f40"},{"sha":"7f50e0ec98b06ca6d7601507b4b0e2eb0dc3ccf1","author":{"email":"17a13435e94672b3e5ef1717a4ef158858e48fdb@mail.com","name":"Adrien Champion"},"message":"bug fix in prop status reuse","distinct":false,"url":"https://api.github.com/repos/AdrienChampion/kind2/commits/7f50e0ec98b06ca6d7601507b4b0e2eb0dc3ccf1"},{"sha":"f571f53d154a99719aba2767dcb4294a7a69e8e7","author":{"email":"17a13435e94672b3e5ef1717a4ef158858e48fdb@mail.com","name":"Adrien Champion"},"message":"Merge remote-tracking branch 'upstream/contracts-and-arrays' into opt_refinement","distinct":false,"url":"https://api.github.com/repos/AdrienChampion/kind2/commits/f571f53d154a99719aba2767dcb4294a7a69e8e7"},{"sha":"42037a2741fe89dbbbe32a7d42fb6264fe4ae40a","author":{"email":"17a13435e94672b3e5ef1717a4ef158858e48fdb@mail.com","name":"Adrien Champion"},"message":"Better example","distinct":false,"url":"https://api.github.com/repos/AdrienChampion/kind2/commits/42037a2741fe89dbbbe32a7d42fb6264fe4ae40a"},{"sha":"f2138d6adb8d7eda2516a0423d37c6f4021a0c7e","author":{"email":"17a13435e94672b3e5ef1717a4ef158858e48fdb@mail.com","name":"Adrien Champion"},"message":"Bug fixes.","distinct":false,"url":"https://api.github.com/repos/AdrienChampion/kind2/commits/f2138d6adb8d7eda2516a0423d37c6f4021a0c7e"},{"sha":"3782675a4c46346deb08147cfc9103a0c42e339e","author":{"email":"17a13435e94672b3e5ef1717a4ef158858e48fdb@mail.com","name":"Adrien Champion"},"message":"Removed debug info.","distinct":false,"url":"https://api.github.com/repos/AdrienChampion/kind2/commits/3782675a4c46346deb08147cfc9103a0c42e339e"},{"sha":"0426ae545f28aea19784f78981a19d2aef5741f0","author":{"email":"17a13435e94672b3e5ef1717a4ef158858e48fdb@mail.com","name":"Adrien Champion"},"message":"IND2 active by default + bug fix in IND2","distinct":false,"url":"https://api.github.com/repos/AdrienChampion/kind2/commits/0426ae545f28aea19784f78981a19d2aef5741f0"},{"sha":"c733388331781838962d5fa92aa7e4a79c6974d6","author":{"email":"735e8e25fbe904ab9d353e21212811afc83e0223@users.noreply.github.com","name":"Adrien Champion"},"message":"Merge pull request #338 from AdrienChampion/opt_refinement\n\nReuse previous results when refining","distinct":true,"url":"https://api.github.com/repos/AdrienChampion/kind2/commits/c733388331781838962d5fa92aa7e4a79c6974d6"}]}