{"push_id":1066775952,"size":19,"distinct_size":1,"ref":"refs/heads/SMT-escape","head":"c9b9222992826d77260a7f48ebdddafabc24e30d","before":"09146be586d010f29cba7f79697e0cd8cc2ebfd4","commits":[{"sha":"b903a986fcb2ff54974ae5846a87d9c3faa91abc","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"comment","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/b903a986fcb2ff54974ae5846a87d9c3faa91abc"},{"sha":"103e76ae9df0b24d6525f36ecc27580721c52ada","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"mark as KNOWNBUG","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/103e76ae9df0b24d6525f36ecc27580721c52ada"},{"sha":"08caeb9bff677b9c1b8a21f2e87cabe0e870268f","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"more work on virtual functions","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/08caeb9bff677b9c1b8a21f2e87cabe0e870268f"},{"sha":"46ed5758ecc87947bf9cd549510f234fe4e1d975","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"cleanup","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/46ed5758ecc87947bf9cd549510f234fe4e1d975"},{"sha":"8937355a4b3ec7a9d30f430d7857c630edfc88fb","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"fix for references to array classes","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/8937355a4b3ec7a9d30f430d7857c630edfc88fb"},{"sha":"73b6c8315ccb5b8aa11747b3c0db7747696d5a57","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"added jar_filet","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/73b6c8315ccb5b8aa11747b3c0db7747696d5a57"},{"sha":"c4bf8af89e1efee8a1c4ae4f8b8c1a57fcb11f31","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"include base name in class symbols","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/c4bf8af89e1efee8a1c4ae4f8b8c1a57fcb11f31"},{"sha":"f1faabf1bd69c004f28d0203e95a16a26291f133","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"fix dependencies","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/f1faabf1bd69c004f28d0203e95a16a26291f133"},{"sha":"215e45a4132e011d58320c53a0da1ced6f6ec0dc","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"loading entire JARs","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/215e45a4132e011d58320c53a0da1ced6f6ec0dc"},{"sha":"256eea144ef79d38984cd7cc472ef26da422258a","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"don't do nondet assignments in case body isn't available","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/256eea144ef79d38984cd7cc472ef26da422258a"},{"sha":"f767c3aa1881025258414cd5a785ee891e9a9440","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"print property class","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/f767c3aa1881025258414cd5a785ee891e9a9440"},{"sha":"31f3a976ed10dc32b96f6082fb1805561dcccc8d","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"taint output changed","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/31f3a976ed10dc32b96f6082fb1805561dcccc8d"},{"sha":"facd7dbce06e59c651b81e695ba96749ebb78b95","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"cleanup java bytecode frontend","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/facd7dbce06e59c651b81e695ba96749ebb78b95"},{"sha":"32357f55663170719a3403e1af32e03e99a3d888","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"fix for class dependencies","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/32357f55663170719a3403e1af32e03e99a3d888"},{"sha":"98b27348ccd029ae5129baf9e5d9d000feb120a9","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"no error message on missing class file","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/98b27348ccd029ae5129baf9e5d9d000feb120a9"},{"sha":"49644fc37ae1818bfcea01f533141b8e21a103b5","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"test now works","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/49644fc37ae1818bfcea01f533141b8e21a103b5"},{"sha":"0ea0eea26d98f2f5e9caef3b06d4c15bb6365a33","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"typecheck arguments of __CPROVER_get_may and _must","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/0ea0eea26d98f2f5e9caef3b06d4c15bb6365a33"},{"sha":"027311740d41123d4406e70c3eb4a06e69650089","author":{"email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk","name":"Daniel Kroening"},"message":"propagate string literals","distinct":false,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/027311740d41123d4406e70c3eb4a06e69650089"},{"sha":"c9b9222992826d77260a7f48ebdddafabc24e30d","author":{"email":"54669547a225ff20cba8b75a4adca540eef25858@raphael","name":"martin"},"message":"Allow specially named uninterpreted functions to introduce SMT-LIB directly.","distinct":true,"url":"https://api.github.com/repos/martin-cs/cbmc/commits/c9b9222992826d77260a7f48ebdddafabc24e30d"}]}