{"push_id":2059784842,"size":11,"distinct_size":11,"ref":"refs/heads/tg-865","head":"7bdf49c77452fbba7fc8762ec826d2cfcf56523e","before":"017b5aed33524b1aa6240e328e45afad53d9cca1","commits":[{"sha":"b2b4ca51ca502b26df86d8162ad6c1b9efdd2da2","author":{"name":"Andreas Tiemeyer","email":"1052a5022f2bfdf89f86579e79d40f18b25ea65d@gmx.com"},"message":"Align options string with help function and options parser","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/b2b4ca51ca502b26df86d8162ad6c1b9efdd2da2"},{"sha":"9da3f4f0b36d29caab2dd580c64b337d34af9bad","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"elaborate typing of std_expr expression classes","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/9da3f4f0b36d29caab2dd580c64b337d34af9bad"},{"sha":"de668e6196bb8a0036b4247cbf2a775cae6f025e","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"upgrade uses of deprecated member_exprt constructor","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/de668e6196bb8a0036b4247cbf2a775cae6f025e"},{"sha":"5d6ebfd745d0f14c4264c90551a3447870e0f741","author":{"name":"Thomas Kiley","email":"ac59214222b6391ec42e755da22dbe4ffccb8799@diffblue.com"},"message":"Revert \"test isn't ready yet\"","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/5d6ebfd745d0f14c4264c90551a3447870e0f741"},{"sha":"fbc54adb17ecf5ef93a94b72620cb3e9b311ed88","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"guard against spurious pointers in taint analysis","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/fbc54adb17ecf5ef93a94b72620cb3e9b311ed88"},{"sha":"210a2f4711b21ff1a99f88563f820a92e7c21ba9","author":{"name":"Daniel Kroening","email":"c6207f1528d7e845c75bf0c10711d875aa012edd@cs.ox.ac.uk"},"message":"Merge pull request #1491 from andreast271/cbmc_parse_options_fix\n\nAlign options string with help function and options parser","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/210a2f4711b21ff1a99f88563f820a92e7c21ba9"},{"sha":"5191170c5ba6f63622a70009735dfd2cd033a770","author":{"name":"Michael Tautschnig","email":"fd1ef0d7c905eb5db5ac61801dcf5e96317c84ad@debian.org"},"message":"Merge pull request #1485 from diffblue/std_expr_typing\n\nelaborate typing of std_expr expression classes","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/5191170c5ba6f63622a70009735dfd2cd033a770"},{"sha":"69d67abc57533e72443d4baf53d039283185d18e","author":{"name":"Thomas Kiley","email":"ac59214222b6391ec42e755da22dbe4ffccb8799@diffblue.com"},"message":"Modified unit test to compile\n\nUpdated the includes to point to new unit test utilties location\nUpdated usages of symbol_table to respect new interface","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/69d67abc57533e72443d4baf53d039283185d18e"},{"sha":"62675bb28f109c5f4b7691ccc60f34602b5f8a62","author":{"name":"Thomas Kiley","email":"ac59214222b6391ec42e755da22dbe4ffccb8799@diffblue.com"},"message":"Merge pull request #1494 from thk123/tests/adding-generic-unit-tests\n\nReadding generic unit tests","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/62675bb28f109c5f4b7691ccc60f34602b5f8a62"},{"sha":"b61cb5612e41fb98e4b99e0e25bfbb3e54fcd29a","author":{"name":"svorenova","email":"36b1c7f136bbdcc1317a6942376e1bb8ad53000b@diffblue.com"},"message":"Resolving signature/descriptor mismatch for methods\n\nWe want to use signature whenever possible. In certain cases, the number of input parameters in the descriptor is\nhigher than in the signature. For example for enums and inner classes,\nin these cases descriptor has the correct form (although without generics information).","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/b61cb5612e41fb98e4b99e0e25bfbb3e54fcd29a"},{"sha":"7bdf49c77452fbba7fc8762ec826d2cfcf56523e","author":{"name":"svorenova","email":"36b1c7f136bbdcc1317a6942376e1bb8ad53000b@diffblue.com"},"message":"Adding unit tests for the signature/descripture mismatch","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/7bdf49c77452fbba7fc8762ec826d2cfcf56523e"}]}
{"actor":{"display_login":"svorenova"}}