Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / DARA-Project/GoDist-Scheduler issues and pull requests
#28 - Overloard imports runtime on godocs
Issue -
State: open - Opened by Julian-Mentasti almost 4 years ago
#27 - Dgo test issues
Issue -
State: open - Opened by Julian-Mentasti almost 4 years ago
- 3 comments
#26 - Re-instrumenting a file will lead to duplicate block coverage
Issue -
State: open - Opened by Julian-Mentasti almost 4 years ago
#25 - Race Condition: examples/ServerClient/run.sh
Issue -
State: open - Opened by Haximilian almost 4 years ago
- 1 comment
#24 - Updated readme with more detailed install instructions
Pull Request -
State: closed - Opened by Julian-Mentasti almost 4 years ago
#23 - Instrumenting ProducerConsumer with Type A and B
Pull Request -
State: closed - Opened by mayanktiwari09 over 4 years ago
#22 - Add a way of removing variable from the global scheduler's propchecker context
Issue -
State: closed - Opened by vaastav over 4 years ago
- 1 comment
#21 - Expose metadata about goroutines and processes for property checking
Issue -
State: open - Opened by vaastav over 4 years ago
#20 - Adding Producer Consumer Example
Pull Request -
State: closed - Opened by mayanktiwari09 over 4 years ago
#19 - Add microbenchmarks for system calls
Pull Request -
State: closed - Opened by danield128 over 5 years ago
#18 - Document 2440 Unsupported code to indicate we can't capture the value of this type
Issue -
State: open - Opened by vaastav over 5 years ago
#18 - Document 2440 Unsupported code to indicate we can't capture the value of this type
Issue -
State: open - Opened by vaastav over 5 years ago
#17 - Update run scripts to fail if scheduler doesn't build
Issue -
State: closed - Opened by vaastav over 5 years ago
- 1 comment
#16 - Add tests with GOMAXPROCS to verfiy pre-emption property
Issue -
State: open - Opened by vaastav over 5 years ago
#15 - Add tests to compare dgo behavior to go behavior for concurrent progs
Issue -
State: open - Opened by vaastav over 5 years ago
#14 - Create a help page to parse schedule json output
Issue -
State: closed - Opened by vaastav over 5 years ago
- 1 comment
#13 - Document true level of replay
Issue -
State: open - Opened by vaastav over 5 years ago
#13 - Document true level of replay
Issue -
State: open - Opened by vaastav over 5 years ago
#12 - Solve local runtime error
Issue -
State: closed - Opened by vaastav over 5 years ago
- 1 comment
#12 - Solve local runtime error
Issue -
State: closed - Opened by vaastav over 5 years ago
- 1 comment
#11 - Add a global dara run script
Issue -
State: closed - Opened by vaastav over 5 years ago
- 1 comment
#11 - Add a global dara run script
Issue -
State: closed - Opened by vaastav over 5 years ago
- 1 comment
#10 - Update rm DaraSharedMem command in example run scripts.
Issue -
State: closed - Opened by vaastav over 5 years ago
- 1 comment
#9 - Document the role of DARAPID and how it is set and used
Issue -
State: open - Opened by vaastav over 5 years ago
#8 - Bug in local program code must halt replay process
Issue -
State: closed - Opened by vaastav over 5 years ago
- 1 comment
#7 - Add documentation to report that enviornments must match for Record/Replay
Issue -
State: open - Opened by vaastav over 5 years ago
#6 - Document GOMAXPROCS and Go Pre-emption
Issue -
State: open - Opened by vaastav over 5 years ago
#5 - JSON file should be more efficient
Issue -
State: open - Opened by vaastav over 5 years ago
#4 - Implement Controlled Logging
Issue -
State: closed - Opened by vaastav over 5 years ago
- 1 comment
#4 - Implement Controlled Logging
Issue -
State: closed - Opened by vaastav over 5 years ago
- 1 comment
#3 - Use options file as input to Global Scheduler
Issue -
State: closed - Opened by vaastav over 5 years ago
- 1 comment
#2 - Create LICENSE
Pull Request -
State: closed - Opened by bestchai about 6 years ago
#2 - Create LICENSE
Pull Request -
State: closed - Opened by bestchai about 6 years ago
#1 - Add Data provenance on duplicated variable names
Issue -
State: closed - Opened by vaastav over 6 years ago
- 1 comment