{"push_id":832517377,"size":18,"distinct_size":8,"ref":"refs/heads/wip/dd","head":"a4eea14db1ec6b500bbf353f1a73ef9504352646","before":"a2c5468e3acc72e59819819d3f99a5924ca3af78","commits":[{"sha":"636d409d69139dc253e3bc18cd0c8f2a6bd484ed","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"remove template plugin (not maintained anymore)","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/636d409d69139dc253e3bc18cd0c8f2a6bd484ed"},{"sha":"172aeb7dd8b1922902fb54dcdc5467d5ba16bd6e","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"Merge branch 'dev' of github.com:ultimate-pa/ultimate into dev","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/172aeb7dd8b1922902fb54dcdc5467d5ba16bd6e"},{"sha":"3ec98189f23688ff05f434dcab853aefa872a36c","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"Merge branch 'dev' of github.com:ultimate-pa/ultimate into dev","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/3ec98189f23688ff05f434dcab853aefa872a36c"},{"sha":"4e4c027188f27962738efb6b505df1461251cfa7","author":{"email":"391fc5c0117c02176174adcfae9fe199a080e7ac@informatik.uni-freiburg.de","name":"Matthias Heizmann"},"message":"bugfix for the double sink state problem","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/4e4c027188f27962738efb6b505df1461251cfa7"},{"sha":"a5e390df1010cacd55be5a3c73ea714809214350","author":{"email":"6bc676bd074ea3f0d473ee5917663576873df1db@informatik.uni-freiburg.de","name":"Alexander Nutz"},"message":"c translation:\nTypeHandler, ITypeHandler cleanup","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/a5e390df1010cacd55be5a3c73ea714809214350"},{"sha":"3bf67d7778d466550e2972f6d32ddcaf224e4701","author":{"email":"6bc676bd074ea3f0d473ee5917663576873df1db@informatik.uni-freiburg.de","name":"Alexander Nutz"},"message":"c translation: removed meaningless asserts","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/3bf67d7778d466550e2972f6d32ddcaf224e4701"},{"sha":"7a4fb56b6cc8bcb0b2e716006c076fda0293aa63","author":{"email":"6bc676bd074ea3f0d473ee5917663576873df1db@informatik.uni-freiburg.de","name":"Alexander Nutz"},"message":"c translation:\n function pointers treatment was buggy. Problem: functions with two different signatures in C may still have the same signature in Boogie.\n  Now, we go for the Boogie signature when creating and choosing the function pointer dispatch procedures in our Boogie code.","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/7a4fb56b6cc8bcb0b2e716006c076fda0293aa63"},{"sha":"6adfc852bc6d154426140b36b09e64bb357a0cb1","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"Merge branch 'dev' of github.com:ultimate-pa/ultimate into dev","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/6adfc852bc6d154426140b36b09e64bb357a0cb1"},{"sha":"f0a74c454e055fde5567746d6beeba1420e31ee2","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"added default settings file for automizer (based on interpolant consolidation)","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/f0a74c454e055fde5567746d6beeba1420e31ee2"},{"sha":"2eac873e58050274731566efdc5280537a4885a8","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"categorized some toy examples","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/2eac873e58050274731566efdc5280537a4885a8"},{"sha":"441fb323a9bf51d11126e89a5eb9578523edc6d8","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"Merge branch 'dev' of github.com:ultimate-pa/ultimate into wip/dd\n\nConflicts:\n\ttrunk/source/Java2Boogie/.project\n\ttrunk/source/Library-joogie/.classpath\n\ttrunk/source/Library-joogie/.project","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/441fb323a9bf51d11126e89a5eb9578523edc6d8"},{"sha":"20fbd4cb004d25709c88c76f10532ac097ddcd60","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"fixes and changes\n- upped Java to 1.8\n- fixed bug in FunctionInliner with wrong DeclarationInformation\n- fixed a spelling error\n- added more printer options to BoogieOutput\n- fixed some override annotations","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/20fbd4cb004d25709c88c76f10532ac097ddcd60"},{"sha":"229c05586ebe3c92088d83daa65da63cf6a04d8d","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"added more details to exception message","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/229c05586ebe3c92088d83daa65da63cf6a04d8d"},{"sha":"f8ba6762c458a0ff33363f0f83b7f09d744c8ac0","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"towards type flattening (sync)","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/f8ba6762c458a0ff33363f0f83b7f09d744c8ac0"},{"sha":"ef3f6b3b94a68bf6bf5054aaea3d85babd44a076","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"renamed BoogieType descendants to prevent name clashes with ASTType descendant (and the resulting package names in type flattener)","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/ef3f6b3b94a68bf6bf5054aaea3d85babd44a076"},{"sha":"8ee94434f71ec0979047d9344c946ca1bfcca4ca","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"some cleanup & first step toward structs as intermediate representation of generic arrays (sync)","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/8ee94434f71ec0979047d9344c946ca1bfcca4ca"},{"sha":"591b346238f3ff86b5b19cca861635beba8db38c","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"more pretty-printing support","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/591b346238f3ff86b5b19cca861635beba8db38c"},{"sha":"a4eea14db1ec6b500bbf353f1a73ef9504352646","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"towards using structs during type flattening","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/a4eea14db1ec6b500bbf353f1a73ef9504352646"}]}