{"push_id":692285584,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"09ec05d8a1966ae9348b94784851d03159ed16f1","before":"2417938703335a770a5ce099c49a209c0f16ddaa","commits":[{"sha":"110b5c31d007cfd12c7b5be05ab5b61dcd6d814d","author":{"email":"9d2fd236278dfd5a92747af25da8c6d6ec307016@informatik.uni-freiburg.de","name":"Juergen Christ"},"message":"When building all, build all\n\nWe did not build the competition jar by default.  Also renamed the targets for\nthe jars such that the target equals the name of the jar to build.","distinct":true,"url":"https://api.github.com/repos/juergenchrist/smtinterpol/commits/110b5c31d007cfd12c7b5be05ab5b61dcd6d814d"},{"sha":"de6e4b023b4d865a62c9186933fe58001aab741b","author":{"email":"9d2fd236278dfd5a92747af25da8c6d6ec307016@informatik.uni-freiburg.de","name":"Juergen Christ"},"message":"Weakened assertion in SimplifyDDA\n\nSimplifyDDA contained an assertion that specified it was started at\nassertionstack level 0.  This assertion is invalid in some usecases.\nFurthermore, the assumption should state that we leave the solver on the same\nassertion stack level than we have seen initially.  Thus, I reimplemented this\nassertion.","distinct":true,"url":"https://api.github.com/repos/juergenchrist/smtinterpol/commits/de6e4b023b4d865a62c9186933fe58001aab741b"},{"sha":"09ec05d8a1966ae9348b94784851d03159ed16f1","author":{"email":"9d2fd236278dfd5a92747af25da8c6d6ec307016@informatik.uni-freiburg.de","name":"Juergen Christ"},"message":"Always log before execute\n\nReverted the patch for de{clare,fine}-{fun,sort} that first executed the command\nand then logged it.  We now always first log and then execute commands.  Note\nthat this might turn some interaction into benchmarks with errors due to\nmultiple definitions.  We now defer removal of duplicated definitions to a\npost-processor.","distinct":true,"url":"https://api.github.com/repos/juergenchrist/smtinterpol/commits/09ec05d8a1966ae9348b94784851d03159ed16f1"}]}