{"push_id":909807345,"size":35,"distinct_size":1,"ref":"refs/heads/master","head":"7c5c640b4c846bab4e16aaab4ceabad7d4cee9d2","before":"deb8808048c01401fab250e5e78165087e55738a","commits":[{"sha":"97028046d1e0c8a26fe740ce02f7ec281c0fb2c5","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #99 from colin-scott/master\n\ninternal mininimization for Spark; lots of non-determinism fixes","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/97028046d1e0c8a26fe740ce02f7ec281c0fb2c5"},{"sha":"52a6a1ad668677f5d7aff8c6e0f6cd92a7e7a495","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #102 from colin-scott/master\n\nBig checkpoint: serialization fixes, properly find actor crashes","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/52a6a1ad668677f5d7aff8c6e0f6cd92a7e7a495"},{"sha":"0e2ce029536ae3a6e398d75c665e6e8cbf8ba676","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #103 from colin-scott/master\n\nFungible Clock scheduling heuristic","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/0e2ce029536ae3a6e398d75c665e6e8cbf8ba676"},{"sha":"30efa5b35690d0bddbe34f2cc00d20945c016c04","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #104 from colin-scott/master\n\nFIFO internal minimization; Fungible Clocks","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/30efa5b35690d0bddbe34f2cc00d20945c016c04"},{"sha":"e7b5a08eee63cbf8da1e4bea9121ff064326d7d5","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #105 from colin-scott/master\n\nFungible Clocks for use with DDMin. + bug fixes","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/e7b5a08eee63cbf8da1e4bea9121ff064326d7d5"},{"sha":"d9dd41aad5ccf9812b175311b677ad4c0f56aab4","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #106 from colin-scott/master\n\nInfrasturcture for running experiments programmatically","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/d9dd41aad5ccf9812b175311b677ad4c0f56aab4"},{"sha":"18af41a103d73c1718596145fdb3109efe38c364","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #107 from colin-scott/master\n\nFair scheduling: time budget spread across subsequences","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/18af41a103d73c1718596145fdb3109efe38c364"},{"sha":"a903f684f3d78f69e370b0a798b95d4bf2f29ae9","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #108 from colin-scott/master\n\nHacky fix to OOM, hacky fix to violations of linearizability","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/a903f684f3d78f69e370b0a798b95d4bf2f29ae9"},{"sha":"df62b7ddb3902a89a1df900f6e8e8b4ee534d909","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #109 from colin-scott/master\n\nBug fixes","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/df62b7ddb3902a89a1df900f6e8e8b4ee534d909"},{"sha":"2b7922ad839a733032b78c07acae86e632af19b9","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #110 from colin-scott/master\n\nGraph both internal and external progress","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/2b7922ad839a733032b78c07acae86e632af19b9"},{"sha":"3b710825c951d61c7ffe923dea383bc34107e9c9","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #111 from colin-scott/master\n\nBug fixes for Spark","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/3b710825c951d61c7ffe923dea383bc34107e9c9"},{"sha":"75feaf6abe819bdee39a062ea1b997234abde5b3","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"Merge pull request #112 from colin-scott/master\n\nConcurrency bug (fixes?) galore!","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/75feaf6abe819bdee39a062ea1b997234abde5b3"},{"sha":"5359d0443ff4cd13fd5611e52b9a48e3eeb68d07","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"Colin Scott"},"message":"change name","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/5359d0443ff4cd13fd5611e52b9a48e3eeb68d07"},{"sha":"9ea25f20c695501a80b8f93f9ca2313ddc6c0378","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"colin-scott"},"message":"Add license","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/9ea25f20c695501a80b8f93f9ca2313ddc6c0378"},{"sha":"5ab76346125fa5adba3c07a58263b042337e829a","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"colin-scott"},"message":"Instructions for how to use","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/5ab76346125fa5adba3c07a58263b042337e829a"},{"sha":"85833d0c9bad09a4c74ccf3aa3a97a98e1cc0f86","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"colin-scott"},"message":"Capitalization","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/85833d0c9bad09a4c74ccf3aa3a97a98e1cc0f86"},{"sha":"6ea5a0d1d5e9a5d188132336f0941bd0b3eeedc6","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"colin-scott"},"message":"Rename subdirectory","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/6ea5a0d1d5e9a5d188132336f0941bd0b3eeedc6"},{"sha":"77e72ccd05408b08cc4d1f673db26eb9d0ad5928","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"colin-scott"},"message":"Refactor internal minimization. Break apart into different files","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/77e72ccd05408b08cc4d1f673db26eb9d0ad5928"},{"sha":"fe72e1e7bf9d1ee3d2c7f1b8d4323a9368cefccd","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"colin-scott"},"message":"Refactor: split out Wildcard minimization into separate files","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/fe72e1e7bf9d1ee3d2c7f1b8d4323a9368cefccd"},{"sha":"8da277e93ad757fd4dce89c8d550d8a9336506e3","author":{"email":"67f994533a5d976eed69aeae05e381bf6fa851e8@cs.berkeley.edu","name":"colin-scott"},"message":"Refactor: External events only in AuxiliaryTypes, internal in\nschedulers/AuxiliaryTypes","distinct":false,"url":"https://api.github.com/repos/NetSys/demi-applications/commits/8da277e93ad757fd4dce89c8d550d8a9336506e3"}]}