{"push_id":839029340,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"079d746039688d8f3b249881c7c8d015b5b5a69d","before":"7a07d4581c22fb33fe6b96f8ed40adf0cadd90b8","commits":[{"sha":"79fbaeee50620229e67a3b45a80bdd15b64e1836","author":{"email":"f84fc32ec2e0b68af7d03f17e52f2a8681703afb@galois.com","name":"Brian Huffman"},"message":"Redefine JavaSetup and LLVMSetup monads to extend TopLevel monad","distinct":true,"url":"https://api.github.com/repos/GaloisInc/saw-script/commits/79fbaeee50620229e67a3b45a80bdd15b64e1836"},{"sha":"548ffb8aff94e8aa084beed1c304e4ac37d9ad96","author":{"email":"f84fc32ec2e0b68af7d03f17e52f2a8681703afb@galois.com","name":"Brian Huffman"},"message":"Redefine ProofScript to extend TopLevel monad instead of IO monad","distinct":true,"url":"https://api.github.com/repos/GaloisInc/saw-script/commits/548ffb8aff94e8aa084beed1c304e4ac37d9ad96"},{"sha":"079d746039688d8f3b249881c7c8d015b5b5a69d","author":{"email":"f84fc32ec2e0b68af7d03f17e52f2a8681703afb@galois.com","name":"Brian Huffman"},"message":"Convert saw-script interpreter to run in the TopLevel monad","distinct":true,"url":"https://api.github.com/repos/GaloisInc/saw-script/commits/079d746039688d8f3b249881c7c8d015b5b5a69d"}]}