emichael dslabs issues - Githubissues

emichael / dslabs

Distributed Systems Labs and Framework

https://ellismichael.com/dslabs/

1.23k stars 337 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Node's send method accepts a Timer object.

#77 jcfiorenzano closed 2 weeks ago
1
Document JSON test output mode

#76 emichael opened 2 weeks ago
0
Visualizer n and p keybindings stop working after you click on state trees in nodes

#75 emichael opened 2 weeks ago
0
ubuntu make fails; windows 11 gradlew.bat fails

#74 cubbins closed 2 months ago
2
Update lab4 part II README.md

#73 CorneliusOsei2 closed 5 months ago
1
Prevent parent nodes from duplicating log message

#72 dfpetrin closed 6 months ago
2
Add macOS gsed dependency note to README

#71 dfpetrin closed 6 months ago
1
Add a demo of @Log to Lab 0

#70 wilcoxjay opened 7 months ago
0
Add java.time to list of allowed reflective accesses

#69 wilcoxjay closed 7 months ago
0
Update handout README jdk instruction

#68 sgdxbc closed 8 months ago
1
improve lab 3 test 23 comments a bit

#67 wilcoxjay closed 9 months ago
2
Comma separated part numbers for run-tests.py

#66 armanbm177 closed 8 months ago
2
On small screens the event filtering box is partially off the screen and does not scroll

#65 wilcoxjay closed 10 months ago
0
Cleanup JTrees.java

#64 emichael opened 10 months ago
0
visualizer/JTree: make subclasses of ObjectTreeNode handle null values

#63 wilcoxjay closed 10 months ago
1
Add Checker Framework nullness checker

#62 emichael opened 10 months ago
1
Switch to Google Java formatter

#61 emichael closed 8 months ago
1
Add ability to show/hide event types in Events list in viz

#60 emichael closed 10 months ago
7
Might be nice to support filters on the events view

#59 wilcoxjay closed 10 months ago
0
Error running make: `gcp` is not recognized on zsh shell

#58 Samia1117 closed 1 year ago
2
Use failAndContinue liberally throughout tests

#57 emichael opened 1 year ago
0
Log results of JUnit tests to a file

#56 emichael closed 7 months ago
1
Print formatted results to file

#55 emichael closed 7 months ago
0
Compute client waiting time without including testing framework time

#54 emichael closed 10 months ago
5
Gradle build fails

#53 manishrw closed 1 year ago
2
Adding guide for setting up local development environment

#52 iefnaf closed 1 year ago
2
Print start and end time of each test

#51 wilcoxjay closed 8 months ago
1
Compute client waiting time without including testing framework time

#50 wilcoxjay closed 1 year ago
2
Migrate from numeric primitive times to Instant/Duration

#49 emichael opened 1 year ago
7
Don't count invariant computation time against clients' wait times

#48 emichael closed 10 months ago
0
Fixed string format error in lab4 part1 tests

#46 TonyStew closed 1 year ago
1
Add lombok annotations for ShardStoreNode

#45 sgdxbc closed 1 year ago
8
Visual debugger display too small on Arch with Xmonad WM

#44 Lawqup opened 1 year ago
3
Possible deadlock in the framework with the search test

#43 znAaron closed 1 year ago
1
fix some lab 1 README typos

#42 wilcoxjay closed 1 year ago
0
Run test by simulating

#41 sgdxbc opened 1 year ago
6
Lab 1: clarify what should be done when handling "old requests"

#38 nathanperkins closed 2 years ago
1
Add search option to not exit after goal found

#37 emichael opened 2 years ago
0
Add even more detail messages

#36 gnanabite closed 2 years ago
1
Add detail message for APPENDS_LINEARIZABLE

#35 gnanabite closed 2 years ago
1
Feature Request: add detail messages for more/all invariant predicates

#34 gnanabite closed 2 years ago
2
Add java source files as a dependency for submit.tar.gz

#33 gnanabite closed 2 years ago
0
Line wrap predicate names

#32 gnanabite closed 2 years ago
1
Add the ability to save and replay traces generated by invariant violations

#31 emichael closed 2 years ago
1
Use most recent SearchSettings in new debugger

#30 gnanabite closed 2 years ago
1
Incorporate SearchSettings in the new debugger

#29 gnanabite closed 2 years ago
4
Don't make test numbers dependent on filters

#28 emichael closed 2 years ago
1
Show delivered messages when opened viz is started with a trace

#27 emichael closed 2 years ago
1
Allow for multiple rows of node states, reordering nodes

#26 emichael opened 2 years ago
0
Don't replace timers on update, highlight new timers

#25 emichael closed 2 years ago
1