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

Add DPOR
#17 by vjeko was closed Dec 9, 2014 Loading…
Fix a possible race condition in interposition
#3 by apanda was closed Nov 18, 2014 Loading…
Fix the enqueue race condition.
#4 by vjeko was closed Nov 16, 2014 Loading…
Fix the enqueue and tell race condition.
#5 by vjeko was merged Nov 16, 2014 Loading…
New schedulers
#6 by apanda was merged Nov 18, 2014 Loading…
More detailed event trace
#7 by apanda was merged Nov 18, 2014 Loading…
Mostly: Make the instrumenter less chatty, it is now reasonably stable, let's not print out lots of stuff
#8 by apanda was merged Nov 19, 2014 Loading…
Kind of incomplete replay scheduler
#9 by apanda was merged Nov 19, 2014 Loading…
Fix the problem with the missing first event
#10 by apanda was merged Nov 19, 2014 Loading…
Checkpointing things from today.
#11 by apanda was merged Nov 20, 2014 Loading…
Replay scheduler should create all possible actors
#12 by apanda was merged Nov 22, 2014 Loading…
Failure detector
#13 by apanda was merged Dec 6, 2014 Loading…
ActorContext
#1 by vjeko was merged Nov 13, 2014 Loading…
Additional assertions in Peek Scheduler
#16 by apanda was merged Dec 8, 2014 Loading…
Fix dependencies so interposition works normally
#18 by apanda was merged Dec 9, 2014 Loading…
Change the way we handle unique message identification.
#19 by vjeko was merged Dec 10, 2014 Loading…
Add "Logger" utility, which maintains vector clocks for each actor.
#21 by colin-scott was merged Dec 18, 2014 Loading…
9
Add external events to DPOR.
#22 by vjeko was merged Dec 15, 2014 Loading…
Factor failure detector into its own file, to be used by multiple schedu...
#23 by colin-scott was merged Dec 30, 2014 Loading…
1
stop DPOR from hanging
#24 by colin-scott was merged Dec 31, 2014 Loading…
Avoid invalid minimization sequences. Add shutdown() method to Scheduler...
#25 by colin-scott was merged Jan 3, 2015 Loading…
bug fix: Start events always come before Kill events
#26 by colin-scott was merged Jan 4, 2015 Loading…
Avoid deadlock in PeekScheduler. Minimization now works
#27 by colin-scott was merged Jan 4, 2015 Loading…
Add printlns to DeltaDebugging, fix minor bug
#28 by colin-scott was merged Jan 4, 2015 Loading…
Concurrency bug (fixes?) galore!
#112 by colin-scott was merged Sep 24, 2015 Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.