Ecosyste.ms: Issues

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

GitHub / GaloisInc/crucible issues and pull requests

#103 - Constant boolean-valued defined functions get unfolded

Issue - State: closed - Opened by lukemaurer about 6 years ago - 5 comments

#101 - Add separate layer for low-level generation of SMTLIB.

Pull Request - State: closed - Opened by joehendrix about 6 years ago - 1 comment

#100 - Remove constraint that floats are interpreted as reals.

Pull Request - State: closed - Opened by andreistefanescu about 6 years ago - 1 comment

#99 - Handling of arrays in SMTWriter

Issue - State: closed - Opened by jpaykin about 6 years ago - 4 comments
Labels: what4

#98 - Unify (or clarify) error handling

Issue - State: open - Opened by langston-barrett about 6 years ago - 5 comments
Labels: technical debt

#97 - Change handling of global variables

Pull Request - State: closed - Opened by langston-barrett about 6 years ago - 1 comment

#96 - Consider a more structured approach to conversions between representations

Issue - State: closed - Opened by langston-barrett about 6 years ago - 2 comments
Labels: llvm, memory-model

#95 - Cache function declarations/definitions across pushs/pops.

Pull Request - State: closed - Opened by andreistefanescu about 6 years ago

#94 - Delete PtrToIntConst constructor

Issue - State: closed - Opened by langston-barrett about 6 years ago - 2 comments
Labels: llvm

#93 - Merge LLVM.MemModel.Type and LLVM.MemType

Issue - State: closed - Opened by langston-barrett about 6 years ago
Labels: wontfix, llvm

#92 - toStorableType should be in a MonadFail

Issue - State: closed - Opened by langston-barrett about 6 years ago - 1 comment
Labels: llvm

#91 - `scripts/build_sandbox.sh` does not pull submodules for abcBridge

Issue - State: closed - Opened by m10f about 6 years ago - 2 comments

#90 - Online solvers

Pull Request - State: closed - Opened by andreistefanescu about 6 years ago

#89 - add crux to the README

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

#88 - Add bvselect and bvand/bvor simplifications.

Pull Request - State: closed - Opened by andreistefanescu about 6 years ago

#87 - Slowdown with Salsa20

Issue - State: closed - Opened by atomb about 6 years ago - 4 comments

#86 - Simplifications

Pull Request - State: closed - Opened by andreistefanescu about 6 years ago

#85 - default value for registers

Issue - State: open - Opened by robdockins about 6 years ago
Labels: enhancement, crucible, UX

#84 - Crucible panic from SAW equivalence proof

Issue - State: closed - Opened by thisistegan about 6 years ago - 2 comments

#83 - Simplifications

Pull Request - State: closed - Opened by andreistefanescu about 6 years ago

#82 - Crucible panic when using SAW

Issue - State: closed - Opened by thisistegan about 6 years ago - 3 comments
Labels: llvm

#81 - broken saw-script integration test

Issue - State: closed - Opened by robdockins about 6 years ago - 2 comments
Labels: jvm

#80 - crucible-jvm

Pull Request - State: closed - Opened by sweirich about 6 years ago

#78 - implement the llvm.bswap.* intrinsics

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

#77 - Floating-point improvements.

Pull Request - State: closed - Opened by andreistefanescu over 6 years ago

#76 - Reduce Lang.Vector

Issue - State: closed - Opened by langston-barrett over 6 years ago

#75 - Crash! GlobalState.globalMuxFn

Issue - State: closed - Opened by max-orhai over 6 years ago - 5 comments

#74 - Implement remaining crucible expression formers in the concrete syntax

Issue - State: open - Opened by robdockins over 6 years ago
Labels: help wanted, syntax

#73 - Implement more LLVM intrinsic functions

Issue - State: closed - Opened by langston-barrett over 6 years ago - 13 comments
Labels: llvm

#72 - Symbolically execute recursive functions into transition relations

Issue - State: closed - Opened by atomb over 6 years ago - 1 comment
Labels: crucible

#71 - Use outlining to translate loops to recursive functions

Issue - State: closed - Opened by atomb over 6 years ago - 1 comment
Labels: wontfix, crucible

#70 - Implement outlining

Issue - State: closed - Opened by atomb over 6 years ago - 1 comment
Labels: wontfix, crucible

#68 - Add support for unsat cores to What4

Issue - State: closed - Opened by atomb over 6 years ago - 6 comments
Labels: what4

#67 - Implement profiling hooks

Issue - State: closed - Opened by atomb over 6 years ago - 2 comments
Labels: crucible

#66 - Added BlockID to CallFrame

Pull Request - State: closed - Opened by BillHallahan over 6 years ago

#65 - Fixes for crucible-syntax

Pull Request - State: closed - Opened by david-christiansen over 6 years ago

#64 - crucible-syntax doesn't parse negative literals

Issue - State: closed - Opened by robdockins over 6 years ago

#63 - Two types are named `LLVMContext` in `crucible-llvm` package

Issue - State: closed - Opened by brianhuffman over 6 years ago - 2 comments
Labels: llvm

#61 - Avoid dividing by zero while simplifying expressions

Pull Request - State: closed - Opened by travitch over 6 years ago

#60 - what4 does not build with ghc 8.4.3

Issue - State: closed - Opened by yav over 6 years ago - 2 comments

#59 - Path condition issue in crucible-c

Issue - State: closed - Opened by andreistefanescu over 6 years ago - 2 comments

#58 - Lazy errors for failed LLVM constant translations

Issue - State: closed - Opened by atomb over 6 years ago - 5 comments

#57 - Support inbounds GEP in LLVM constant expressions

Issue - State: open - Opened by atomb over 6 years ago - 7 comments
Labels: llvm

#56 - Integer update

Pull Request - State: closed - Opened by robdockins over 6 years ago - 1 comment

#55 - CFG rewriting

Pull Request - State: closed - Opened by lukemaurer over 6 years ago - 2 comments

#54 - Variable scoping issues in the what4 SMTWriter

Issue - State: closed - Opened by robdockins over 6 years ago
Labels: bug, what4

#53 - Abstract floating point unit

Pull Request - State: closed - Opened by andreistefanescu over 6 years ago

#52 - Simulator refactor

Pull Request - State: closed - Opened by robdockins over 6 years ago - 1 comment

#50 - expose internals/knowledge of symbolic execution in tutorial materials

Issue - State: open - Opened by kiniry over 6 years ago - 1 comment
Labels: enhancement, documentation

#49 - Check for overflow when shifting signed things

Issue - State: closed - Opened by yav over 6 years ago - 2 comments
Labels: wontfix

#48 - Improve the supports for CVC4

Pull Request - State: closed - Opened by Kraks over 6 years ago

#47 - Rwd/cfg syntax

Pull Request - State: closed - Opened by robdockins over 6 years ago

#46 - Preserve the context when collecting proof obligations.

Pull Request - State: closed - Opened by yav over 6 years ago - 1 comment

#45 - Cfg syntax

Pull Request - State: closed - Opened by robdockins over 6 years ago - 5 comments

#44 - Update SMTLib bit vector parsing

Pull Request - State: closed - Opened by sweirich over 6 years ago

#43 - Floating point

Pull Request - State: closed - Opened by andreistefanescu over 6 years ago

#42 - Backtrack update exceptions

Pull Request - State: closed - Opened by robdockins over 6 years ago - 1 comment

#41 - LLVM `free` is too aggressive

Issue - State: closed - Opened by robdockins over 6 years ago

#40 - Mux trees for reference values

Pull Request - State: closed - Opened by robdockins over 6 years ago

#39 - Backtrack update

Pull Request - State: closed - Opened by yav over 6 years ago - 1 comment

#38 - Crucible / What4 package split

Pull Request - State: closed - Opened by robdockins over 6 years ago - 1 comment

#37 - Rwd/split refactor

Pull Request - State: closed - Opened by robdockins over 6 years ago - 1 comment

#36 - Reimplement Crucible.CFG.Generator api using an indexed state monad.

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

#35 - Unsoundness in BVDomain implementation

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

#34 - Qualify Context import to resolve update ambiguity

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

#33 - Calling functions that take void * parameters?

Issue - State: closed - Opened by WeeknightMVP almost 7 years ago - 4 comments

#32 - LLVM invalid memory load error

Issue - State: closed - Opened by lcasburn about 7 years ago - 3 comments
Labels: bug

#31 - LLVM and pointer arithmetic

Issue - State: closed - Opened by lcasburn about 7 years ago - 3 comments
Labels: enhancement

#30 - Fix/metadata

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

#29 - Add result type for invoke

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

#28 - Use the upstream repo and not a lagging clone.

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

#27 - Fix/invoke

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

#26 - Update to match new llvm-pretty types

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

#25 - The `-Werror`s in the .cabal files are annoying

Issue - State: closed - Opened by ntc2 over 7 years ago - 1 comment
Labels: whiner

#24 - Fix SimpleBuilder.boundVars when the expression is just a bound var

Pull Request - State: closed - Opened by jmgrosen over 7 years ago - 2 comments

#23 - Fix up for moving 'KnownRepr' into parameterized-utils

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

#22 - Add 'IsSymFn' class to allow retrieving the type from 'SymFn'

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

#21 - LLVM memory model can't convert between similarly-sized array types

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

#20 - Small SimpleBoundVar changes

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

#19 - LLVM Translation can not load VarArg functions

Issue - State: closed - Opened by TomMD over 7 years ago

#17 - Large global arrays cause unreasonable memory use

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

#16 - Simplify Crucible assumption management

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

#15 - Symbolic simulation fails when comparing symbolic pointer value with NULL

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

#14 - Crucible references `check_sat` in several places

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

#13 - Allow loading LLVM modules when some symbols can't be translated

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

#12 - Loading from a field of a one-element struct fails with "Invalid memory load"

Issue - State: closed - Opened by brianhuffman over 7 years ago - 3 comments

#11 - Make dependencies git submodules

Pull Request - State: closed - Opened by jmct over 7 years ago - 3 comments

#10 - Using a symbolic index into an array of function pointers doesn't work

Issue - State: open - Opened by brianhuffman over 7 years ago - 3 comments
Labels: llvm

#9 - Translation fails for functions that write to globals

Issue - State: closed - Opened by brianhuffman almost 8 years ago - 1 comment

#8 - Translation fails when C `extern` arrays are promoted to pointers

Issue - State: closed - Opened by brianhuffman almost 8 years ago - 2 comments

#7 - Using NULL as a C function pointer doesn't work

Issue - State: closed - Opened by brianhuffman almost 8 years ago - 2 comments

#6 - spell check fixes

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

#5 - Grammar

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

#4 - typo fix

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

#3 - typo fix to our README

Pull Request - State: closed - Opened by kiniry almost 8 years ago - 1 comment

#2 - Fix a few haddock syntax issues

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

#1 - add a cabal.project file for new-build support

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