{"push_id":2383470168,"size":8,"distinct_size":8,"ref":"refs/heads/specialized_generics_tg1419","head":"71c1423e5c5bdd98e40ea621e5ac7fd9e944098b","before":"a50973caf4e1a318d2f7e420c9815d3cf0fc146c","commits":[{"sha":"0ed21cae099eb765fa648cde4c21e8a5ac604578","author":{"name":"Matthias Güdemann","email":"e0fa7639e2a6e9442046002ea3621467dedc2637@diffblue.com"},"message":"Treat empty optional case separately\n\nIn the case of an empty lambda_method_handlert, it was possible to try to access\nthe non-existent value. This PR fixes the case in the sense that an empty\noptionalt is never dereferenced.","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/0ed21cae099eb765fa648cde4c21e8a5ac604578"},{"sha":"0fd648233cf796f98b12e3831ee74e87b31629c3","author":{"name":"Matthias Güdemann","email":"e0fa7639e2a6e9442046002ea3621467dedc2637@diffblue.com"},"message":"Add regression test","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/0fd648233cf796f98b12e3831ee74e87b31629c3"},{"sha":"15d7b712b1d977078faf82e8033551be10b84f24","author":{"name":"Matthias Güdemann","email":"e0fa7639e2a6e9442046002ea3621467dedc2637@diffblue.com"},"message":"Merge pull request #1908 from mgudemann/bugfix/fix_bootstrapmethods_empty_optional\n\n[TG-2684] Bugfix/fix bootstrapmethods empty optional","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/15d7b712b1d977078faf82e8033551be10b84f24"},{"sha":"bb684ba5210444ecebf55206f5a41f5aeb963e53","author":{"name":"svorenova","email":"36b1c7f136bbdcc1317a6942376e1bb8ad53000b@diffblue.com"},"message":"Introduce a map of parameter-type pairs\n\nThe map of generic parameters and a stack of their concrete types in the\nvarious depths of the current scope.","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/bb684ba5210444ecebf55206f5a41f5aeb963e53"},{"sha":"3edc083dee7441ae4bb2b54426b10eb5e2cf294d","author":{"name":"svorenova","email":"36b1c7f136bbdcc1317a6942376e1bb8ad53000b@diffblue.com"},"message":"Use the map of parameter-type pairs to specialize generics","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/3edc083dee7441ae4bb2b54426b10eb5e2cf294d"},{"sha":"9c95e079134c8abfbe56bb7520e98a0b36fc78aa","author":{"name":"svorenova","email":"36b1c7f136bbdcc1317a6942376e1bb8ad53000b@diffblue.com"},"message":"Remove the old way of specializing generics\n\nWe now specialize generics on-the-fly using a context-sensitive map of\nparameter-type pairs","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/9c95e079134c8abfbe56bb7520e98a0b36fc78aa"},{"sha":"462eede12b3f1659a1e9b70066901c496a86d905","author":{"name":"svorenova","email":"36b1c7f136bbdcc1317a6942376e1bb8ad53000b@diffblue.com"},"message":"Updating and extending utility functions","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/462eede12b3f1659a1e9b70066901c496a86d905"},{"sha":"71c1423e5c5bdd98e40ea621e5ac7fd9e944098b","author":{"name":"svorenova","email":"36b1c7f136bbdcc1317a6942376e1bb8ad53000b@diffblue.com"},"message":"Adding and updating unit tests","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/71c1423e5c5bdd98e40ea621e5ac7fd9e944098b"}]}
{"actor":{"display_login":"svorenova"}}