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

#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

#44 - Debug regression test failures with LLVM 3.3

Issue - State: closed - Opened by ccadar almost 11 years ago - 2 comments
Labels: bug

#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