Skip to content

Issues: runtimeverification/rv-predict

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

81 Open 282 Closed
81 Open 282 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

Worst-case for predict trace
#1044 opened Dec 17, 2018 by maya-rv
PHP crashes at signal handler
#1035 opened Nov 27, 2018 by maya-rv
Not reporting race on vptr enhancement
#1027 opened Nov 8, 2018 by maya-rv
java.lang.IllegalStateException: Unmatched method entry/exit events! - from agrobots
#1026 opened Oct 31, 2018 by maya-rv
rvpc++ Compilation issue with -O3 flag
#1025 opened Oct 16, 2018 by shd101wyy
1
Need to protect against cancellation type PTHREAD_CANCEL_ASYNCHRONOUS.
#1019 opened Sep 19, 2018 by gnuoyd
Need to protect against cancellation type PTHREAD_CANCEL_DEFERRED.
#1018 opened Sep 19, 2018 by gnuoyd
1
False positive (atomic set/read only)
#1017 opened Sep 15, 2018 by maya-rv
1
Assert building erlang runtime Runtime library issue
#1016 opened Sep 15, 2018 by maya-rv
1
Knot races runtime Runtime library issue
#1013 opened Sep 12, 2018 by maya-rv
3
predict-built programs require a specific PATH to run enhancement runtime Runtime library issue
#1011 opened Sep 11, 2018 by maya-rv
1
rvpa needs to clean up properly when it receives SIGINT, etc.
#1008 opened Sep 10, 2018 by gnuoyd
Nice to have: tell where an object was allocated, like tsan
#1006 opened Sep 7, 2018 by gnuoyd
Nice to have: report "as if synchronized by ..." like tsan
#1005 opened Sep 7, 2018 by gnuoyd
Dynamic libraries are initializing before Predict's runtime has initialized runtime Runtime library issue
#990 opened Aug 23, 2018 by gnuoyd
1
missing line number in json file symbolization address -> symbol conversion (rvsyms)
#987 opened Aug 20, 2018 by shd101wyy
5
Report lock inversions enhancement
#986 opened Aug 20, 2018 by maya-rv
Color terminal output for possible races enhancement
#985 opened Aug 20, 2018 by maya-rv
1
problem handling condvars (pigz) runtime Runtime library issue
#984 opened Aug 20, 2018 by maya-rv
3
BIND9 races duplicate fixed on branch Issue refers to a branch where it may already be addressed. runtime Runtime library issue
#979 opened Aug 14, 2018 by maya-rv
5
rvpa documentation error documentation misleading/missing/wrong documentation
#972 opened Aug 8, 2018 by shd101wyy
Refactor ctests/trace/ Makefiles. build compile, install, or release issue
#945 opened May 18, 2018 by gnuoyd
Broken pipe, etc. exit code 125 behavioral runtime time dissimilarity between gcc and rvpc bug
#934 opened Apr 19, 2018 by TimJSwan89
Valgrind memory leaks reported in curl torture tests runtime Runtime library issue
#932 opened Apr 16, 2018 by TimJSwan89
1
When the solver times out before a potential race is ruled out, RV-Predict should report enhancement
#918 opened Mar 29, 2018 by gnuoyd
ProTip! Adding no:label will show everything without a label.