CN debugger: allow debugging of CN via Gillian#144

Open

kiranandcode wants to merge 24 commits intoGaloisInc:sc/cn-debugfrom kiranandcode:kg/cn-debug

+1,436-21

Commits on Jan 22, 2025

debugger: a rudimentary debugger that handles initialize

samcowger
authored and
kiranandcode
committed
debugger: CI configuration

samcowger
authored and
kiranandcode
committed
debugger: make initialization a little less synchronous

samcowger
authored and
kiranandcode
committed
debugger: initialize simple state on launch command

samcowger
authored and
kiranandcode
committed
debugger: handle debuggerState commands

samcowger
authored and
kiranandcode
committed
debugger: organize command modules together

samcowger
authored and
kiranandcode
committed
debugger: handle stepSpecific command, support debugStateUpdate event

samcowger
authored and
kiranandcode
committed
debugger: support jump command

samcowger
authored and
kiranandcode
committed
debugger: send initialized event

samcowger
authored and
kiranandcode
committed
debugger: send stopped event

samcowger
authored and
kiranandcode
committed
debugger: handle threads request

samcowger
authored and
kiranandcode
committed
debugger: support stackTrace requests

samcowger
authored and
kiranandcode
committed
debugger: merge Order and FrameMap modules

samcowger
authored and
kiranandcode
committed
debugger: handle scopes request

samcowger
authored and
kiranandcode
committed
debugger: handle variables requests

samcowger
authored and
kiranandcode
committed
server: implement lens creation

samcowger
authored and
kiranandcode
committed
server: publish gillian-debugging lenses

samcowger
authored and
kiranandcode
committed
client: declare and register debugging facilities

samcowger
authored and
kiranandcode
committed
server: condition lens publication on configuration option

samcowger
authored and
kiranandcode
committed
client: expose lens configuration option

samcowger
authored and
kiranandcode
committed
debugger: only use state_reports with locations

samcowger
authored and
kiranandcode
committed
debugger: expose cn-debug executable as editor config variable
kiranandcode
committed
debugger: generate report json files during verification
kiranandcode
committed
Updated debug adapter to show Unproven and Requested Goals
kiranandcode
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

CN debugger: allow debugging of CN via Gillian#144

Commits on Jan 22, 2025

debugger: a rudimentary debugger that handles `initialize`

debugger: CI configuration

debugger: make initialization a little less synchronous

debugger: initialize simple state on `launch` command

debugger: handle `debuggerState` commands

debugger: organize command modules together

debugger: handle `stepSpecific` command, support `debugStateUpdate` event

debugger: support `jump` command

debugger: send `initialized` event

debugger: send `stopped` event

debugger: handle `threads` request

debugger: support `stackTrace` requests

debugger: merge `Order` and `FrameMap` modules

debugger: handle `scopes` request

debugger: handle `variables` requests

server: implement lens creation

server: publish gillian-debugging lenses

client: declare and register debugging facilities

server: condition lens publication on configuration option

client: expose lens configuration option

debugger: only use `state_report`s with locations

debugger: expose cn-debug executable as editor config variable

debugger: generate report json files during verification

Updated debug adapter to show Unproven and Requested Goals