{"push_id":1450232393,"size":11,"distinct_size":1,"ref":"refs/heads/master","head":"eafc9c52b34d1914389a300a53dec152496865cd","before":"a48905bd9cb600f38f79b104dfd8220903f15dea","commits":[{"sha":"7bd2530d25b6776645f296a7514ca53f4ddf1e4d","author":{"name":"Jonathan Barrios","email":"aeff586d6b90a22692401e5f80ff53170d2e7fc6@columbia.edu"},"message":"prover is hilariously incomplete but works on the provided prover.c file","distinct":false,"url":"https://api.github.com/repos/jeb2239/VerifiedFormally/commits/7bd2530d25b6776645f296a7514ca53f4ddf1e4d"},{"sha":"7085e615cdb9f8b82864e6dd027ada6c21e6fb49","author":{"name":"Jonathan Barrios","email":"aeff586d6b90a22692401e5f80ff53170d2e7fc6@columbia.edu"},"message":"presentation","distinct":false,"url":"https://api.github.com/repos/jeb2239/VerifiedFormally/commits/7085e615cdb9f8b82864e6dd027ada6c21e6fb49"},{"sha":"608cb2ff646c2b0c1c7012bf806a3c9998b93826","author":{"name":"Jonathan Barrios","email":"aeff586d6b90a22692401e5f80ff53170d2e7fc6@columbia.edu"},"message":"put string_of_doc in logger","distinct":false,"url":"https://api.github.com/repos/jeb2239/VerifiedFormally/commits/608cb2ff646c2b0c1c7012bf806a3c9998b93826"},{"sha":"41315694bdcf04101bcd08095489a8e2224c5dfa","author":{"name":"Jonathan Barrios","email":"aeff586d6b90a22692401e5f80ff53170d2e7fc6@columbia.edu"},"message":"configured to also dump Cil out put","distinct":false,"url":"https://api.github.com/repos/jeb2239/VerifiedFormally/commits/41315694bdcf04101bcd08095489a8e2224c5dfa"},{"sha":"f48751fb9118a482a54275dd166001b5c28c1719","author":{"name":"Jonathan Barrios","email":"aeff586d6b90a22692401e5f80ff53170d2e7fc6@columbia.edu"},"message":"experimenting with Cil's dataflow analysis modules","distinct":false,"url":"https://api.github.com/repos/jeb2239/VerifiedFormally/commits/f48751fb9118a482a54275dd166001b5c28c1719"},{"sha":"4d87d52479a97175082980cdf2b5e1759bb64b6e","author":{"name":"Jonathan Barrios","email":"aeff586d6b90a22692401e5f80ff53170d2e7fc6@columbia.edu"},"message":"if statments appear to work, there are cases in which we would need to bailout on an ambigous if","distinct":false,"url":"https://api.github.com/repos/jeb2239/VerifiedFormally/commits/4d87d52479a97175082980cdf2b5e1759bb64b6e"},{"sha":"d05615bccdb84c956fa3fbdd7d03cbbf2a4c6872","author":{"name":"Jonathan Barrios","email":"aeff586d6b90a22692401e5f80ff53170d2e7fc6@columbia.edu"},"message":"loop invarient works but needs more testing","distinct":false,"url":"https://api.github.com/repos/jeb2239/VerifiedFormally/commits/d05615bccdb84c956fa3fbdd7d03cbbf2a4c6872"},{"sha":"772286c8b85855c73c4a69fc3c0fbb4498e41cd0","author":{"name":"Jonathan Barrios","email":"aeff586d6b90a22692401e5f80ff53170d2e7fc6@columbia.edu"},"message":"added more tests","distinct":false,"url":"https://api.github.com/repos/jeb2239/VerifiedFormally/commits/772286c8b85855c73c4a69fc3c0fbb4498e41cd0"},{"sha":"3ce0afb51cca29709b8902a4b7906a216a3616b7","author":{"name":"Kevin Chen","email":"4f8256ed59811c7dd7ca32acad9a4d5484fc1d6c@kevinchen.co"},"message":"Makefile: clean target now works when nothing cleaned.","distinct":false,"url":"https://api.github.com/repos/jeb2239/VerifiedFormally/commits/3ce0afb51cca29709b8902a4b7906a216a3616b7"},{"sha":"d390a7df46f9c51104eb3b1c3c8e356aab7f6752","author":{"name":"Kevin Chen","email":"4f8256ed59811c7dd7ca32acad9a4d5484fc1d6c@kevinchen.co"},"message":"Properly define away availability attributes.","distinct":false,"url":"https://api.github.com/repos/jeb2239/VerifiedFormally/commits/d390a7df46f9c51104eb3b1c3c8e356aab7f6752"},{"sha":"eafc9c52b34d1914389a300a53dec152496865cd","author":{"name":"Jonathan Barrios","email":"aeff586d6b90a22692401e5f80ff53170d2e7fc6@users.noreply.github.com"},"message":"Merge pull request #4 from jeb2239/jonathan_prover\n\nJonathan prover","distinct":true,"url":"https://api.github.com/repos/jeb2239/VerifiedFormally/commits/eafc9c52b34d1914389a300a53dec152496865cd"}]}
{"actor":{"display_login":"jeb2239"}}