Skip to content

Pull requests: NetSys/demi

New pull request New
Clear current search query, filters, and sorts
0 Open 100 Closed
0 Open 100 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Concurrency bug (fixes?) galore!
#112 by colin-scott was merged Sep 24, 2015 Loading…
Bug fixes for Spark
#111 by colin-scott was merged Sep 16, 2015 Loading…
Graph both internal and external progress
#110 by colin-scott was merged Sep 11, 2015 Loading…
Bug fixes
#109 by colin-scott was merged Sep 8, 2015 Loading…
Hacky fix to OOM, hacky fix to violations of linearizability
#108 by colin-scott was merged Sep 7, 2015 Loading…
Fair scheduling: time budget spread across subsequences
#107 by colin-scott was merged Sep 3, 2015 Loading…
Infrasturcture for running experiments programmatically
#106 by colin-scott was merged Sep 3, 2015 Loading…
Fungible Clocks for use with DDMin. + bug fixes
#105 by colin-scott was merged Aug 31, 2015 Loading…
FIFO internal minimization; Fungible Clocks
#104 by colin-scott was merged Aug 25, 2015 Loading…
Fungible Clock scheduling heuristic
#103 by colin-scott was merged Aug 19, 2015 Loading…
Big checkpoint: serialization fixes, properly find actor crashes
#102 by colin-scott was merged Aug 11, 2015 Loading…
internal mininimization for Spark; lots of non-determinism fixes
#99 by colin-scott was merged Jul 30, 2015 Loading…
Support for actually killing actors, not just isolating them
#98 by colin-scott was merged Jul 17, 2015 Loading…
Many changes: new external events, deal with lots of non-determinism
#97 by colin-scott was merged Jul 9, 2015 Loading…
Replay Spark executions successfully
#96 by colin-scott was merged Jun 29, 2015 Loading…
Mitigating non-determinism in Spark: atomic blocks, marking unignorable events.
#94 by colin-scott was merged Jun 17, 2015 Loading…
Spark runs on STS2! Big pull request, a few fixes: …
#93 by colin-scott was merged Jun 5, 2015 Loading…
shrink message contents (cluster size)
#92 by colin-scott was merged May 20, 2015 Loading…
Fix bug in STSScheduler, not recording SpawnEvents
#90 by colin-scott was merged Apr 25, 2015 Loading…
Minimize internal messages
#89 by colin-scott was merged Apr 20, 2015 Loading…
Arvind distance
#88 by colin-scott was merged Apr 4, 2015 Loading…
Verify that DPOR's MCS is replayable
#87 by colin-scott was merged Apr 3, 2015 Loading…
Incremental delta debugging
#84 by colin-scott was merged Apr 2, 2015 Loading…
Checkpoint: addition distance, bug fixes
#80 by colin-scott was merged Mar 27, 2015 Loading…
Add support for checking invariants periodically in DPORwHeuristics
#79 by colin-scott was merged Mar 20, 2015 Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.