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.
GillianPlatform/sedap
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.