{"ref":"refs/heads/master","commits":[{"author":{"email":"5cf1df1386c80b5aca74ed9aaa98fcd91369aa3f@student.liu.se","name":"Martin Bodin"},"sha":"caafc3b0af683f8b583bb066f4e864a49b3869ac","message":"Added ScopeStack datatype and some common functions for primitive datatypes","url":"https://api.github.com/repos/net4all/SMT-Tddc67/commits/caafc3b0af683f8b583bb066f4e864a49b3869ac"}],"head":"caafc3b0af683f8b583bb066f4e864a49b3869ac","push_id":52122094,"size":1}