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

#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

#377 - Dm/repl race

Pull Request - State: closed - Opened by danmatichuk 8 months ago

#375 - add "target 7" (GridIPS) from spring '24 hackathon

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

#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

#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

#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

#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

#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

#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

#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

#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

#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