Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / klee/klee issues and pull requests
#37 - Problem compiling -- Provided Compiler "" is not found
Issue -
State: closed - Opened by msoos almost 11 years ago
- 2 comments
#36 - Better document how to compile with default LLVM build
Issue -
State: closed - Opened by msoos almost 11 years ago
- 13 comments
#35 - klee 3.3 didn't accept clang 3.3 bitcode...
Issue -
State: closed - Opened by minhyuk almost 11 years ago
- 2 comments
#34 - Replace current implementation of linkWithLibrary()
Pull Request -
State: closed - Opened by ddcc almost 11 years ago
- 5 comments
#33 - Add suport for llvm.objectsize.* intrinsics
Issue -
State: closed - Opened by delcypher about 11 years ago
- 4 comments
Labels: Feature Request
#32 - Remove support for --libc=klee
Issue -
State: closed - Opened by ccadar about 11 years ago
- 4 comments
Labels: Feature Request
#31 - Chroot replay
Pull Request -
State: closed - Opened by antiagainst about 11 years ago
- 6 comments
Labels: Feature Request
#30 - KLEE with uclibc will hang if a call to fscanf is made.
Issue -
State: open - Opened by delcypher about 11 years ago
- 17 comments
Labels: bug
#29 - KLEE does not branch correctly on undefined overshift behaviour
Issue -
State: closed - Opened by delcypher about 11 years ago
- 11 comments
Labels: bug
#28 - Create klee-uclibc repository or have klee-uclibc in KLEE repository
Issue -
State: closed - Opened by delcypher about 11 years ago
- 7 comments
Labels: Feature Request
#27 - Lower intrinsic instruction "llvm.trap" to a call of the abort() function.
Pull Request -
State: closed - Opened by antiagainst about 11 years ago
- 7 comments
Labels: Feature Request
#26 - Fixed bug where divide by zero bugs would only be detected once in a program
Pull Request -
State: closed - Opened by delcypher about 11 years ago
- 3 comments
#25 - Added some of the common *at functions to the model
Pull Request -
State: closed - Opened by paulmar about 11 years ago
- 1 comment
Labels: Feature Request
#24 - Modified the buildmode of bitcode libraries.
Pull Request -
State: closed - Opened by delcypher about 11 years ago
- 1 comment
#23 - Fix implementation for putchar
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 3 comments
#22 - Add .gitignore
Pull Request -
State: closed - Opened by antiagainst about 11 years ago
- 1 comment
#21 - Fix queries not being logged correctly if an assertion failure is hit.
Pull Request -
State: closed - Opened by delcypher about 11 years ago
#20 - Remove unnecessary loop from SolverTest unit test.
Pull Request -
State: closed - Opened by delcypher about 11 years ago
#19 - Fix typo.
Pull Request -
State: closed - Opened by delcypher about 11 years ago
#18 - Patch Set III (update) Implemented llvm.umul.with.overflow
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
#17 - Patch Set VIII - Port to LLVM 3.3
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 10 comments
#16 - Patch Set VII - Handle additional debug intrinsics of LLVM
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
#15 - Patch Set VI - Compiler warnings
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 7 comments
#14 - Patch Set V - Build system
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 2 comments
#13 - Patch Set IV - Handle constant arrays as well
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 3 comments
#12 - Patch Set III - Implemented llvm.uadd.with.overflow
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 2 comments
#11 - Patch Set II - Memleaks
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 5 comments
#10 - Patch Set I - Typos
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
#9 - Slight refactor of code initialising memory for argments/environment c-strings
Pull Request -
State: closed - Opened by delcypher about 11 years ago
- 1 comment
#8 - Several bugfixes and features
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 2 comments
#7 - Slight refactor of code initialising memory for argments/environment c-strings
Pull Request -
State: closed - Opened by delcypher about 11 years ago
- 1 comment
#6 - Python3fix
Pull Request -
State: closed - Opened by delcypher about 11 years ago
#5 - Implement partial LLVM 3.3+ compatibility fixes. Aim is successful compi...
Pull Request -
State: closed - Opened by ddcc about 11 years ago
- 7 comments
#4 - STP command-line options renamed, e.g. max-stp-time renamed to max-solve...
Pull Request -
State: closed - Opened by hpalikareva about 11 years ago
#3 - Renaming solver-related command-line options in order to decouple them f...
Pull Request -
State: closed - Opened by hpalikareva about 11 years ago
#2 - BFS searcher.
Pull Request -
State: closed - Opened by antiagainst about 11 years ago
- 1 comment
#1 - Remove website from master tree
Pull Request -
State: closed - Opened by ddcc about 11 years ago