{"push_id":769044364,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"0b207f5cad7a32d2c12b4fc58afd11377c006cb9","before":"427190f838e6fa83841aa96d7fd9aa9c91431c2f","commits":[{"sha":"8658680ce3d2c80bd863dd1827cb9905cc86439e","author":{"email":"21338eb4772e74cb820bb92b39230ba62665bad7@gmail.com","name":"Prashanth Mundkur"},"message":"Move cissr calls (client-mode verification) into separate file.","distinct":true,"url":"https://api.github.com/repos/SRI-CSL/l3riscv/commits/8658680ce3d2c80bd863dd1827cb9905cc86439e"},{"sha":"0b207f5cad7a32d2c12b4fc58afd11377c006cb9","author":{"email":"21338eb4772e74cb820bb92b39230ba62665bad7@gmail.com","name":"Prashanth Mundkur"},"message":"Start exporting C interface to L3 model in a linkable .so library.","distinct":true,"url":"https://api.github.com/repos/SRI-CSL/l3riscv/commits/0b207f5cad7a32d2c12b4fc58afd11377c006cb9"}]}