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
#100 - Extract the logic for mapping expressions to values into a separate m…
Pull Request -
State: open - Opened by travitch over 3 years ago
#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
#97 - Add semantic differentiation in the graphviz rendering of formulas
Issue -
State: open - 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
#68 - Use the ValueViewer widget in the symbolic execution inspector
Issue -
State: open - 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
#61 - The minibuffer widget does not respect predicates limiting the applicability of commands
Issue -
State: closed - Opened by travitch over 4 years ago
Labels: bug
#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
#58 - Extend state explorer to to allow viewing of more values than those captured by breakpoints
Issue -
State: closed - Opened by travitch over 4 years ago
#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
#32 - Visualize the current call context in the suspended symbolic execution viewer
Issue -
State: closed - 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
#27 - Construct a demonstration program for breakpoints and symbolic debugging
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