{"push_id":1055717283,"size":4,"distinct_size":4,"ref":"refs/heads/json-output","head":"138a183c2d77445b6da76646d160cbd7c6d6bf9c","before":"01184d8824a67afbffce3237f1bec7abbec83647","commits":[{"sha":"8061fe4231c5a16a48e104fabcc878609075edba","author":{"email":"644cd02e1403dc68fa4d3b6ae4171f513505ac80@cs.ox.ac.uk","name":"Peter Schrammel"},"message":"show-properties with JSON output","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/8061fe4231c5a16a48e104fabcc878609075edba"},{"sha":"e753349d3825567b3ae826fc55f96799ca804ecf","author":{"email":"644cd02e1403dc68fa4d3b6ae4171f513505ac80@cs.ox.ac.uk","name":"Peter Schrammel"},"message":"fixed show-reachable-properties when used with --function option","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/e753349d3825567b3ae826fc55f96799ca804ecf"},{"sha":"1c48ffce6859422addd1b93a94bf0b124545f70a","author":{"email":"644cd02e1403dc68fa4d3b6ae4171f513505ac80@cs.ox.ac.uk","name":"Peter Schrammel"},"message":"show-goto-functions for XML-UI and JSON-UI","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/1c48ffce6859422addd1b93a94bf0b124545f70a"},{"sha":"138a183c2d77445b6da76646d160cbd7c6d6bf9c","author":{"email":"644cd02e1403dc68fa4d3b6ae4171f513505ac80@cs.ox.ac.uk","name":"Peter Schrammel"},"message":"allow show-goto-functions for programs without main","distinct":true,"url":"https://api.github.com/repos/peterschrammel/cbmc/commits/138a183c2d77445b6da76646d160cbd7c6d6bf9c"}]}