{"push_id":2895831044,"size":1,"distinct_size":1,"ref":"refs/heads/struct-class","head":"705906783aadb9a570c4afb411ae6c91adb73bf3","before":"8b720168555c5b6958c42c5dba5a32987570cbca","commits":[{"sha":"705906783aadb9a570c4afb411ae6c91adb73bf3","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Move is_class and default_access to struct_typet\n\nA class_typet would always return true for is_class() and ID_private for\ndefault_access(). Only when available for both a struct_typet and a\nclass_typet do they enable non-trivial use.","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/705906783aadb9a570c4afb411ae6c91adb73bf3"}]}
{"actor":{"display_login":"tautschnig"}}