{"push_id":1031274338,"size":7,"distinct_size":7,"ref":"refs/heads/dev","head":"d341d3a0c06058028d1f70f622efda1425762575","before":"4160573acb40b0b492fed5a44001c16ccdc35cd3","commits":[{"sha":"cb0bf1b013e49f6fb20449d6479ddad9cc649495","author":{"email":"14f5f5cb7b05098833e9270fd9b270ec7a4f9723@unimelb.edu.au","name":"gkgange"},"message":"Initial attempted implementation of copy-on-write for sparse/split dbms.\nCurrently broken.","distinct":true,"url":"https://api.github.com/repos/seahorn/crab/commits/cb0bf1b013e49f6fb20449d6479ddad9cc649495"},{"sha":"d3338a6c20bb379f4cdf9cf7cff38cc7655ea11c","author":{"email":"14f5f5cb7b05098833e9270fd9b270ec7a4f9723@unimelb.edu.au","name":"gkgange"},"message":"Modified pointer-based sparse/split DBM implementations to separate base and normalized graphs.\nAppears to be working.","distinct":true,"url":"https://api.github.com/repos/seahorn/crab/commits/d3338a6c20bb379f4cdf9cf7cff38cc7655ea11c"},{"sha":"e25f2c61ba10c9c45a6986f171f6c02626ae3478","author":{"email":"14f5f5cb7b05098833e9270fd9b270ec7a4f9723@unimelb.edu.au","name":"gkgange"},"message":"Fixed missing inference.","distinct":true,"url":"https://api.github.com/repos/seahorn/crab/commits/e25f2c61ba10c9c45a6986f171f6c02626ae3478"},{"sha":"0968352dc80cab18f9f61768f5fae839cea36a1a","author":{"email":"14f5f5cb7b05098833e9270fd9b270ec7a4f9723@unimelb.edu.au","name":"gkgange"},"message":"Modified dbm ref-handling to reduce copies of normalized graph.","distinct":true,"url":"https://api.github.com/repos/seahorn/crab/commits/0968352dc80cab18f9f61768f5fae839cea36a1a"},{"sha":"6e4279a9639d511ed6413721128e4ec7888122a4","author":{"email":"14f5f5cb7b05098833e9270fd9b270ec7a4f9723@unimelb.edu.au","name":"gkgange"},"message":"Replaced some copies with refs in SparseDBM.","distinct":true,"url":"https://api.github.com/repos/seahorn/crab/commits/6e4279a9639d511ed6413721128e4ec7888122a4"},{"sha":"894d5d0e93e1b2e071a7c1758ba2ab4c119b10d2","author":{"email":"14f5f5cb7b05098833e9270fd9b270ec7a4f9723@unimelb.edu.au","name":"gkgange"},"message":"Merge branch 'dev' into dev-ref","distinct":true,"url":"https://api.github.com/repos/seahorn/crab/commits/894d5d0e93e1b2e071a7c1758ba2ab4c119b10d2"},{"sha":"d341d3a0c06058028d1f70f622efda1425762575","author":{"email":"14f5f5cb7b05098833e9270fd9b270ec7a4f9723@unimelb.edu.au","name":"gkgange"},"message":"Modified handling of base/norm refs in sparse/split DBMs.","distinct":true,"url":"https://api.github.com/repos/seahorn/crab/commits/d341d3a0c06058028d1f70f622efda1425762575"}]}