Skip to content

Pull requests: GaloisInc/surveyor

New pull request New
Clear current search query, filters, and sorts
1 Open 40 Closed
1 Open 40 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Move the EchoArea into the Brick UI
#98 by travitch was merged Jan 13, 2021
1
Run graphviz in a separate thread
#96 by travitch was merged Jan 12, 2021 Loading…
1
Improve CI caching
#95 by travitch was merged Jan 12, 2021 Loading…
Make the behavior of the "current value" a bit more predictable
#93 by travitch was merged Jan 11, 2021 Loading…
1
Add a new abstraction for implementing event handlers
#91 by travitch was merged Jan 10, 2021 Loading…
Tr/surrogate value keys
#90 by travitch was merged Jan 10, 2021 Loading…
Make the minibuffer respect predicates indicating command applicability
#89 by travitch was merged Jan 9, 2021 Loading…
1
Add the missing cases to handle macaw's MkTuple constructor
#88 by travitch was merged Jan 9, 2021 Loading…
Replace uses of the fmt library with prettyprinter
#87 by travitch was merged Jan 9, 2021 Loading…
1
Move initial symbolic registers
#86 by travitch was merged Jan 9, 2021 Loading…
1
Tr/extra debug commands
#84 by travitch was merged Jan 8, 2021 Loading…
Command tweaks
#81 by travitch was merged Jan 6, 2021 Loading…
Start implementing graphviz functionality
#80 by travitch was merged Jan 5, 2021 Loading…
Render basic blocks in the symbolic call stack viewer
#79 by travitch was merged Jan 3, 2021 Loading…
Redo the symbolic execution state stepping code
#78 by travitch was merged Jan 3, 2021 Loading…
Vikraman feat/step
#77 by travitch was merged Dec 30, 2020 Loading…
Tr/update submodules
#76 by travitch was merged Dec 28, 2020 Loading…
Update submodules
#75 by travitch was merged Dec 12, 2020 Loading…
Step execution from suspended state
#74 by vikraman was closed Dec 30, 2020 • Draft
1
Implement model visualization
#73 by vikraman was merged Jul 29, 2020 Loading…
1
1
Add a debug_assert override for crux-dbg
#71 by vikraman was merged Jul 21, 2020 Loading…
1
14
Tr/sim val names
#70 by travitch was merged Jun 30, 2020 Loading…
Fix the symbolic execution configuration form
#67 by travitch was closed Jun 26, 2020 Loading…
1
Generalize the selection for the value viewer
#66 by travitch was merged Jun 24, 2020 Loading…
1
Start building infrastructure for letting users specify names for values
#60 by travitch was merged Jun 22, 2020 Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.