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

#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