Ecosyste.ms: Issues

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

GitHub / GaloisInc/surveyor issues and pull requests

#99 - Move reusable widgets into separate (appropriate) packages

Issue - State: open - Opened by travitch over 3 years ago

#98 - Move the EchoArea into the Brick UI

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

#96 - Run graphviz in a separate thread

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

#95 - Improve CI caching

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

#94 - Run graphviz in a separate thread

Issue - State: closed - Opened by travitch over 3 years ago

#93 - Make the behavior of the "current value" a bit more predictable

Pull Request - State: closed - Opened by travitch over 3 years ago - 1 comment

#92 - Move the EchoArea logic from core to the UI layer

Issue - State: closed - Opened by travitch over 3 years ago

#91 - Add a new abstraction for implementing event handlers

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

#90 - Tr/surrogate value keys

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

#89 - Make the minibuffer respect predicates indicating command applicability

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

#88 - Add the missing cases to handle macaw's MkTuple constructor

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

#87 - Replace uses of the fmt library with prettyprinter

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

#86 - Move initial symbolic registers

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

#85 - Add a viewer for the current path condition while suspended

Issue - State: open - Opened by travitch over 3 years ago

#84 - Tr/extra debug commands

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

#83 - Make the symbolicRegs optional

Issue - State: closed - Opened by travitch over 3 years ago

#82 - Replace the fmt library with prettyprinter

Issue - State: closed - Opened by travitch over 3 years ago

#81 - Command tweaks

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

#80 - Start implementing graphviz functionality

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

#79 - Render basic blocks in the symbolic call stack viewer

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

#78 - Redo the symbolic execution state stepping code

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

#77 - Vikraman feat/step

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

#76 - Tr/update submodules

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

#75 - Update submodules

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

#74 - Step execution from suspended state

Pull Request - State: closed - Opened by vikraman about 4 years ago

#73 - Implement model visualization

Pull Request - State: closed - Opened by vikraman about 4 years ago

#72 - Execution stepping from the suspended state

Issue - State: closed - Opened by travitch about 4 years ago - 1 comment
Labels: enhancement

#71 - Add a debug_assert override for crux-dbg

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

#70 - Tr/sim val names

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

#69 - Implement model visualization

Issue - State: closed - Opened by travitch over 4 years ago

#67 - Fix the symbolic execution configuration form

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

#66 - Generalize the selection for the value viewer

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

#65 - Add a debug_assert override for crux-dbg

Issue - State: closed - Opened by travitch over 4 years ago - 1 comment

#64 - Add a mechanism to interrupt crux-dbg and drop it into the debugger

Issue - State: closed - Opened by travitch over 4 years ago - 1 comment

#63 - Allow hiding sub-terms of named values in the ValueViewer

Issue - State: open - Opened by travitch over 4 years ago

#62 - The filename in the state is obsolete

Issue - State: open - Opened by travitch over 4 years ago

#60 - Start building infrastructure for letting users specify names for values

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

#59 - The ValueViewer widget does not use memoized NonceApp widgets

Issue - State: closed - Opened by travitch over 4 years ago
Labels: bug

#57 - ValueViewer term naming

Issue - State: open - Opened by travitch over 4 years ago

#56 - ValueViewer: Render source locations for selected terms

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

#55 - CFG and Call Graph rendering to Graphviz

Issue - State: open - Opened by travitch over 4 years ago
Labels: enhancement

#54 - Tr/breakpoint names

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

#53 - Encode "current object" rules declaratively

Issue - State: open - Opened by travitch over 4 years ago

#52 - Add dependency analysis/visualization to the ValueViewer

Issue - State: open - Opened by travitch over 4 years ago

#51 - Add ability to tag sub-terms in the ValueViewer with labels

Issue - State: closed - Opened by travitch over 4 years ago - 1 comment

#50 - Add a command to export a RegValue in Graphviz format

Issue - State: closed - Opened by travitch over 4 years ago - 1 comment
Labels: enhancement

#49 - Finish implementing cases in the ValueViewer

Issue - State: open - Opened by travitch over 4 years ago
Labels: enhancement, ui

#48 - Build crux-dbg in the github-actions build

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

#47 - Unify the keybinding setup

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

#46 - Connect the symbolic execution UI

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

#45 - SAW Integration

Issue - State: open - Opened by travitch over 4 years ago
Labels: blue-sky

#44 - Unify keybindings between frontends

Issue - State: closed - Opened by travitch over 4 years ago

#43 - Fix some initialisation issues

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

#42 - Implement a memory history viewer

Issue - State: open - Opened by travitch over 4 years ago
Labels: enhancement

#41 - Implement a memory state editor

Issue - State: open - Opened by travitch over 4 years ago

#40 - Support taking memory snapshots

Issue - State: open - Opened by travitch over 4 years ago
Labels: enhancement

#39 - Add support for symbolic watchpoints

Issue - State: open - Opened by travitch over 4 years ago
Labels: enhancement

#38 - Add a way to set symbolic breakpoints via the UI

Issue - State: open - Opened by travitch over 4 years ago
Labels: enhancement

#37 - Enable logging to a file by default

Issue - State: closed - Opened by travitch over 4 years ago - 2 comments

#36 - Issues with logging and handling errors

Issue - State: closed - Opened by vikraman over 4 years ago - 3 comments

#35 - Tr/reg value viewer

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

#34 - Remove fmt from surveryor-brick

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

#33 - Improve efficiency of symbolic execution feature startup

Issue - State: open - Opened by travitch over 4 years ago

#31 - Run-time extensibility

Issue - State: open - Opened by travitch over 4 years ago
Labels: blue-sky

#30 - Improve filename completions

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

#29 - WIP Start implementing a Crucible execution feature

Pull Request - State: closed - Opened by travitch over 4 years ago - 2 comments

#28 - Demo video (1)

Issue - State: open - Opened by travitch over 4 years ago

#26 - Refactor lenses

Pull Request - State: closed - Opened by vikraman over 4 years ago - 3 comments

#25 - CFG Visualization

Issue - State: open - Opened by travitch over 4 years ago
Labels: enhancement, ui

#24 - Unify lens naming schemes

Issue - State: closed - Opened by travitch over 4 years ago - 2 comments
Labels: code-quality

#23 - Extract UI-independent handlers to surveyor-core

Issue - State: closed - Opened by travitch over 4 years ago

#22 - Finish implementing symbolic execution state cleanup

Issue - State: closed - Opened by travitch over 4 years ago

#21 - Revive the QML frontend

Issue - State: open - Opened by travitch over 4 years ago
Labels: blue-sky

#20 - Add a popup to select from possible completions

Issue - State: open - Opened by travitch over 4 years ago
Labels: enhancement, ui

#19 - Add a structured viewer for what4 terms

Issue - State: closed - Opened by travitch over 4 years ago - 1 comment
Labels: enhancement, ui

#18 - Add a UI for initializing the symbolic execution state

Issue - State: open - Opened by travitch over 4 years ago
Labels: enhancement, ui

#17 - Standardize pretty printing

Issue - State: closed - Opened by travitch over 4 years ago
Labels: code-quality

#16 - Implement remaining arch-specific instructions

Issue - State: open - Opened by travitch over 4 years ago

#15 - Generalize the EchoArea into a TransientMessage

Issue - State: open - Opened by travitch over 4 years ago

#14 - Support for structured programs

Issue - State: open - Opened by travitch over 4 years ago
Labels: blue-sky

#13 - Harden file loading

Issue - State: closed - Opened by travitch over 4 years ago
Labels: enhancement, core

#12 - Add the ARM machine code backend

Issue - State: open - Opened by travitch over 4 years ago
Labels: enhancement, core

#11 - Solver interaction filenames cannot contain the letter 'c'

Issue - State: open - Opened by travitch over 4 years ago
Labels: bug

#10 - Finish connecting the symbolic execution UI

Issue - State: closed - Opened by travitch over 4 years ago

#9 - Investigate poor filename completion behavior

Issue - State: closed - Opened by travitch over 4 years ago
Labels: bug

#8 - Implement the symbolic execution backend for JVM

Issue - State: open - Opened by travitch over 4 years ago

#7 - Implement the machine code symbolic execution backend

Issue - State: open - Opened by travitch over 4 years ago
Labels: enhancement, core

#6 - Expose surveyor as an ExecutionFeature

Issue - State: closed - Opened by travitch over 4 years ago

#5 - HTML Frontend

Issue - State: open - Opened by travitch over 4 years ago
Labels: blue-sky

#4 - Split the massive Handlers/Events modules into a few more granular pi…

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

#3 - Use lumberjack as the logging core

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

#2 - Warning cleanup and module rename

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

#1 - Feature/symbolic execution

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