{"push_id":1134957296,"size":51,"distinct_size":1,"ref":"refs/heads/operandst-list-support","head":"a4145aa50597e34526e56110159e25cb04dc5a42","before":"bd098eb9cca6a1ed7ba2fb69f50e79a02bb06191","commits":[{"sha":"7ef5cf9d9d77f8ff682f98af5a1bd223ed2118a9","author":{"name":"Michael Tautschnig","email":"fd1ef0d7c905eb5db5ac61801dcf5e96317c84ad@debian.org"},"message":"Support klibc's version of __assert_fail, cleanup of assert handling","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/7ef5cf9d9d77f8ff682f98af5a1bd223ed2118a9"},{"sha":"ad24b5a9b921e8629a3f315c2e257fbfefffb034","author":{"name":"Michael Tautschnig","email":"fd1ef0d7c905eb5db5ac61801dcf5e96317c84ad@debian.org"},"message":"Permit preprocessor command within __attribute__","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/ad24b5a9b921e8629a3f315c2e257fbfefffb034"},{"sha":"3f01cce50a9387c4d6b4c4fee8532bf4d418e105","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Support __attribute__((constructor))","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/3f01cce50a9387c4d6b4c4fee8532bf4d418e105"},{"sha":"838e780787ecb153e3fc3daa1d9cc56ef1637802","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Extended linking conflict reporting","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/838e780787ecb153e3fc3daa1d9cc56ef1637802"},{"sha":"9c2b02fceaac1dcbe7276d9a7590161b0e21837a","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Permit some (ab)use of void f(void) in place of a full function declaration","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/9c2b02fceaac1dcbe7276d9a7590161b0e21837a"},{"sha":"32b6124529c802b15e8128ba6d152420a68d91c5","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Fix type renaming of array types with non-constant size","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/32b6124529c802b15e8128ba6d152420a68d91c5"},{"sha":"927b9ff6f812e9b90a1fd5bf7c5eead96be6f8cf","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Array-size symbols may also trigger a type renaming","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/927b9ff6f812e9b90a1fd5bf7c5eead96be6f8cf"},{"sha":"4030c968dc8e3756594182f5841b942ffb545a8e","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Cleanup","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/4030c968dc8e3756594182f5841b942ffb545a8e"},{"sha":"1eeaf5cd694e2ab3a5748419e1e7a8512c38b88e","author":{"name":"Michael Tautschnig","email":"fd1ef0d7c905eb5db5ac61801dcf5e96317c84ad@debian.org"},"message":"Removed unused include","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/1eeaf5cd694e2ab3a5748419e1e7a8512c38b88e"},{"sha":"bb80cdcc27380242f0b72670ffda919193cac4c9","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Transparent unions require argument conversion, do this for all union types\n\nAlso improves the readabilit of error output when argument conversion is denied","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/bb80cdcc27380242f0b72670ffda919193cac4c9"},{"sha":"db61ac8d78ae99583687831ff8a3c991e4ec9d13","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Do not skip attributes of pointer types","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/db61ac8d78ae99583687831ff8a3c991e4ec9d13"},{"sha":"36f81d657b5cfead0e788269883cf71874be7d19","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Linking for weak symbols","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/36f81d657b5cfead0e788269883cf71874be7d19"},{"sha":"1e093abcd3d6f2116fbe9406755c9912d9f5485e","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"weak symbols need not necessarily be treated as file-local","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/1e093abcd3d6f2116fbe9406755c9912d9f5485e"},{"sha":"84e761176663f45e92be99a6a987b147a0a0a063","author":{"name":"Michael Tautschnig","email":"d99d89b697e382a6c336e93e8a4531025e80e3ff@amazon.com"},"message":"Further weak-symbol-linking fixes","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/84e761176663f45e92be99a6a987b147a0a0a063"},{"sha":"471a7a011af2567e16bec8cea688c5353d83ae42","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"initialize cond_literal and guard_literal","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/471a7a011af2567e16bec8cea688c5353d83ae42"},{"sha":"7d4e004fde47d178ab1d30eb1673e99c2e34e45b","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"make bmc_cover work, and test it","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/7d4e004fde47d178ab1d30eb1673e99c2e34e45b"},{"sha":"701c3318c24308105bdaf1972c9a4d0d636873a0","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"further work on --cover","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/701c3318c24308105bdaf1972c9a4d0d636873a0"},{"sha":"08faebcbf212289b898714ccea372a4c11a2b48a","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"fix Minisat 2.2.1 URL","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/08faebcbf212289b898714ccea372a4c11a2b48a"},{"sha":"f141d772e24d402bcda927f6feb2e6d745ef231c","author":{"name":"Daniel Poetzl","email":"a7b0c7ee73d5ba38cf80c0b20a2ce8f8aee8466d@cs.ox.ac.uk"},"message":"java entry point with nondet structs","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/f141d772e24d402bcda927f6feb2e6d745ef231c"},{"sha":"9864d8c657961510a8063e19d7ea39443a309e35","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"missing cassert header","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/9864d8c657961510a8063e19d7ea39443a309e35"}]}
{"actor":{"display_login":"tautschnig"}}