runtimeverification rv-predict issues

runtimeverification / rv-predict

Code for improved rv-predict and installer

BSD 3-Clause "New" or "Revised" License

2 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

LICENSE: update to BSD-3 clause

#1049 ehildenb closed 1 year ago
0
Fix s3 bucket Urls

#1048 shd101wyy opened 2 years ago
0
For posterity, here are some useful files from my working copy

#1047 gnuoyd opened 5 years ago
2
Release 2.1.2

#1046 gnuoyd closed 5 years ago
0
Use a proper target "triple" and supply a path to the host tools'

#1045 gnuoyd closed 5 years ago
1
Worst-case for predict trace

#1044 maya-rv opened 5 years ago
0
Build the Predict runtime for QNX on 64-bit ARM. Also, make `qrvpc -Vgcc_ntoaarch64le` cross-build for the same.

#1043 gnuoyd closed 5 years ago
1
Instrumentation & logging notes

#1042 gnuoyd closed 5 years ago
0
Descend into errno test directory.

#1041 maya-rv closed 5 years ago
0
Amend expected output after quiet-windows being merged

#1040 maya-rv closed 5 years ago
1
Fix thread-specific key destructors #1038

#1039 maya-rv closed 5 years ago
0
thread-specific data workaround in #1000 isn't safe with pthread_cancel

#1038 maya-rv closed 5 years ago
0
Don't print progress messages such as `-- Window 1 --` unless

#1037 gnuoyd closed 5 years ago
0
[Close it if you want] Add clang-format support to format C/C++/Java code.

#1036 shd101wyy opened 5 years ago
0
PHP crashes at signal handler

#1035 maya-rv opened 5 years ago
0
Omit mentions of rvpx(1), removed in 8c74da6fd67816893d4f5c923a63db0e1952a284

#1034 maya-rv closed 5 years ago
0
ensure errno is 0 at program entry

#1033 maya-rv closed 5 years ago
1
Add a new option flag, `-b`, that makes `rvpdump` print the bytes

#1032 gnuoyd closed 5 years ago
0
errno is non-zero at program startup

#1031 maya-rv closed 5 years ago
2
Extract a library for reading traces

#1030 gnuoyd closed 5 years ago
0
Use (void) instead of () for an argument-free function.

#1029 gnuoyd closed 5 years ago
0
Fix the `tags` target by taking away the `.include <mkc.init.mk>` at the

#1028 gnuoyd closed 5 years ago
0
Not reporting race on vptr

#1027 maya-rv opened 5 years ago
0
java.lang.IllegalStateException: Unmatched method entry/exit events! - from agrobots

#1026 maya-rv opened 5 years ago
0
`rvpc++` Compilation issue with `-O3` flag

#1025 shd101wyy opened 5 years ago
1
Add Carlton's incomplete atomic_signal_fence() implementation

#1024 gnuoyd opened 5 years ago
1
Here are Carlton's str*(3) implementations.

#1023 gnuoyd opened 5 years ago
1
Read-modify-write implementation and tests by Carlton.

#1022 gnuoyd closed 5 years ago
1
Here is Carlton's work on initialization, plus my modifications:

#1021 gnuoyd closed 5 years ago
0
Carlton's atomic_thread_fence() fix.

#1020 gnuoyd closed 5 years ago
0
Need to protect against cancellation type PTHREAD_CANCEL_ASYNCHRONOUS.

#1019 gnuoyd opened 5 years ago
0
Need to protect against cancellation type PTHREAD_CANCEL_DEFERRED.

#1018 gnuoyd opened 5 years ago
1
False positive (atomic set/read only)

#1017 maya-rv opened 5 years ago
1
Assert building erlang

#1016 maya-rv opened 5 years ago
1
Update QNX port

#1015 gnuoyd closed 5 years ago
4
Fix several HTML report issues

#1014 shd101wyy closed 5 years ago
1
Knot races

#1013 maya-rv opened 5 years ago
3
I think I have fixed everything. I hope I am doing the pull request correctly.

#1012 Carloon closed 5 years ago
1
predict-built programs require a specific PATH to run

#1011 maya-rv opened 5 years ago
1
rv-error improvements

#1010 gnuoyd closed 5 years ago
1
Instead of replacing a common path prefix with `...`, just delete

#1009 gnuoyd closed 5 years ago
0
rvpa needs to clean up properly when it receives SIGINT, etc.

#1008 gnuoyd opened 5 years ago
0
Produce sequentially-consistent traces if RVP_CONSISTENT=yes is in the environment.

#1007 gnuoyd closed 5 years ago
0
Nice to have: tell where an object was allocated, like tsan

#1006 gnuoyd opened 5 years ago
0
Nice to have: report "as if synchronized by ..." like tsan

#1005 gnuoyd opened 5 years ago
0
Java developer documentation.

#1004 virgil-serbanuta closed 5 years ago
0
Fix/rv html report missing files bug

#1003 shd101wyy closed 5 years ago
0
Added tests to ensure that the pointers to system intrinsics like pth…

#1002 Carloon opened 5 years ago
0
undefined reference to `__rvpredict_atomic_thread_fence'

#1001 maya-rv closed 5 years ago
2
Add a regression test for issue #981 and add a fix for it, too.

#1000 gnuoyd closed 5 years ago
0