Skip to content
This repository has been archived by the owner on Apr 14, 2022. It is now read-only.

Issues: jcp19/SPIDER

Clear current search query, filters, and sorts
5 Open 12 Closed
5 Open 12 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

Debug results for the Cyclon trace bug Something isn't working important
#28 by jcp19 was closed Jan 24, 2020 v1.0
2
Removing Inter-Thread Event Redundancy is leading to races being missed bug Something isn't working important
#25 by jcp19 was closed Jan 24, 2020 v1.0
1
Debug all structures in falcon used for the hb-model generation important validation
#24 by jcp19 was closed Jan 17, 2020 v1.0
Simplify evaluation scripts enhancement New feature or request
#23 by jcp19 was closed Jan 26, 2020
3
Add FindBugs to pom.xml
#19 by jcp19 was closed Jan 18, 2020 v1.0
1
1
Refactor references to minha-checker, change the project name to Spider good first issue Good for newcomers not-important
#18 by jcp19 was closed Jan 18, 2020 v1.0
1
Improve Stats Class enhancement New feature or request
#17 by jcp19 was closed Jan 18, 2020 v1.0
2
Test scripts hard to mantain
#11 by jcp19 was closed Jan 11, 2020
2
Hidden Dependency between RaceDetector and Z3SolverParallel enhancement New feature or request not-important
#10 by jcp19 was closed Sep 12, 2019
1
Example traces are outdated and not compatible with the new version of Falcon. documentation important
#9 by jcp19 was closed Jan 13, 2020
1
Is the current way to count the number of actual data races the right way to do it? important question Further information is requested
#7 by jcp19 was closed Jul 31, 2019
1
Old README documentation
#5 by jcp19 was closed Jan 29, 2020 v1.0
1
ProTip! Exclude everything labeled bug with -label:bug.