{"push_id":2648468698,"size":1,"distinct_size":1,"ref":"refs/heads/disable-soundness-check-for-shared-pointers","head":"7d4d4bd5d9dcc54ce1c2f80d2e12f014e84f2d8f","before":"a3d43003c41880b6f02790b5f0254ec25183ce69","commits":[{"sha":"7d4d4bd5d9dcc54ce1c2f80d2e12f014e84f2d8f","author":{"name":"Kurt Degiorgio","email":"e96273d8c681dc6e1dc6b98b9fbe31c4183f7ed3@outlook.com"},"message":"Skip check for unsoundness in shared pointer handling (java only)\n\nIf the 'java-threading' option is specified this commit prevents symex\nfrom throwing an exception when it encounters pointers that are shared\nacross threads. This is unsound but given that pointers are ubiquitous\nin java this check must be disabled (until the concurrency encoding is\nfixed).","distinct":true,"url":"https://api.github.com/repos/Degiorgio/cbmc/commits/7d4d4bd5d9dcc54ce1c2f80d2e12f014e84f2d8f"}]}
{"actor":{"display_login":"Degiorgio"}}