Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc/pate issues and pull requests
#384 - Dm/control sync wip
Pull Request -
State: open - Opened by danmatichuk 7 months ago
#383 - add interactive choice to add assertion/assumption/eq.cond when an ob…
Pull Request -
State: closed - Opened by danmatichuk 8 months ago
#382 - Dm/trace trees
Pull Request -
State: closed - Opened by danmatichuk 8 months ago
#381 - Dm/trace trees
Pull Request -
State: closed - Opened by danmatichuk 8 months ago
- 2 comments
#380 - refactor Pate.EventTrace to move general SymSequence functions to new…
Pull Request -
State: closed - Opened by danmatichuk 8 months ago
#379 - refactor Pate.EventTrace to move general SymSequence functions to new…
Pull Request -
State: closed - Opened by danmatichuk 8 months ago
#378 - refactor Pate.Verification.PairGraph to remove dependency on EquivM
Pull Request -
State: closed - Opened by danmatichuk 8 months ago
#377 - Dm/repl race
Pull Request -
State: closed - Opened by danmatichuk 8 months ago
#376 - Diff display of original and patched traces in pate-binja plugin
Pull Request -
State: closed - Opened by jim-carciofini 9 months ago
#375 - add "target 7" (GridIPS) from spring '24 hackathon
Pull Request -
State: closed - Opened by danmatichuk 9 months ago
#374 - add support for ignoring all functions with symbols matching a given prefix
Pull Request -
State: closed - Opened by danmatichuk 9 months ago
#373 - add support for symbolic-length writes by supporting reading array "chunks"
Pull Request -
State: closed - Opened by danmatichuk 9 months ago
#372 - add "extra" classifiers that use symbolic execution to resolve function/tail calls
Pull Request -
State: closed - Opened by danmatichuk 9 months ago
#371 - misc. hackathon fixes
Pull Request -
State: closed - Opened by danmatichuk 9 months ago
#370 - binja: use colors for diff info in trace panel
Pull Request -
State: closed - Opened by thebendavis 9 months ago
- 6 comments
#369 - Dm/hackathon mar 2024
Pull Request -
State: closed - Opened by danmatichuk 9 months ago
#368 - Dm/test docker
Pull Request -
State: closed - Opened by danmatichuk 9 months ago
#367 - testing: echo GITHUB_REF
Pull Request -
State: closed - Opened by danmatichuk 9 months ago
#366 - Dm/test docker
Pull Request -
State: closed - Opened by danmatichuk 9 months ago
#365 - Dm/control align
Pull Request -
State: closed - Opened by danmatichuk 9 months ago
#364 - Dm/eqcond traces
Pull Request -
State: closed - Opened by danmatichuk 9 months ago
#363 - Cleanup build warnings by removing unused imports, unused variables, etc
Pull Request -
State: open - Opened by danmatichuk 9 months ago
#362 - Redefine synchronization points to specity the address where control flow re-synchronizes
Pull Request -
State: closed - Opened by danmatichuk 9 months ago
#361 - Push docker containers to Artifactory
Pull Request -
State: closed - Opened by dwest-galois 9 months ago
- 1 comment
#360 - factor trace datatypes from MemTrace into Pate.EventTrace
Pull Request -
State: closed - Opened by danmatichuk 10 months ago
#359 - Dm/desync
Pull Request -
State: closed - Opened by danmatichuk 10 months ago
#358 - Dm/testing scripts2
Pull Request -
State: closed - Opened by danmatichuk 10 months ago
#357 - fix Dockerfile and add to regression
Pull Request -
State: closed - Opened by danmatichuk 10 months ago
#356 - add split point for divergence location, using above refactoring
Issue -
State: open - Opened by danmatichuk 11 months ago
- 1 comment
#355 - refactor block "split" points to take argument for which blocks to use
Issue -
State: open - Opened by danmatichuk 11 months ago
#354 - Allow for divergence locations to be provided as input
Issue -
State: open - Opened by danmatichuk 11 months ago
- 1 comment
#353 - Dm/deserialize
Pull Request -
State: open - Opened by danmatichuk 12 months ago
#352 - Dm/submodule bump
Pull Request -
State: closed - Opened by danmatichuk 12 months ago
#351 - use demangler to decode C++ symbols
Pull Request -
State: closed - Opened by danmatichuk about 1 year ago
#350 - PPC64 `malloc-simple` binary fails due to `MissingTOCEntry` failiure
Issue -
State: open - Opened by RyanGlScott about 1 year ago
#349 - Add plausible heuristics for PPC32 PLT stubs
Pull Request -
State: closed - Opened by RyanGlScott about 1 year ago
#348 - Bump `elf-edit`, `macaw` submodules to support PPC relocations
Pull Request -
State: closed - Opened by RyanGlScott about 1 year ago
#347 - dm/macaw-327: updating crucible/macaw/what4 causes timeouts to crash
Issue -
State: open - Opened by danmatichuk about 1 year ago
#346 - Challenge 10 Interactive
Pull Request -
State: closed - Opened by danmatichuk over 1 year ago
#345 - Adapt to changes in GaloisInc/macaw#327
Pull Request -
State: closed - Opened by RyanGlScott over 1 year ago
- 2 comments
#344 - Handle diverging control flow with single-sided analysis
Pull Request -
State: closed - Opened by danmatichuk almost 2 years ago
#343 - generalize PatchPair to support singletons
Pull Request -
State: closed - Opened by danmatichuk almost 2 years ago
#342 - Generalize `PatchPair` structure to support singletons
Issue -
State: closed - Opened by danmatichuk about 2 years ago
#341 - Add limited support for vector instructions to support challenge 9
Issue -
State: open - Opened by danmatichuk about 2 years ago
#340 - Failing to read config files or hints should cause the verifier to exit early
Issue -
State: open - Opened by danmatichuk about 2 years ago
#339 - Use Crucible overrides to represent stub function calls
Issue -
State: open - Opened by danmatichuk about 2 years ago
#338 - Collection of fixes for October site visit
Pull Request -
State: closed - Opened by danmatichuk about 2 years ago
#337 - Remove old `Proof` modules
Issue -
State: open - Opened by danmatichuk about 2 years ago
Labels: tech debt
#336 - Add tail call support
Pull Request -
State: closed - Opened by danmatichuk about 2 years ago
#335 - Handle tail calls
Issue -
State: open - Opened by danmatichuk about 2 years ago
#334 - initial attempt at wrapping memory reads/writes in defined functions
Pull Request -
State: open - Opened by danmatichuk about 2 years ago
#333 - Use defined functions to represent memory read/writes
Issue -
State: open - Opened by danmatichuk about 2 years ago
- 1 comment
Labels: enhancement, memory model
#332 - Remove use of `unsafeCoerce` in `ExprMappable`
Issue -
State: open - Opened by danmatichuk about 2 years ago
Labels: tech debt
#331 - Add interactive debugger
Pull Request -
State: closed - Opened by danmatichuk about 2 years ago
#330 - Break loops when verifying recursive functions with context-sensitive function domains
Issue -
State: open - Opened by danmatichuk about 2 years ago
- 3 comments
Labels: enhancement
#329 - Add support for interactive debugging of verifier traces
Issue -
State: open - Opened by danmatichuk about 2 years ago
Labels: enhancement
#328 - Update to latest what4 revision and drop SymNat workaround
Issue -
State: open - Opened by danmatichuk about 2 years ago
Labels: tech debt
#327 - macaw does not handle dynamically-linked binaries - verifier can't handle PLT stubs for PPC
Issue -
State: closed - Opened by danmatichuk about 2 years ago
#326 - Challenge 3 triage
Pull Request -
State: closed - Opened by danmatichuk about 2 years ago
- 1 comment
#325 - Remove use of uninterpreted functions from memory model in favor of explicit assertions
Issue -
State: open - Opened by danmatichuk over 2 years ago
Labels: enhancement, memory model
#324 - Test suite does not load PLT stubs from binaries
Issue -
State: closed - Opened by danmatichuk over 2 years ago
- 1 comment
#323 - Generalize 'MemCellPred' over the predicate merge operation
Pull Request -
State: closed - Opened by danmatichuk over 2 years ago
#322 - `StateCondition` uses `MemoryDomain` which incorrectly merges predicates with disjunctions
Issue -
State: closed - Opened by danmatichuk over 2 years ago
#321 - Triage challenge problems
Pull Request -
State: closed - Opened by danmatichuk over 2 years ago
- 1 comment
#320 - Very simple region support in memory model
Pull Request -
State: closed - Opened by danmatichuk over 2 years ago
#319 - Various optimizations
Pull Request -
State: closed - Opened by danmatichuk over 2 years ago
#318 - Refactor widening loop to use equivalence domain structure
Pull Request -
State: closed - Opened by danmatichuk over 2 years ago
#317 - Handle timeouts when using the online solver
Pull Request -
State: closed - Opened by danmatichuk over 2 years ago
#316 - Timeouts break the online solver
Issue -
State: closed - Opened by danmatichuk over 2 years ago
#315 - Standardize the use of term simplification when printing results/errors
Issue -
State: open - Opened by danmatichuk over 2 years ago
Labels: presentation
#314 - Add better simplifier tracing and fix unsound simplification step
Pull Request -
State: closed - Opened by danmatichuk over 2 years ago
#313 - Avoid exponential case when verifying observable traces
Issue -
State: closed - Opened by danmatichuk over 2 years ago
#312 - Use `ignore-*-functions` from configuration
Issue -
State: open - Opened by danmatichuk over 2 years ago
#311 - Memory model weakness causes constant propagation to be unsound
Issue -
State: closed - Opened by danmatichuk over 2 years ago
- 1 comment
#310 - Add run-time checks for validating variable scoping
Issue -
State: open - Opened by danmatichuk over 2 years ago
Labels: testing
#309 - Clean up solver usage and assumption tracking
Pull Request -
State: closed - Opened by danmatichuk over 2 years ago
#308 - Add additional heuristics for converting between scopes
Issue -
State: open - Opened by danmatichuk over 2 years ago
#307 - Enforce abstraction boundary for SimSpec
Issue -
State: closed - Opened by danmatichuk over 2 years ago
Labels: tech debt
#306 - Add type parameter to SimSpec to avoid free variables escaping scope
Pull Request -
State: closed - Opened by danmatichuk over 2 years ago
#305 - More precise handling of stack
Pull Request -
State: closed - Opened by danmatichuk over 2 years ago
- 1 comment
#304 - Clean up bound/free variable scoping
Issue -
State: closed - Opened by danmatichuk over 2 years ago
#303 - remove polarity from memory domain
Pull Request -
State: closed - Opened by danmatichuk over 2 years ago
#302 - remove weakest-precondition verifier
Pull Request -
State: closed - Opened by danmatichuk over 2 years ago
#301 - Add abstraction over solver usage in strongest postcondition verifier
Issue -
State: closed - Opened by danmatichuk over 2 years ago
#300 - Wrap AbstractDomain in a newtype
Issue -
State: open - Opened by danmatichuk over 2 years ago
Labels: tech debt
#287 - Refactor widening loop to use equivalence domain structure
Issue -
State: closed - Opened by danmatichuk over 2 years ago
- 1 comment
#278 - More precise handling of stack
Issue -
State: closed - Opened by robdockins over 2 years ago
- 1 comment
Labels: enhancement, Strongest Postcondition Verifier
#275 - Add constant propagation for strongest postcondition verifier
Pull Request -
State: closed - Opened by danmatichuk over 2 years ago
#274 - Add test for conditional returns in ARM
Issue -
State: open - Opened by danmatichuk over 2 years ago
Labels: testing
#265 - don't print duplicate cells in counter-example
Pull Request -
State: closed - Opened by danmatichuk over 2 years ago
#263 - Address feedback for PR #251
Pull Request -
State: closed - Opened by danmatichuk over 2 years ago
#207 - Maintain abstraction boundary of `MemCell.MemCellPred`
Issue -
State: closed - Opened by danmatichuk over 2 years ago
- 2 comments
#195 - SymNats interact poorly with ExprMappable
Issue -
State: closed - Opened by danmatichuk over 2 years ago
- 1 comment
Labels: tech debt
#174 - Refactor the memory model in preparation for tracking block IDs
Pull Request -
State: open - Opened by travitch almost 3 years ago
#165 - Check PLT handling on PowerPC
Issue -
State: closed - Opened by travitch almost 3 years ago
Labels: ppc32, tech debt
#141 - Debug simplifier failures
Issue -
State: closed - Opened by travitch about 3 years ago
- 3 comments
Labels: bug
#130 - Triage failures on challenge 3
Issue -
State: open - Opened by travitch about 3 years ago
- 1 comment
#110 - Abstract binary container format
Pull Request -
State: open - Opened by travitch over 3 years ago
#100 - Rename slices to something else
Issue -
State: closed - Opened by travitch over 3 years ago
- 2 comments
#89 - Clean up logic operations in EquivM
Issue -
State: closed - Opened by danmatichuk over 3 years ago
Labels: tech debt