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
#100 - Allow passing arbitrary command line flags to klee and kleaver when running llvm-lit
Pull Request -
State: closed - Opened by delcypher over 10 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 over 10 years ago
- 3 comments
Labels: Feature Request
#99 - Upstream STP's libstp now depends on boost.
Pull Request -
State: closed - Opened by delcypher over 10 years ago
- 1 comment
Labels: Feature Request
#99 - Upstream STP's libstp now depends on boost.
Pull Request -
State: closed - Opened by delcypher over 10 years ago
- 1 comment
Labels: Feature Request
#98 - Update URL for Buildbot
Pull Request -
State: closed - Opened by ddcc over 10 years ago
- 2 comments
#98 - Update URL for Buildbot
Pull Request -
State: closed - Opened by ddcc over 10 years ago
- 2 comments
#97 - Kleaver is buggy when using a constant consequent in querys
Issue -
State: open - Opened by delcypher over 10 years ago
- 1 comment
Labels: bug
#97 - Kleaver is buggy when using a constant consequent in querys
Issue -
State: open - Opened by delcypher over 10 years ago
- 1 comment
Labels: bug
#96 - Remove or fix tests in ``test/Concrete``
Issue -
State: closed - Opened by delcypher over 10 years ago
Labels: cleanup
#96 - Remove or fix tests in ``test/Concrete``
Issue -
State: closed - Opened by delcypher over 10 years ago
Labels: cleanup
#95 - Fix function name in tutorial
Pull Request -
State: closed - Opened by czchen over 10 years ago
- 1 comment
#95 - Fix function name in tutorial
Pull Request -
State: closed - Opened by czchen over 10 years ago
- 1 comment
#94 - Fix assert library linking
Pull Request -
State: closed - Opened by MartinNowack over 10 years ago
- 1 comment
#93 - Remove --read-args command line option
Issue -
State: closed - Opened by delcypher over 10 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 over 10 years ago
- 8 comments
#91 - Remove or refactor inlineChecks(Module *module, const char * functionName)
Issue -
State: closed - Opened by delcypher over 10 years ago
- 2 comments
Labels: cleanup
#91 - Remove or refactor inlineChecks(Module *module, const char * functionName)
Issue -
State: closed - Opened by delcypher over 10 years ago
- 2 comments
Labels: cleanup
#90 - Segfault when no main() is present
Issue -
State: closed - Opened by msoos over 10 years ago
- 8 comments
#89 - Fix get_sign tutorial
Pull Request -
State: closed - Opened by msoos over 10 years ago
- 1 comment
#89 - Fix get_sign tutorial
Pull Request -
State: closed - Opened by msoos over 10 years ago
- 1 comment
#88 - Fix the get_sign tutorial
Pull Request -
State: closed - Opened by msoos over 10 years ago
- 1 comment
#88 - Fix the get_sign tutorial
Pull Request -
State: closed - Opened by msoos over 10 years ago
- 1 comment
#87 - maze tutorial printf bug
Issue -
State: closed - Opened by msoos over 10 years ago
- 1 comment
#87 - maze tutorial printf bug
Issue -
State: closed - Opened by msoos over 10 years ago
- 1 comment
#86 - get_sign.c missing include
Pull Request -
State: closed - Opened by msoos over 10 years ago
- 4 comments
#85 - Release build of KLEE SEGFAULTS when trying to call externals
Issue -
State: closed - Opened by delcypher over 10 years ago
- 5 comments
Labels: bug
#85 - Release build of KLEE SEGFAULTS when trying to call externals
Issue -
State: closed - Opened by delcypher over 10 years ago
- 5 comments
Labels: bug
#84 - Don't strip python file ktest-tool
Issue -
State: closed - Opened by msoos over 10 years ago
- 4 comments
#83 - bits/predefs.h not found
Issue -
State: closed - Opened by msoos over 10 years ago
- 1 comment
#82 - Trouble compiling KLEE because of ISO C++ mandates .
Issue -
State: closed - Opened by vinayts1970 over 10 years ago
- 1 comment
Labels: bug, wontfix
#81 - Fix compilation of unittests under Clang.
Pull Request -
State: closed - Opened by delcypher almost 11 years ago
#80 - Allow different build modes for LLVM coexist
Pull Request -
State: closed - Opened by MartinNowack almost 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 almost 11 years ago
- 1 comment
#78 - Fix klee install
Pull Request -
State: closed - Opened by delcypher almost 11 years ago
- 1 comment
#77 - Fix use include files from used LLVM to build KLEE
Pull Request -
State: closed - Opened by MartinNowack almost 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 almost 11 years ago
- 2 comments
#75 - Deprecate klee-gcc
Issue -
State: closed - Opened by delcypher almost 11 years ago
- 4 comments
#74 - Use Makefile.rules provided with LLVM
Pull Request -
State: closed - Opened by MartinNowack almost 11 years ago
- 5 comments
#73 - Added support for printing Expr to llvm::raw_ostream
Pull Request -
State: closed - Opened by delcypher almost 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 almost 11 years ago
- 4 comments
Labels: Feature Request
#72 - Deprecate LLVM 2.8 and lower
Pull Request -
State: closed - Opened by MartinNowack almost 11 years ago
- 3 comments
#72 - Deprecate LLVM 2.8 and lower
Pull Request -
State: closed - Opened by MartinNowack almost 11 years ago
- 3 comments
#71 - Remove support for LLVM <= 2.8
Issue -
State: closed - Opened by ccadar almost 11 years ago
- 2 comments
Labels: Feature Request
#71 - Remove support for LLVM <= 2.8
Issue -
State: closed - Opened by ccadar almost 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 almost 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 almost 11 years ago
- 16 comments
Labels: bug, Feature Request
#69 - Fix runtime posix
Pull Request -
State: closed - Opened by MartinNowack almost 11 years ago
- 1 comment
#69 - Fix runtime posix
Pull Request -
State: closed - Opened by MartinNowack almost 11 years ago
- 1 comment
#68 - Feature klee internal functions
Pull Request -
State: closed - Opened by MartinNowack almost 11 years ago
- 14 comments
#68 - Feature klee internal functions
Pull Request -
State: closed - Opened by MartinNowack almost 11 years ago
- 14 comments
#67 - Fix using assembler addresses for global variables
Pull Request -
State: closed - Opened by MartinNowack almost 11 years ago
#67 - Fix using assembler addresses for global variables
Pull Request -
State: closed - Opened by MartinNowack almost 11 years ago
#66 - Move testing framework to llvm-lit
Issue -
State: closed - Opened by delcypher almost 11 years ago
- 1 comment
Labels: Feature Request
#66 - Move testing framework to llvm-lit
Issue -
State: closed - Opened by delcypher almost 11 years ago
- 1 comment
Labels: Feature Request
#65 - Fix the detection of the LLVM bitcode compiler.
Pull Request -
State: closed - Opened by delcypher almost 11 years ago
- 3 comments
#65 - Fix the detection of the LLVM bitcode compiler.
Pull Request -
State: closed - Opened by delcypher almost 11 years ago
- 3 comments
#64 - Overshift fixes
Pull Request -
State: closed - Opened by delcypher almost 11 years ago
- 6 comments
Labels: bug
#64 - Overshift fixes
Pull Request -
State: closed - Opened by delcypher almost 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 almost 11 years ago
#62 - Kleaver: "cannot infer type of number" error
Issue -
State: open - Opened by tomek-kuchta almost 11 years ago
Labels: bug
#61 - Fix Futimesat compilation with newer gcc and clang
Pull Request -
State: closed - Opened by MartinNowack almost 11 years ago
#61 - Fix Futimesat compilation with newer gcc and clang
Pull Request -
State: closed - Opened by MartinNowack almost 11 years ago
#60 - Fix build of POSIX file descriptor functions
Pull Request -
State: closed - Opened by MartinNowack almost 11 years ago
- 3 comments
#60 - Fix build of POSIX file descriptor functions
Pull Request -
State: closed - Opened by MartinNowack almost 11 years ago
- 3 comments
#59 - segfaults for long paths
Pull Request -
State: closed - Opened by 251 almost 11 years ago
- 2 comments
#59 - segfaults for long paths
Pull Request -
State: closed - Opened by 251 almost 11 years ago
- 2 comments
#58 - segfaults for long paths
Issue -
State: closed - Opened by 251 almost 11 years ago
- 9 comments
Labels: bug
#58 - segfaults for long paths
Issue -
State: closed - Opened by 251 almost 11 years ago
- 9 comments
Labels: bug
#57 - do you have plan for merging klee-fp?
Issue -
State: closed - Opened by minhyuk almost 11 years ago
- 1 comment
#56 - Integrate a parser for smt2 files.
Issue -
State: open - Opened by ccadar almost 11 years ago
Labels: Feature Request
#56 - Integrate a parser for smt2 files.
Issue -
State: open - Opened by ccadar almost 11 years ago
Labels: Feature Request
#55 - Record line numbers in .(k)path files
Issue -
State: open - Opened by ccadar almost 11 years ago
Labels: Feature Request
#55 - Record line numbers in .(k)path files
Issue -
State: open - Opened by ccadar almost 11 years ago
Labels: Feature Request
#54 - Save options in klee-last/info
Issue -
State: open - Opened by ccadar almost 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 almost 11 years ago
- 1 comment
#52 - Make issue
Issue -
State: closed - Opened by radustoenescu almost 11 years ago
- 2 comments
#51 - uclib validation check possible?
Issue -
State: closed - Opened by minhyuk almost 11 years ago
- 3 comments
#50 - Too many testcases at simple array subscript expression
Issue -
State: closed - Opened by minhyuk almost 11 years ago
- 9 comments
#49 - Regenerate doxygen documentation periodically
Issue -
State: closed - Opened by delcypher almost 11 years ago
- 2 comments
Labels: Feature Request
#49 - Regenerate doxygen documentation periodically
Issue -
State: closed - Opened by delcypher almost 11 years ago
- 2 comments
Labels: Feature Request
#48 - fix whitespaces
Pull Request -
State: closed - Opened by 251 almost 11 years ago
- 8 comments
#47 - stubs.c: undeclared PATH_MAX
Pull Request -
State: closed - Opened by 251 almost 11 years ago
#47 - stubs.c: undeclared PATH_MAX
Pull Request -
State: closed - Opened by 251 almost 11 years ago
#46 - stubs.c: use of undeclared identifier 'PATH_MAX'
Issue -
State: closed - Opened by 251 almost 11 years ago
- 1 comment
#46 - stubs.c: use of undeclared identifier 'PATH_MAX'
Issue -
State: closed - Opened by 251 almost 11 years ago
- 1 comment
#45 - Fixed solver-related nondeterminism in test case ./test/Feature/ExprLogg...
Pull Request -
State: closed - Opened by hpalikareva almost 11 years ago
#44 - Debug regression test failures with LLVM 3.3
Issue -
State: closed - Opened by ccadar almost 11 years ago
- 2 comments
Labels: bug
#43 - Fixed nondeterministic behaviour in test case ./test/Solver/LargeInteger...
Pull Request -
State: closed - Opened by hpalikareva almost 11 years ago
#43 - Fixed nondeterministic behaviour in test case ./test/Solver/LargeInteger...
Pull Request -
State: closed - Opened by hpalikareva almost 11 years ago
#42 - Regenerate the CDE package
Issue -
State: closed - Opened by ccadar almost 11 years ago
- 5 comments
Labels: Feature Request
#42 - Regenerate the CDE package
Issue -
State: closed - Opened by ccadar almost 11 years ago
- 5 comments
Labels: Feature Request
#41 - Metasmt multisolver
Pull Request -
State: closed - Opened by hpalikareva almost 11 years ago
- 3 comments
#41 - Metasmt multisolver
Pull Request -
State: closed - Opened by hpalikareva almost 11 years ago
- 3 comments
#40 - Bugfix: Remove llvm.trap declaration after cleaning all uses.
Pull Request -
State: closed - Opened by antiagainst almost 11 years ago
#40 - Bugfix: Remove llvm.trap declaration after cleaning all uses.
Pull Request -
State: closed - Opened by antiagainst almost 11 years ago
#39 - Extending ./configure with support to use metaSMT.
Pull Request -
State: closed - Opened by hpalikareva almost 11 years ago
- 4 comments
#39 - Extending ./configure with support to use metaSMT.
Pull Request -
State: closed - Opened by hpalikareva almost 11 years ago
- 4 comments
#38 - Building with latest LLVM errors out
Issue -
State: closed - Opened by msoos almost 11 years ago
- 2 comments
#38 - Building with latest LLVM errors out
Issue -
State: closed - Opened by msoos almost 11 years ago
- 2 comments
#37 - Problem compiling -- Provided Compiler "" is not found
Issue -
State: closed - Opened by msoos almost 11 years ago
- 2 comments