Skip to content

Issues: DARA-Project/GoDist-Scheduler

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

13 Open 10 Closed
13 Open 10 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Overloard imports runtime on godocs
#28 opened Dec 8, 2020 by Julian-Mentasti
Dgo test issues
#27 opened Nov 3, 2020 by Julian-Mentasti
@Julian-Mentasti
3
Re-instrumenting a file will lead to duplicate block coverage
#26 opened Oct 30, 2020 by Julian-Mentasti
Race Condition: examples/ServerClient/run.sh
#25 opened Oct 30, 2020 by Haximilian
1
Expose metadata about goroutines and processes for property checking
#21 opened Jun 10, 2020 by vaastav
Document 2440 Unsupported code to indicate we can't capture the value of this type
#18 opened Jan 28, 2019 by vaastav
Add tests with GOMAXPROCS to verfiy pre-emption property
#16 opened Jan 28, 2019 by vaastav
Add tests to compare dgo behavior to go behavior for concurrent progs
#15 opened Jan 28, 2019 by vaastav
Document true level of replay
#13 opened Jan 28, 2019 by vaastav
Document the role of DARAPID and how it is set and used
#9 opened Jan 28, 2019 by vaastav
Add documentation to report that enviornments must match for Record/Replay
#7 opened Jan 28, 2019 by vaastav
Document GOMAXPROCS and Go Pre-emption
#6 opened Jan 28, 2019 by vaastav
JSON file should be more efficient
#5 opened Jan 28, 2019 by vaastav
ProTip! Find all open issues with in progress development work with linked:pr.