emichael/dslabs issues and pull requests

#77 - Node's send method accepts a Timer object.

Issue - State: closed - Opened by jcfiorenzano 2 months ago - 1 comment

#76 - Document JSON test output mode

Issue - State: open - Opened by emichael 3 months ago
Labels: enhancement, documentation

#75 - Visualizer n and p keybindings stop working after you click on state trees in nodes

Issue - State: open - Opened by emichael 3 months ago
Labels: bug, component:visualizer

#74 - ubuntu make fails; windows 11 gradlew.bat fails

Issue - State: closed - Opened by cubbins 4 months ago - 2 comments
Labels: bug

#73 - Update lab4 part II README.md

Pull Request - State: closed - Opened by CorneliusOsei2 7 months ago - 1 comment

#72 - Prevent parent nodes from duplicating log message

Pull Request - State: closed - Opened by dfpetrin 8 months ago - 2 comments

#71 - Add macOS gsed dependency note to README

Pull Request - State: closed - Opened by dfpetrin 8 months ago - 1 comment

#70 - Add a demo of @Log to Lab 0

Issue - State: open - Opened by wilcoxjay 9 months ago

#69 - Add java.time to list of allowed reflective accesses

Pull Request - State: closed - Opened by wilcoxjay 9 months ago

#68 - Update handout README jdk instruction

Pull Request - State: closed - Opened by sgdxbc 10 months ago - 1 comment

#67 - improve lab 3 test 23 comments a bit

Pull Request - State: closed - Opened by wilcoxjay 11 months ago - 2 comments

#66 - Comma separated part numbers for run-tests.py

Pull Request - State: closed - Opened by armanbm177 11 months ago - 2 comments

#65 - On small screens the event filtering box is partially off the screen and does not scroll

Issue - State: closed - Opened by wilcoxjay 12 months ago
Labels: bug

#64 - Cleanup JTrees.java

Issue - State: open - Opened by emichael about 1 year ago

#63 - visualizer/JTree: make subclasses of ObjectTreeNode handle null values

Pull Request - State: closed - Opened by wilcoxjay about 1 year ago - 1 comment

#62 - Add Checker Framework nullness checker

Issue - State: open - Opened by emichael about 1 year ago - 1 comment

#61 - Switch to Google Java formatter

Issue - State: closed - Opened by emichael about 1 year ago - 1 comment

#60 - Add ability to show/hide event types in Events list in viz

Pull Request - State: closed - Opened by emichael about 1 year ago - 7 comments
Labels: enhancement, component:visualizer

#59 - Might be nice to support filters on the events view

Issue - State: closed - Opened by wilcoxjay about 1 year ago
Labels: enhancement, component:visualizer

#58 - Error running make: `gcp` is not recognized on zsh shell

Issue - State: closed - Opened by Samia1117 over 1 year ago - 2 comments
Labels: bug

#57 - Use failAndContinue liberally throughout tests

Issue - State: open - Opened by emichael over 1 year ago
Labels: enhancement

#56 - Log results of JUnit tests to a file

Pull Request - State: closed - Opened by emichael over 1 year ago - 1 comment
Labels: enhancement

#55 - Print formatted results to file

Issue - State: closed - Opened by emichael over 1 year ago
Labels: enhancement

#54 - Compute client waiting time without including testing framework time

Pull Request - State: closed - Opened by emichael over 1 year ago - 5 comments
Labels: bug

#53 - Gradle build fails

Issue - State: closed - Opened by manishrw over 1 year ago - 2 comments
Labels: bug

#52 - Adding guide for setting up local development environment

Pull Request - State: closed - Opened by iefnaf over 1 year ago - 2 comments

#51 - Print start and end time of each test

Pull Request - State: closed - Opened by wilcoxjay over 1 year ago - 1 comment

#50 - Compute client waiting time without including testing framework time

Pull Request - State: closed - Opened by wilcoxjay over 1 year ago - 2 comments

#49 - Migrate from numeric primitive times to Instant/Duration

Issue - State: open - Opened by emichael over 1 year ago - 7 comments
Labels: enhancement, first issue

#48 - Don't count invariant computation time against clients' wait times

Issue - State: closed - Opened by emichael over 1 year ago
Labels: bug, first issue

#46 - Fixed string format error in lab4 part1 tests

Pull Request - State: closed - Opened by TonyStew over 1 year ago - 1 comment

#45 - Add lombok annotations for ShardStoreNode

Pull Request - State: closed - Opened by sgdxbc over 1 year ago - 8 comments

#44 - Visual debugger display too small on Arch with Xmonad WM

Issue - State: open - Opened by Lawqup over 1 year ago - 3 comments
Labels: bug, component:visualizer

#43 - Possible deadlock in the framework with the search test

Issue - State: closed - Opened by znAaron over 1 year ago - 1 comment
Labels: bug, working as intended

#42 - fix some lab 1 README typos

Pull Request - State: closed - Opened by wilcoxjay almost 2 years ago

#41 - Run test by simulating

Pull Request - State: open - Opened by sgdxbc about 2 years ago - 6 comments
Labels: enhancement

#38 - Lab 1: clarify what should be done when handling "old requests"

Issue - State: closed - Opened by nathanperkins over 2 years ago - 1 comment

#37 - Add search option to not exit after goal found

Issue - State: open - Opened by emichael over 2 years ago
Labels: enhancement

#36 - Add even more detail messages

Pull Request - State: closed - Opened by gnanabite over 2 years ago - 1 comment

#35 - Add detail message for APPENDS_LINEARIZABLE

Pull Request - State: closed - Opened by gnanabite over 2 years ago - 1 comment
Labels: enhancement

#34 - Feature Request: add detail messages for more/all invariant predicates

Issue - State: closed - Opened by gnanabite over 2 years ago - 2 comments
Labels: enhancement

#33 - Add java source files as a dependency for submit.tar.gz

Pull Request - State: closed - Opened by gnanabite over 2 years ago

#32 - Line wrap predicate names

Pull Request - State: closed - Opened by gnanabite over 2 years ago - 1 comment
Labels: component:visualizer

#31 - Add the ability to save and replay traces generated by invariant violations

Pull Request - State: closed - Opened by emichael over 2 years ago - 1 comment
Labels: enhancement

#30 - Use most recent SearchSettings in new debugger

Pull Request - State: closed - Opened by gnanabite over 2 years ago - 1 comment
Labels: bug, component:visualizer

#29 - Incorporate SearchSettings in the new debugger

Pull Request - State: closed - Opened by gnanabite over 2 years ago - 4 comments
Labels: enhancement, component:visualizer

#28 - Don't make test numbers dependent on filters

Issue - State: closed - Opened by emichael over 2 years ago - 1 comment
Labels: enhancement, first issue

#27 - Show delivered messages when opened viz is started with a trace

Issue - State: closed - Opened by emichael over 2 years ago - 1 comment
Labels: enhancement, component:visualizer

#26 - Allow for multiple rows of node states, reordering nodes

Issue - State: open - Opened by emichael over 2 years ago
Labels: enhancement, component:visualizer

#25 - Don't replace timers on update, highlight new timers

Issue - State: closed - Opened by emichael over 2 years ago - 1 comment
Labels: enhancement, component:visualizer

#24 - Use MacOS Menu Bar

Issue - State: open - Opened by emichael over 2 years ago
Labels: enhancement, component:visualizer, first issue

#23 - Add a (slightly simplified) state graph for pingpong's 1st BFS.

Pull Request - State: closed - Opened by gnanabite over 2 years ago - 1 comment

#22 - Lab 1 part 2 question

Issue - State: closed - Opened by cbiale over 2 years ago - 1 comment

#21 - Fix typo in lab 3 README

Pull Request - State: closed - Opened by seanwu1105 over 2 years ago - 1 comment

#20 - Open visual debugger when goal not found

Pull Request - State: closed - Opened by wilcoxjay almost 3 years ago - 4 comments
Labels: enhancement

#19 - Client specific workloads

Pull Request - State: closed - Opened by wilcoxjay almost 3 years ago - 4 comments
Labels: enhancement

#18 - lab4 readme typo

Pull Request - State: closed - Opened by wilcoxjay almost 3 years ago

#17 - Make problems while installing dslabs on M1 ARM processors.

Issue - State: closed - Opened by Vedaant-Rajoo almost 3 years ago - 3 comments

#16 - Upstream minor improvements

Pull Request - State: closed - Opened by wilcoxjay almost 3 years ago - 1 comment

#15 - nit in Node javadoc

Pull Request - State: closed - Opened by wilcoxjay almost 3 years ago

#14 - Fix test04ShardsMoveOnMove stale GetConfig

Pull Request - State: closed - Opened by jsravn over 3 years ago - 4 comments

#13 - Path separation detection for native Windows build

Pull Request - State: closed - Opened by JohnDepaszthory over 3 years ago - 3 comments

#12 - Add note to paxos lab that `Address[] servers` includes the current node

Pull Request - State: closed - Opened by SUPERCILEX over 3 years ago - 2 comments

#11 - Output correct exit code when running tests

Pull Request - State: closed - Opened by SUPERCILEX almost 4 years ago - 12 comments

#10 - Fix broken build caching

Pull Request - State: closed - Opened by SUPERCILEX almost 4 years ago - 1 comment

#9 - lab 2 test dead idle server isn't new backup

Pull Request - State: closed - Opened by nowei almost 4 years ago

#8 - Visual Debugger

Issue - State: closed - Opened by raafatseif almost 4 years ago - 5 comments

#7 - lab3 Paxos: Clarify spec for introspection methods

Pull Request - State: closed - Opened by WasabiFan over 4 years ago - 1 comment

#6 - Search Tests Hanging without Logging

Issue - State: closed - Opened by vaibhavb007 over 4 years ago - 1 comment

#5 - Debugibility

Issue - State: closed - Opened by yishangru over 4 years ago - 1 comment

#4 - Question about Lab3 Paxos

Issue - State: closed - Opened by LintianShi almost 5 years ago - 1 comment

#3 - Confusion about the network of dslabs

Issue - State: closed - Opened by LintianShi almost 5 years ago - 1 comment

#2 - Write number of bytes rather than number of characters

Pull Request - State: closed - Opened by dwoos over 6 years ago - 2 comments

#1 - Added grading infra

Pull Request - State: closed - Opened by Njanderson over 6 years ago - 6 comments

GitHub / emichael/dslabs issues and pull requests