{"push_id":773997308,"size":59,"distinct_size":41,"ref":"refs/heads/master","head":"cb2d1e4a04abf0125617f07bbc38a68c47831fd8","before":"e303ea5c534ee330abe70465dc3398a87e01cecc","commits":[{"sha":"4314eb514ae371700308739447d800a454fa23cd","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"Initial work done. Needs testing","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/4314eb514ae371700308739447d800a454fa23cd"},{"sha":"06dae603bda6767dd9249417ffcac725b5ea8af9","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"troubleshooting...","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/06dae603bda6767dd9249417ffcac725b5ea8af9"},{"sha":"2de07d28e48e9287b5337bf43bd95e00887ca8ce","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"fixed finalizeThreads","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/2de07d28e48e9287b5337bf43bd95e00887ca8ce"},{"sha":"d9f68a82aefc583fdb784b48dfafde4a9195ef35","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"cleaned up code, added module header","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/d9f68a82aefc583fdb784b48dfafde4a9195ef35"},{"sha":"6c1f079512dc6cd97ace58f5be9cad93149ad243","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"removed ParallelMode","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/6c1f079512dc6cd97ace58f5be9cad93149ad243"},{"sha":"aea4e3748f8c0a414e9969b6b6f51d3818d6faad","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"adding cores into fixpoint","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/aea4e3748f8c0a414e9969b6b6f51d3818d6faad"},{"sha":"46218de29a79933467cf71b16c8260265c3ead14","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"filename in finfo","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/46218de29a79933467cf71b16c8260265c3ead14"},{"sha":"594cf2f0c31a3dd64ae7e404d477a95ae6674acc","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"Merge remote-tracking branch 'refs/remotes/upstream/cores' into parallel-solver\n\nConflicts:\n\tsrc/Language/Fixpoint/Config.hs","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/594cf2f0c31a3dd64ae7e404d477a95ae6674acc"},{"sha":"39aac40add026cbc577a7d4ad49eca8fca6e9fc0","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"did some debugging","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/39aac40add026cbc577a7d4ad49eca8fca6e9fc0"},{"sha":"bf6d0d16e78fd35dd7f36ccd416f113c91e1341a","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"Merge pull request #87 from christetreault/parallel-solver\n\nParallel solver","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/bf6d0d16e78fd35dd7f36ccd416f113c91e1341a"},{"sha":"67cb2bfd100563369f91e0f2ec620dcfcecfb110","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"looks like one test passes","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/67cb2bfd100563369f91e0f2ec620dcfcecfb110"},{"sha":"6035e5c4abafd1ef806c4c6f3ba7838fd8797777","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"asdasd","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/6035e5c4abafd1ef806c4c6f3ba7838fd8797777"},{"sha":"f9b26a35ec0dc98cddcafc971a9688d743381fbe","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"added chapter 3.fq","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/f9b26a35ec0dc98cddcafc971a9688d743381fbe"},{"sha":"d3f964abce74a6344d7dbe0feaa9ec4e644bfcd2","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"asdasd","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/d3f964abce74a6344d7dbe0feaa9ec4e644bfcd2"},{"sha":"527d5b1e374d0ae4590885dd2adebf14c7f395a2","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"asdasd","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/527d5b1e374d0ae4590885dd2adebf14c7f395a2"},{"sha":"c2fdeb089f3f36928abe8404244ad6d0a432d6d8","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"Work done on more robust exception handling\n\nThreads no long crash. However apparently mempty doesn't mean fail like\nmzero often does","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/c2fdeb089f3f36928abe8404244ad6d0a432d6d8"},{"sha":"68921246a0795cedb6670476462e3d6b9e163a17","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"implemented error handling via UnknownError","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/68921246a0795cedb6670476462e3d6b9e163a17"},{"sha":"4f91e61577d7dd3f495b420bed0ebadef929afa2","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"more tracing!","distinct":false,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/4f91e61577d7dd3f495b420bed0ebadef929afa2"},{"sha":"d7d72442e4999c3698c2a4b6dca21678e36cfe4c","author":{"email":"e1ccac100d0a1613f88d6fd0368db785a2a0fb75@cs.ucsd.edu","name":"Ranjit Jhala"},"message":"Asd","distinct":true,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/d7d72442e4999c3698c2a4b6dca21678e36cfe4c"},{"sha":"5936801758935e20e52b9033d14a36467250a043","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@doingmyprogramming.com","name":"Chris Tetreault"},"message":"modified solvePar so that:\n\nonly solves in parallel if the partitions list is non-empty\nspawns less than cores threads if there are less than cores partitions","distinct":true,"url":"https://api.github.com/repos/atondwal/liquid-fixpoint/commits/5936801758935e20e52b9033d14a36467250a043"}]}