GP-7062: comments on intent
GP-7062: post-review
GP-7062: cleanup
GP-7062: rename
GP-7062: edges
GP-7062: slight revert; bug fix
GP-7062: single function task
GP-7062: first pass
GP-7062: some progressGP-7062: workingishGP-7062: works for geditGP-7062: script -> classesGP-7062: script -> classesGP-7062: typesGP-7062: towards testingGP-7062: towards testingGP-7062: datalog addsGP-7062: datalog addsGP-7062: slow progressGP-7062: getting thereGP-7062: better vnode logicGP-7062: better vnode logicGP-7062: yay, working (at least a little)GP-7062: sane PCODE_ resultsGP-7062: on to sarif resultsGP-7062: sarif workingGP-7062: maybe fixed?GP-7062: mo' betta'GP-7062: probably a lot more to doGP-7062: cleanup for hvar/vnode
GP-5566: fix for J
GP-5566: minor fixes
GP-5566: icons decl proper
GP-5566: minor tweaks
GP-5566: post-review
GP-5566: minor
GP-5566: mo better monitor logic
GP-5566: minor fix
GP-5290: lose the interface
GP-5290: mid-review
GP-5290: some cleanup
GP-5290: state updates in motion
GP-5290: basically working
GP-5290: fixes for abstract state; set size
GP-5290: first pass
