An extension of Microsoft's Debug Adaptor Protocol for debugging symbolic execution.
This repo is an early work-in-progress. See sedap.schema.json for the initial specification.
-
Notifications
You must be signed in to change notification settings - Fork 0
An extension of Microsoft's Debug Adaptor Protocol for debugging symbolic execution.
License
GillianPlatform/sedap
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An extension of Microsoft's Debug Adaptor Protocol for debugging symbolic execution.