Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / GaloisInc/llvm-verifier issues and pull requests

#24 - GHC 8.10 updates

Pull Request - State: closed - Opened by kquick over 4 years ago - 1 comment

#23 - Ghc8.8 updates

Pull Request - State: closed - Opened by kquick over 4 years ago

#22 - MonadFail instance for the Simulator monad

Pull Request - State: closed - Opened by langston-barrett almost 6 years ago

#21 - Haddock issue

Issue - State: closed - Opened by langston-barrett almost 6 years ago - 2 comments

#20 - Update for recent versions of llvm-pretty(-bc-parser)

Pull Request - State: closed - Opened by langston-barrett almost 6 years ago

#19 - AIG input counts do not match : 256 0

Issue - State: open - Opened by semi-kim over 6 years ago

#18 - Match new LLVM.Load constructor type

Pull Request - State: closed - Opened by TomMD over 7 years ago

#17 - Support LLVM names with dots (`.`) in them.

Issue - State: open - Opened by ntc2 almost 8 years ago - 3 comments

#16 - Wip/llvm versions

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

#15 - Support llvm.assume

Issue - State: open - Opened by atomb over 8 years ago

#14 - Support llvm.expect

Issue - State: open - Opened by atomb over 8 years ago

#13 - Incorrect execution bug

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

#12 - Give fresh pointer variables useful names in SAW backend

Issue - State: open - Opened by atomb over 8 years ago

#11 - memcopy fails on copying uninitalized bytes

Issue - State: open - Opened by robdockins almost 9 years ago - 1 comment

#10 - Update bitcode parser to LLVM 3.7

Issue - State: closed - Opened by atomb almost 9 years ago

#9 - llvm_symexec fails with "evalTermF ExtCns unimplemented "

Issue - State: closed - Opened by msaaltink about 9 years ago - 1 comment

#8 - Support verification conditions (definedness conditions) in generated AIGs

Issue - State: open - Opened by atomb over 9 years ago - 1 comment

#7 - Translate LLVM functions to symbolic form lazily

Issue - State: open - Opened by atomb over 9 years ago - 3 comments
Labels: enhancement

#6 - Invalid value in tutorial

Issue - State: closed - Opened by abedra over 9 years ago - 4 comments
Labels: bug

#5 - Add support for the `insertelement` and `extractelement` instructions

Issue - State: open - Opened by atomb over 9 years ago - 5 comments
Labels: enhancement

#4 - Add support for `llvm.objectsize.*`

Issue - State: closed - Opened by atomb over 9 years ago - 4 comments
Labels: enhancement

#3 - Exercise/test the debugging features

Issue - State: open - Opened by robdockins over 9 years ago
Labels: task

#2 - switch not handled

Issue - State: closed - Opened by msaaltink over 9 years ago - 2 comments
Labels: bug

#1 - AIG generation depends on backend

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