seahorn/seahorn issues and pull requests

#49 - Callapi

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

#49 - Callapi

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

#48 - Callapi

Pull Request - State: closed - Opened by jeffgennari about 8 years ago - 2 comments

#48 - Callapi

Pull Request - State: closed - Opened by jeffgennari about 8 years ago - 2 comments

#47 - Merge changes to harness generation code to improve external memory support

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

#46 - Add regression tests

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

#46 - Add regression tests

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

#45 - assign unique names to symbolic inputs

Pull Request - State: closed - Opened by jiaqi-liu about 8 years ago

#45 - assign unique names to symbolic inputs

Pull Request - State: closed - Opened by jiaqi-liu about 8 years ago

#44 - Add regression tests

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

#44 - Add regression tests

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

#43 - Add predicate abstraction

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

#43 - Add predicate abstraction

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

#42 - Houdini Refactoring

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

#42 - Houdini Refactoring

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

#41 - HornDbModel, HornModelConverter and HornSolver

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

#41 - HornDbModel, HornModelConverter and HornSolver

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

#40 - Predabs

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

#40 - Predabs

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

#39 - refactor Houdini into Analysis and a Pass

Issue - State: closed - Opened by agurfinkel about 8 years ago

#39 - refactor Houdini into Analysis and a Pass

Issue - State: closed - Opened by agurfinkel about 8 years ago

#38 - Refactor predicate discovery

Issue - State: closed - Opened by agurfinkel about 8 years ago
Labels: ready

#38 - Refactor predicate discovery

Issue - State: closed - Opened by agurfinkel about 8 years ago
Labels: ready

#37 - Use of WTO in Houdini

Issue - State: closed - Opened by agurfinkel about 8 years ago
Labels: ready

#37 - Use of WTO in Houdini

Issue - State: closed - Opened by agurfinkel about 8 years ago
Labels: ready

#36 - Output Slice

Pull Request - State: closed - Opened by jiaqi-liu about 8 years ago

#36 - Output Slice

Pull Request - State: closed - Opened by jiaqi-liu about 8 years ago

#35 - Whitelist store/load functions, and rename for consistency

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

#35 - Whitelist store/load functions, and rename for consistency

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

#34 - Minor fixes to harness/klee internalize

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

#34 - Minor fixes to harness/klee internalize

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

#33 - Houdini Pass

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

#33 - Houdini Pass

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

#32 - Whitelist more seahorn functions

Pull Request - State: closed - Opened by edmcman over 8 years ago

#32 - Whitelist more seahorn functions

Pull Request - State: closed - Opened by edmcman over 8 years ago

#31 - Fix casting bug in KleeInternalize

Pull Request - State: closed - Opened by edmcman over 8 years ago - 5 comments

#30 - internalize global variables

Pull Request - State: closed - Opened by jiaqi-liu over 8 years ago - 1 comment

#29 - bugfix in KleeInternalize pass

Pull Request - State: closed - Opened by jiaqi-liu over 8 years ago

#28 - Fix a minor issue (patch provided by Kostas).

Pull Request - State: closed - Opened by wuestholz over 8 years ago - 2 comments

#27 - Discharge assertions using only Crab backend?

Issue - State: closed - Opened by wuestholz over 8 years ago - 6 comments

#26 - multiplication handling

Issue - State: closed - Opened by roachspray over 8 years ago - 2 comments

#25 - Add a Gitter chat badge to README.md

Pull Request - State: closed - Opened by gitter-badger over 8 years ago

#24 - Refactoring of cex generation code and options

Pull Request - State: closed - Opened by edmcman over 8 years ago

#23 - Handling remainder operator

Issue - State: closed - Opened by trucnguyenlam over 8 years ago - 2 comments

#22 - Use datalayout to get proper bit widths.

Pull Request - State: closed - Opened by edmcman over 8 years ago

#21 - Re-organize Harness generation code

Pull Request - State: closed - Opened by edmcman over 8 years ago

#20 - Add a regression test suite.

Pull Request - State: closed - Opened by wuestholz over 8 years ago - 4 comments

#19 - LLVM bitcode generated using new Clang on OSX not recognized

Issue - State: closed - Opened by wky over 8 years ago - 4 comments

#18 - Fix some crashes in harness generation

Pull Request - State: closed - Opened by edmcman over 8 years ago

#17 - A few modifications to Harness cex creation code

Pull Request - State: closed - Opened by edmcman over 8 years ago

#16 - Ed's harness counter example branch

Pull Request - State: closed - Opened by edmcman over 8 years ago

#15 - Fix a few problems that prevented me from building correctly.

Pull Request - State: closed - Opened by edmcman over 8 years ago - 2 comments

#14 - Escaped pointer tracking breaks devirtualization

Issue - State: closed - Opened by agurfinkel over 8 years ago

#13 - Compile error

Issue - State: closed - Opened by dddejan over 8 years ago - 1 comment

#12 - Possible non-determinism in spacer

Issue - State: closed - Opened by caballa almost 9 years ago - 1 comment

#11 - Problem when building Seahorn

Issue - State: closed - Opened by Baha almost 9 years ago - 1 comment

#10 - Incorrect CHC

Issue - State: closed - Opened by caterinaurban almost 9 years ago - 3 comments

#9 - ashr

Issue - State: closed - Opened by caterinaurban over 9 years ago - 2 comments

#8 - Building issues with existing Z3 installation

Issue - State: closed - Opened by arnauddieumegard over 9 years ago - 1 comment

GitHub / seahorn/seahorn issues and pull requests