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
#1755 - Incorrect implementation of signed division
Issue -
State: open - Opened by davidtr1037 about 1 month ago
- 1 comment
#1754 - [llvm17] Error: unimplemented intrinsic
Issue -
State: open - Opened by jirislaby about 2 months ago
- 1 comment
Labels: LLVM upgrade
#1753 - fix ASan support for GCC 14 (and modernize it)
Pull Request -
State: closed - Opened by jbuening 3 months ago
- 1 comment
#1752 - version grammer bug
Issue -
State: open - Opened by GabeBai 3 months ago
- 1 comment
#1751 - Handle more recent versions of LLVM in the build scripts
Pull Request -
State: closed - Opened by ccadar 3 months ago
#1750 - Fix compilation of the STP master branch -- it now depends on ABC and uses submodules
Pull Request -
State: closed - Opened by ccadar 4 months ago
- 4 comments
#1749 - LLVM 18 Support
Pull Request -
State: closed - Opened by rakin000 4 months ago
- 2 comments
#1748 - LLVM 18 Support
Pull Request -
State: closed - Opened by rakin000 4 months ago
#1747 - Recursive Functions
Issue -
State: closed - Opened by nokitoino 4 months ago
- 1 comment
#1746 - Fix test runner and update Python-based dependency handling for MacOS setups
Pull Request -
State: closed - Opened by MartinNowack 5 months ago
- 1 comment
#1745 - LLVM 17-19 compatibility
Pull Request -
State: closed - Opened by mrexodia 5 months ago
- 11 comments
#1744 - simple setlocale example fails in Klee
Issue -
State: closed - Opened by zouyonghao 5 months ago
- 2 comments
#1741 - Fix macOS CI (namely the step "brew install python-tabulate")
Pull Request -
State: closed - Opened by ccadar 6 months ago
- 3 comments
#1739 - Real freestanding runtime
Pull Request -
State: closed - Opened by mrexodia 6 months ago
- 22 comments
#1738 - Add an option to generate XML test cases
Pull Request -
State: closed - Opened by misonijnik 6 months ago
- 3 comments
#1736 - How to support LLVM 18
Issue -
State: closed - Opened by iejzh 6 months ago
- 1 comment
#1734 - Improve code which ignores STP failures
Pull Request -
State: open - Opened by ccadar 7 months ago
#1731 - The issue of the --single-object-resolution option not working
Issue -
State: open - Opened by xyz2k8 8 months ago
#1681 - Feature: Save symbolic data from *.ktest files as a flat binary file
Pull Request -
State: open - Opened by tkuchta about 1 year ago
- 18 comments
#429 - symbolizing the field of struct not supported
Issue -
State: open - Opened by tovain10071991 over 8 years ago
- 6 comments
Labels: documentation
#429 - symbolizing the field of struct not supported
Issue -
State: open - Opened by tovain10071991 over 8 years ago
- 6 comments
Labels: documentation
#100 - Allow passing arbitrary command line flags to klee and kleaver when running llvm-lit
Pull Request -
State: closed - Opened by delcypher about 11 years ago
- 3 comments
Labels: Feature Request
#100 - Allow passing arbitrary command line flags to klee and kleaver when running llvm-lit
Pull Request -
State: closed - Opened by delcypher about 11 years ago
- 3 comments
Labels: Feature Request
#99 - Upstream STP's libstp now depends on boost.
Pull Request -
State: closed - Opened by delcypher about 11 years ago
- 1 comment
Labels: Feature Request
#99 - Upstream STP's libstp now depends on boost.
Pull Request -
State: closed - Opened by delcypher about 11 years ago
- 1 comment
Labels: Feature Request
#98 - Update URL for Buildbot
Pull Request -
State: closed - Opened by ddcc about 11 years ago
- 2 comments
#98 - Update URL for Buildbot
Pull Request -
State: closed - Opened by ddcc about 11 years ago
- 2 comments
#97 - Kleaver is buggy when using a constant consequent in querys
Issue -
State: open - Opened by delcypher about 11 years ago
- 1 comment
Labels: bug
#97 - Kleaver is buggy when using a constant consequent in querys
Issue -
State: open - Opened by delcypher about 11 years ago
- 1 comment
Labels: bug
#96 - Remove or fix tests in ``test/Concrete``
Issue -
State: closed - Opened by delcypher about 11 years ago
Labels: cleanup
#96 - Remove or fix tests in ``test/Concrete``
Issue -
State: closed - Opened by delcypher about 11 years ago
Labels: cleanup
#95 - Fix function name in tutorial
Pull Request -
State: closed - Opened by czchen about 11 years ago
- 1 comment
#95 - Fix function name in tutorial
Pull Request -
State: closed - Opened by czchen about 11 years ago
- 1 comment
#94 - Fix assert library linking
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 1 comment
#93 - Remove --read-args command line option
Issue -
State: closed - Opened by delcypher about 11 years ago
- 2 comments
Labels: cleanup
#92 - Move testing infrastructure to llvm-lit and completly remove all DejaGNU support
Pull Request -
State: closed - Opened by delcypher about 11 years ago
- 8 comments
#91 - Remove or refactor inlineChecks(Module *module, const char * functionName)
Issue -
State: closed - Opened by delcypher about 11 years ago
- 2 comments
Labels: cleanup
#91 - Remove or refactor inlineChecks(Module *module, const char * functionName)
Issue -
State: closed - Opened by delcypher about 11 years ago
- 2 comments
Labels: cleanup
#90 - Segfault when no main() is present
Issue -
State: closed - Opened by msoos about 11 years ago
- 8 comments
#89 - Fix get_sign tutorial
Pull Request -
State: closed - Opened by msoos about 11 years ago
- 1 comment
#89 - Fix get_sign tutorial
Pull Request -
State: closed - Opened by msoos about 11 years ago
- 1 comment
#88 - Fix the get_sign tutorial
Pull Request -
State: closed - Opened by msoos about 11 years ago
- 1 comment
#88 - Fix the get_sign tutorial
Pull Request -
State: closed - Opened by msoos about 11 years ago
- 1 comment
#87 - maze tutorial printf bug
Issue -
State: closed - Opened by msoos about 11 years ago
- 1 comment
#87 - maze tutorial printf bug
Issue -
State: closed - Opened by msoos about 11 years ago
- 1 comment
#86 - get_sign.c missing include
Pull Request -
State: closed - Opened by msoos about 11 years ago
- 4 comments
#85 - Release build of KLEE SEGFAULTS when trying to call externals
Issue -
State: closed - Opened by delcypher about 11 years ago
- 5 comments
Labels: bug
#85 - Release build of KLEE SEGFAULTS when trying to call externals
Issue -
State: closed - Opened by delcypher about 11 years ago
- 5 comments
Labels: bug
#84 - Don't strip python file ktest-tool
Issue -
State: closed - Opened by msoos about 11 years ago
- 4 comments
#83 - bits/predefs.h not found
Issue -
State: closed - Opened by msoos about 11 years ago
- 1 comment
#82 - Trouble compiling KLEE because of ISO C++ mandates .
Issue -
State: closed - Opened by vinayts1970 about 11 years ago
- 1 comment
Labels: bug, wontfix
#81 - Fix compilation of unittests under Clang.
Pull Request -
State: closed - Opened by delcypher about 11 years ago
#80 - Allow different build modes for LLVM coexist
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 1 comment
#79 - Re-add support for running individual tests when built with LLVM3.3
Pull Request -
State: closed - Opened by delcypher about 11 years ago
- 1 comment
#78 - Fix klee install
Pull Request -
State: closed - Opened by delcypher about 11 years ago
- 1 comment
#77 - Fix use include files from used LLVM to build KLEE
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 1 comment
#76 - Patch by Daniel Lupei, fixing a performance bug with the counterexample cache. (This is an old patch, reported at http://llvm.org/bugs/show_bug.cgi?id=11435, on KLEE's old bug tracking system.)
Pull Request -
State: closed - Opened by ccadar about 11 years ago
- 2 comments
#75 - Deprecate klee-gcc
Issue -
State: closed - Opened by delcypher about 11 years ago
- 4 comments
#74 - Use Makefile.rules provided with LLVM
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 5 comments
#73 - Added support for printing Expr to llvm::raw_ostream
Pull Request -
State: closed - Opened by delcypher about 11 years ago
- 4 comments
Labels: Feature Request
#73 - Added support for printing Expr to llvm::raw_ostream
Pull Request -
State: closed - Opened by delcypher about 11 years ago
- 4 comments
Labels: Feature Request
#72 - Deprecate LLVM 2.8 and lower
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 3 comments
#72 - Deprecate LLVM 2.8 and lower
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 3 comments
#71 - Remove support for LLVM <= 2.8
Issue -
State: closed - Opened by ccadar about 11 years ago
- 2 comments
Labels: Feature Request
#71 - Remove support for LLVM <= 2.8
Issue -
State: closed - Opened by ccadar about 11 years ago
- 2 comments
Labels: Feature Request
#70 - Add support for archive and single bc file linking
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 16 comments
Labels: bug, Feature Request
#70 - Add support for archive and single bc file linking
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 16 comments
Labels: bug, Feature Request
#69 - Fix runtime posix
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 1 comment
#69 - Fix runtime posix
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 1 comment
#68 - Feature klee internal functions
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 14 comments
#68 - Feature klee internal functions
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
- 14 comments
#67 - Fix using assembler addresses for global variables
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
#67 - Fix using assembler addresses for global variables
Pull Request -
State: closed - Opened by MartinNowack about 11 years ago
#66 - Move testing framework to llvm-lit
Issue -
State: closed - Opened by delcypher about 11 years ago
- 1 comment
Labels: Feature Request
#66 - Move testing framework to llvm-lit
Issue -
State: closed - Opened by delcypher about 11 years ago
- 1 comment
Labels: Feature Request
#65 - Fix the detection of the LLVM bitcode compiler.
Pull Request -
State: closed - Opened by delcypher about 11 years ago
- 3 comments
#65 - Fix the detection of the LLVM bitcode compiler.
Pull Request -
State: closed - Opened by delcypher about 11 years ago
- 3 comments
#64 - Overshift fixes
Pull Request -
State: closed - Opened by delcypher over 11 years ago
- 6 comments
Labels: bug
#64 - Overshift fixes
Pull Request -
State: closed - Opened by delcypher over 11 years ago
- 6 comments
Labels: bug
#63 - Exit if using --libc=uclibc and KLEE was not configured with uclibc
Pull Request -
State: closed - Opened by delcypher over 11 years ago
#62 - Kleaver: "cannot infer type of number" error
Issue -
State: open - Opened by tomek-kuchta over 11 years ago
Labels: bug
#61 - Fix Futimesat compilation with newer gcc and clang
Pull Request -
State: closed - Opened by MartinNowack over 11 years ago
#61 - Fix Futimesat compilation with newer gcc and clang
Pull Request -
State: closed - Opened by MartinNowack over 11 years ago
#60 - Fix build of POSIX file descriptor functions
Pull Request -
State: closed - Opened by MartinNowack over 11 years ago
- 3 comments
#60 - Fix build of POSIX file descriptor functions
Pull Request -
State: closed - Opened by MartinNowack over 11 years ago
- 3 comments
#59 - segfaults for long paths
Pull Request -
State: closed - Opened by 251 over 11 years ago
- 2 comments
#59 - segfaults for long paths
Pull Request -
State: closed - Opened by 251 over 11 years ago
- 2 comments
#58 - segfaults for long paths
Issue -
State: closed - Opened by 251 over 11 years ago
- 9 comments
Labels: bug
#58 - segfaults for long paths
Issue -
State: closed - Opened by 251 over 11 years ago
- 9 comments
Labels: bug
#57 - do you have plan for merging klee-fp?
Issue -
State: closed - Opened by minhyuk over 11 years ago
- 1 comment
#56 - Integrate a parser for smt2 files.
Issue -
State: open - Opened by ccadar over 11 years ago
Labels: Feature Request
#56 - Integrate a parser for smt2 files.
Issue -
State: open - Opened by ccadar over 11 years ago
Labels: Feature Request
#55 - Record line numbers in .(k)path files
Issue -
State: open - Opened by ccadar over 11 years ago
Labels: Feature Request
#55 - Record line numbers in .(k)path files
Issue -
State: open - Opened by ccadar over 11 years ago
Labels: Feature Request
#54 - Save options in klee-last/info
Issue -
State: open - Opened by ccadar over 11 years ago
- 2 comments
Labels: Feature Request
#53 - Non-deterministic behavior seen with Coreutils 6.10 ptx utility
Issue -
State: closed - Opened by tomek-kuchta over 11 years ago
- 1 comment
#52 - Make issue
Issue -
State: closed - Opened by radustoenescu over 11 years ago
- 2 comments
#51 - uclib validation check possible?
Issue -
State: closed - Opened by minhyuk over 11 years ago
- 3 comments
#50 - Too many testcases at simple array subscript expression
Issue -
State: closed - Opened by minhyuk over 11 years ago
- 9 comments
#49 - Regenerate doxygen documentation periodically
Issue -
State: closed - Opened by delcypher over 11 years ago
- 2 comments
Labels: Feature Request