Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / 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 almost 8 years ago
- 4 comments
#61 - Counter-example does not violate the assertion
Issue -
State: closed - Opened by leonardoalt almost 8 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