{"push_id":884458240,"size":15,"distinct_size":15,"ref":"refs/heads/trunk","head":"544a6945f7de7b70d0b1f788966deb686591059f","before":"6c45cac134239f86998d2a48a8098f6c25471a61","commits":[{"sha":"778cf79f8cdb15dc12b0dcc847266c0efb7993bf","author":{"email":"5f50a84c1fa3bcff146405017f36aec1a10a9e38@stieglmaier.me","name":"Thomas Stieglmaier"},"message":"Fix the usage of k-induction with sliced prefixes during invariant refinement, before the pathformula was taken for creating the CandidateInvariants instead of interpolants.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18731 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/kfriedberger/cpachecker/commits/778cf79f8cdb15dc12b0dcc847266c0efb7993bf"},{"sha":"96f083d0a97e07c72e0280541bd04640bcbc0c8c","author":{"email":"5f50a84c1fa3bcff146405017f36aec1a10a9e38@stieglmaier.me","name":"Thomas Stieglmaier"},"message":"Fixed a bug in statistics computation for invariants refinement.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18732 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/kfriedberger/cpachecker/commits/96f083d0a97e07c72e0280541bd04640bcbc0c8c"},{"sha":"af73b846a674909fa97e561549e80ac8f11266c9","author":{"email":"5f50a84c1fa3bcff146405017f36aec1a10a9e38@stieglmaier.me","name":"Thomas Stieglmaier"},"message":"Updated java-smt to newest version\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18733 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/kfriedberger/cpachecker/commits/af73b846a674909fa97e561549e80ac8f11266c9"},{"sha":"e18de81ab5d28472a37ecbd45129183d05f42316","author":{"email":"fd754e68a8e713b5ea012d85ae703f854842758b@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"pwendler"},"message":"Remove references to System.out.println\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18734 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/kfriedberger/cpachecker/commits/e18de81ab5d28472a37ecbd45129183d05f42316"},{"sha":"a36223ae6e6b5dc01bd75278c29ffccf72f92350","author":{"email":"fd754e68a8e713b5ea012d85ae703f854842758b@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"pwendler"},"message":"Temporarily re-add classes \"Pair\" and \"Triple\".\nThey got removed from SoSy-Lab Common because it is better design\nnot to use them and instead use proper specific classes\nthat have semantically meaningful names.\nThere might be cases where usage of such generic classes\nis understandable, but their mere presence invites to misuse them\nand introduce non-understandable code using things like\nTriple<String, String, String>.\nThus the general goal is to remove these classes completely,\nCPAchecker just relies too heavily on them for now.\n\nPlease do not use these two classes in new code.\nEither write a custom class with meaningful names,\nor we start using AutoValue in CPAchecker to generate such classes\nautomatically.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18735 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/kfriedberger/cpachecker/commits/a36223ae6e6b5dc01bd75278c29ffccf72f92350"},{"sha":"34c4d51111f1be7c0b33e1a62fdba0f08a9c3663","author":{"email":"fd754e68a8e713b5ea012d85ae703f854842758b@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"pwendler"},"message":"Update to newest revision of SoSy-Lab Common.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18736 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/kfriedberger/cpachecker/commits/34c4d51111f1be7c0b33e1a62fdba0f08a9c3663"},{"sha":"358358e1c3f81450f97dc9f708fa93644079f862","author":{"email":"fd754e68a8e713b5ea012d85ae703f854842758b@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"pwendler"},"message":"cleanup empty directories\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18737 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/kfriedberger/cpachecker/commits/358358e1c3f81450f97dc9f708fa93644079f862"},{"sha":"16fee1c2a9dc5a246e442827e1ec9de4854032e1","author":{"email":"fd754e68a8e713b5ea012d85ae703f854842758b@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"pwendler"},"message":"fix forgotten reference to Pair class in non-Java file\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18738 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/kfriedberger/cpachecker/commits/16fee1c2a9dc5a246e442827e1ec9de4854032e1"},{"sha":"bf21ebc16a73ff04d676ffc130663d7646136267","author":{"email":"fd754e68a8e713b5ea012d85ae703f854842758b@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"pwendler"},"message":"remove reference to deleted directory from build script\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18739 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/kfriedberger/cpachecker/commits/bf21ebc16a73ff04d676ffc130663d7646136267"},{"sha":"343105feb1ee677e695c04fc9f5245145581d609","author":{"email":"fd754e68a8e713b5ea012d85ae703f854842758b@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"pwendler"},"message":"Remove more empty directories.\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18740 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/kfriedberger/cpachecker/commits/343105feb1ee677e695c04fc9f5245145581d609"},{"sha":"69c3944a1abc4daa591c7706c959daa4a542ba22","author":{"email":"fd754e68a8e713b5ea012d85ae703f854842758b@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"pwendler"},"message":"Adjust AppEngine code to work with newest SoSy-Lab Common libraryAdjust\nAppEngine code to work with newest SoSy-Lab Common library..\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18741 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/kfriedberger/cpachecker/commits/69c3944a1abc4daa591c7706c959daa4a542ba22"},{"sha":"b3c1852d54b52e1ebed78794ec8aef91112e166d","author":{"email":"0092ec6cea8715b5650a3a96b6024d719dcbbd40@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"ottseb"},"message":"Only try to download result ten times in case of a client error status code.\nSee VerifierCloud trac ticket 215.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18742 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/kfriedberger/cpachecker/commits/b3c1852d54b52e1ebed78794ec8aef91112e166d"},{"sha":"add145aa6a6add0e6d19ad7e33787e9d95a72e6f","author":{"email":"bcfb9ba0aa458298a7a20b500a22ce9c8b1329d7@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"tornede"},"message":"- changed some methods a little bit (added parameters)\n- completed some Test\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18743 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/kfriedberger/cpachecker/commits/add145aa6a6add0e6d19ad7e33787e9d95a72e6f"},{"sha":"31dda80e798cf7406396bd532cc1f958d6f86efd","author":{"email":"bcfb9ba0aa458298a7a20b500a22ce9c8b1329d7@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"tornede"},"message":"bugfixes\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18744 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/kfriedberger/cpachecker/commits/31dda80e798cf7406396bd532cc1f958d6f86efd"},{"sha":"544a6945f7de7b70d0b1f788966deb686591059f","author":{"email":"2ead1e2e0ae6a87f7bc0f79360ab602a46f82834@gmail.com","name":"Karlheinz Friedberger"},"message":"Merge branch 'trunk' of https://github.com/dbeyer/cpachecker into trunk","distinct":true,"url":"https://api.github.com/repos/kfriedberger/cpachecker/commits/544a6945f7de7b70d0b1f788966deb686591059f"}]}