seahorn/seahorn issues and pull requests

#100 - Include seahorn-tutorial and blog in regression tests

Issue - State: closed - Opened by agurfinkel almost 7 years ago - 1 comment

#100 - Include seahorn-tutorial and blog in regression tests

Issue - State: closed - Opened by agurfinkel almost 7 years ago - 1 comment

#99 - Add a dockerfile for seahorn

Pull Request - State: closed - Opened by kuhar almost 7 years ago - 2 comments

#99 - Add a dockerfile for seahorn

Pull Request - State: closed - Opened by kuhar almost 7 years ago - 2 comments

#98 - Map the generated invariants to CFG

Issue - State: closed - Opened by lememta almost 7 years ago - 1 comment
Labels: enhancement

#98 - Map the generated invariants to CFG

Issue - State: closed - Opened by lememta almost 7 years ago - 1 comment
Labels: enhancement

#97 - Add clang-format file and format BufferBoundsCheck.cc

Pull Request - State: closed - Opened by kuhar almost 7 years ago

#97 - Add clang-format file and format BufferBoundsCheck.cc

Pull Request - State: closed - Opened by kuhar almost 7 years ago

#96 - Make dockerfiles output tarballs to host's pwd

Pull Request - State: closed - Opened by kuhar almost 7 years ago

#96 - Make dockerfiles output tarballs to host's pwd

Pull Request - State: closed - Opened by kuhar almost 7 years ago

#95 - Translation to Boogie

Issue - State: closed - Opened by caballa almost 7 years ago - 2 comments
Labels: enhancement

#95 - Translation to Boogie

Issue - State: closed - Opened by caballa almost 7 years ago - 2 comments
Labels: enhancement

#94 - Nightly builds

Issue - State: closed - Opened by agurfinkel almost 7 years ago

#94 - Nightly builds

Issue - State: closed - Opened by agurfinkel almost 7 years ago

#93 - Docker-based binary distribution

Issue - State: closed - Opened by agurfinkel almost 7 years ago

#93 - Docker-based binary distribution

Issue - State: closed - Opened by agurfinkel almost 7 years ago

#92 - Docker-based CI on Travis

Issue - State: closed - Opened by agurfinkel almost 7 years ago

#92 - Docker-based CI on Travis

Issue - State: closed - Opened by agurfinkel almost 7 years ago

#91 - Docker-bases Seahorn build using the precompiled dependencies

Issue - State: closed - Opened by kuhar almost 7 years ago - 1 comment

#91 - Docker-bases Seahorn build using the precompiled dependencies

Issue - State: closed - Opened by kuhar almost 7 years ago - 1 comment

#90 - Add dockerfile for boost 1.6.2

Pull Request - State: closed - Opened by kuhar almost 7 years ago

#90 - Add dockerfile for boost 1.6.2

Pull Request - State: closed - Opened by kuhar almost 7 years ago

#89 - Add dockerfiles for llvm 3.8 and z3

Pull Request - State: closed - Opened by kuhar almost 7 years ago

#89 - Add dockerfiles for llvm 3.8 and z3

Pull Request - State: closed - Opened by kuhar almost 7 years ago

#88 - Add dockerfiles for z3 (trusty and xenial)

Pull Request - State: closed - Opened by kuhar almost 7 years ago

#87 - Add dockerfiles for llvm 3.8 (trusty and xenial)

Pull Request - State: closed - Opened by kuhar almost 7 years ago

#87 - Add dockerfiles for llvm 3.8 (trusty and xenial)

Pull Request - State: closed - Opened by kuhar almost 7 years ago

#86 - Support a couple of mangled function names that are expected.

Pull Request - State: closed - Opened by roachspray almost 7 years ago

#86 - Support a couple of mangled function names that are expected.

Pull Request - State: closed - Opened by roachspray almost 7 years ago

#85 - C++ mangled names

Issue - State: closed - Opened by roachspray almost 7 years ago - 2 comments

#85 - C++ mangled names

Issue - State: closed - Opened by roachspray almost 7 years ago - 2 comments

#84 - Remove reset back to C compiler which nullified handling of C++ files.

Pull Request - State: closed - Opened by roachspray almost 7 years ago

#84 - Remove reset back to C compiler which nullified handling of C++ files.

Pull Request - State: closed - Opened by roachspray almost 7 years ago

#83 - Allow one to specify multiple include paths.

Pull Request - State: closed - Opened by roachspray almost 7 years ago - 1 comment

#83 - Allow one to specify multiple include paths.

Pull Request - State: closed - Opened by roachspray almost 7 years ago - 1 comment

#82 - False negative results for verification

Issue - State: closed - Opened by ezudheen almost 7 years ago - 5 comments
Labels: bug

#82 - False negative results for verification

Issue - State: closed - Opened by ezudheen almost 7 years ago - 5 comments
Labels: bug

#81 - --entry generates empty bitcode file

Issue - State: closed - Opened by roachspray almost 7 years ago - 3 comments
Labels: question

#81 - --entry generates empty bitcode file

Issue - State: closed - Opened by roachspray almost 7 years ago - 3 comments
Labels: question

#80 - [No issue] Explanation request regarding BMC trace print

Issue - State: closed - Opened by Robbin1987 almost 7 years ago - 7 comments
Labels: question

#80 - [No issue] Explanation request regarding BMC trace print

Issue - State: closed - Opened by Robbin1987 almost 7 years ago - 7 comments
Labels: question

#79 - Latest fix for ExternalizeAddressTakingFunction is wrong

Issue - State: closed - Opened by caballa almost 7 years ago
Labels: bug

#79 - Latest fix for ExternalizeAddressTakingFunction is wrong

Issue - State: closed - Opened by caballa almost 7 years ago
Labels: bug

#78 - Pre-building dependencies

Issue - State: closed - Opened by agurfinkel almost 7 years ago - 2 comments

#78 - Pre-building dependencies

Issue - State: closed - Opened by agurfinkel almost 7 years ago - 2 comments

#77 - ABC instrumentation is not correct with -m64 option

Issue - State: closed - Opened by caballa about 7 years ago - 5 comments
Labels: bug

#77 - ABC instrumentation is not correct with -m64 option

Issue - State: closed - Opened by caballa about 7 years ago - 5 comments
Labels: bug

#76 - use MBP based QE tactic

Pull Request - State: closed - Opened by rainoftime about 7 years ago - 1 comment

#76 - use MBP based QE tactic

Pull Request - State: closed - Opened by rainoftime about 7 years ago - 1 comment

#75 - Make sassert not hijack else statements

Pull Request - State: closed - Opened by kuhar about 7 years ago - 3 comments

#75 - Make sassert not hijack else statements

Pull Request - State: closed - Opened by kuhar about 7 years ago - 3 comments

#74 - Mention clang installation in readme

Pull Request - State: closed - Opened by kuhar about 7 years ago

#74 - Mention clang installation in readme

Pull Request - State: closed - Opened by kuhar about 7 years ago

#73 - Seahorn crashes on example with "-g --inline" flags

Issue - State: closed - Opened by dannyrasin about 7 years ago - 4 comments
Labels: bug

#73 - Seahorn crashes on example with "-g --inline" flags

Issue - State: closed - Opened by dannyrasin about 7 years ago - 4 comments
Labels: bug

#72 - Building SeaHorn following installation guide does not work

Issue - State: closed - Opened by Robbin1987 about 7 years ago - 2 comments

#71 - Generate tests for harness generation

Issue - State: closed - Opened by caballa about 7 years ago - 1 comment
Labels: help wanted

#71 - Generate tests for harness generation

Issue - State: closed - Opened by caballa about 7 years ago - 1 comment
Labels: help wanted

#70 - test harness example within SeaHorn tutorial

Issue - State: closed - Opened by Robbin1987 about 7 years ago - 2 comments
Labels: in progress

#70 - test harness example within SeaHorn tutorial

Issue - State: closed - Opened by Robbin1987 about 7 years ago - 2 comments
Labels: in progress

#69 - make branch llvm 3.8 the new master branch

Issue - State: closed - Opened by caballa about 7 years ago - 1 comment
Labels: enhancement, in progress, clam, sea-dsa, llvm-seahorn, llvm-dsa

#69 - make branch llvm 3.8 the new master branch

Issue - State: closed - Opened by caballa about 7 years ago - 1 comment
Labels: enhancement, in progress, clam, sea-dsa, llvm-seahorn, llvm-dsa

#68 - Integrate sea-dsa (https://github.com/seahorn/sea-dsa)

Issue - State: closed - Opened by caballa about 7 years ago
Labels: enhancement, sea-dsa

#68 - Integrate sea-dsa (https://github.com/seahorn/sea-dsa)

Issue - State: closed - Opened by caballa about 7 years ago
Labels: enhancement, sea-dsa

#67 - If it is possible to output the domain in the format of constraints or generator?

Issue - State: closed - Opened by skywormfol about 7 years ago - 1 comment

#67 - If it is possible to output the domain in the format of constraints or generator?

Issue - State: closed - Opened by skywormfol about 7 years ago - 1 comment

#66 - Test if seahorn can check for the heartbleed bug

Issue - State: closed - Opened by lememta about 7 years ago - 3 comments
Labels: help wanted

#66 - Test if seahorn can check for the heartbleed bug

Issue - State: closed - Opened by lememta about 7 years ago - 3 comments
Labels: help wanted

#65 - warning: main function could not be found so program is trivially safe

Issue - State: closed - Opened by Robbin1987 about 7 years ago - 9 comments

#65 - warning: main function could not be found so program is trivially safe

Issue - State: closed - Opened by Robbin1987 about 7 years ago - 9 comments

#64 - Issue when installing seahorn

Issue - State: closed - Opened by cycine123 over 7 years ago - 1 comment

#64 - Issue when installing seahorn

Issue - State: closed - Opened by cycine123 over 7 years ago - 1 comment

#63 - Set C_INCLUDE_PATH on Docker image

Issue - State: closed - Opened by nekketsuuu over 7 years ago - 14 comments

#63 - Set C_INCLUDE_PATH on Docker image

Issue - State: closed - Opened by nekketsuuu over 7 years ago - 14 comments

#62 - A latest tag of Docker image

Issue - State: closed - Opened by nekketsuuu over 7 years ago - 2 comments

#62 - A latest tag of Docker image

Issue - State: closed - Opened by nekketsuuu over 7 years ago - 2 comments

#61 - Counter-example does not violate the assertion

Issue - State: closed - Opened by leonardoalt over 7 years ago - 4 comments

#61 - Counter-example does not violate the assertion

Issue - State: closed - Opened by leonardoalt over 7 years ago - 4 comments

#60 - Fix issue in quantifier elimination.

Pull Request - State: closed - Opened by wuestholz almost 8 years ago

#60 - Fix issue in quantifier elimination.

Pull Request - State: closed - Opened by wuestholz almost 8 years ago

#59 - Unknown command line argument '--enable-indvar=false'.

Issue - State: closed - Opened by ezudheen almost 8 years ago - 7 comments

#59 - Unknown command line argument '--enable-indvar=false'.

Issue - State: closed - Opened by ezudheen almost 8 years ago - 7 comments

#58 - seaopt affects seahorn's performance

Issue - State: closed - Opened by kferles almost 8 years ago - 3 comments

#58 - seaopt affects seahorn's performance

Issue - State: closed - Opened by kferles almost 8 years ago - 3 comments

#57 - ICE implementation

Pull Request - State: open - Opened by Chenguang-Zhu almost 8 years ago
Labels: in progress

#57 - ICE implementation

Pull Request - State: open - Opened by Chenguang-Zhu almost 8 years ago
Labels: in progress

#56 - add RenameNondet pass

Pull Request - State: closed - Opened by jiaqi-liu almost 8 years ago - 3 comments

#56 - add RenameNondet pass

Pull Request - State: closed - Opened by jiaqi-liu almost 8 years ago - 3 comments

#55 - for compilation on Debian-7 and 32-bit systems

Pull Request - State: closed - Opened by monniaux about 8 years ago - 1 comment

#55 - for compilation on Debian-7 and 32-bit systems

Pull Request - State: closed - Opened by monniaux about 8 years ago - 1 comment

#54 - Better support of arrays in Spacer

Issue - State: closed - Opened by lememta about 8 years ago - 1 comment
Labels: in progress, spacer

#54 - Better support of arrays in Spacer

Issue - State: closed - Opened by lememta about 8 years ago - 1 comment
Labels: in progress, spacer

#53 - Array support in termination analysis

Issue - State: closed - Opened by lememta about 8 years ago - 1 comment

#53 - Array support in termination analysis

Issue - State: closed - Opened by lememta about 8 years ago - 1 comment

#52 - waffle.io Badge

Pull Request - State: closed - Opened by waffle-iron about 8 years ago

#52 - waffle.io Badge

Pull Request - State: closed - Opened by waffle-iron about 8 years ago

#51 - Sudo-code for implementing ICE based on our Houdini

Pull Request - State: open - Opened by Chenguang-Zhu about 8 years ago - 2 comments
Labels: in progress

#51 - Sudo-code for implementing ICE based on our Houdini

Pull Request - State: open - Opened by Chenguang-Zhu about 8 years ago - 2 comments
Labels: in progress

#50 - Add regression tests for horn solve without predicate abstraction

Pull Request - State: closed - Opened by Chenguang-Zhu about 8 years ago

#50 - Add regression tests for horn solve without predicate abstraction

Pull Request - State: closed - Opened by Chenguang-Zhu about 8 years ago

GitHub / seahorn/seahorn issues and pull requests