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
These were found using the command below searching for duplicated words,
and manually going through the results to remove the false positives and
reword the true positives. Sometimes I removed the doubled word and
sometimes I replaced the duplicated word.
The grep command:
grep -nIEr '\b([a-zA-Z]+)[[:space:]*]+\1\b' ./Ghidra
GP-wkshp: minor mod
GP-wkshp: post-rebase
GP-wkshp: rebase
GP-5290: first pass
GP-5290: fixes for abstract state; set sizeGP-5290: basically workingGP-5290: state updates in motionGP-5290: some cleanupGP-5290: mid-reviewGP-5290: lose the interfaceGP-wkshp: add opsGP-wkshp: trimGP-wkshp: first pass on exportGP-wkshp: error in writeRule?GP-wkshp: working version of source exportGP-wkshp: more tweaksGP-wkshp: unnecessary
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
GP-3443: clean-up & comment
GP-3443: more help edits; fix for QueryResult error
GP-3443: actions refactor
GP-3443: record fix + html fixes
GP-3443: misc
GP-3443: fixes for help
GP-3443: more post-review
GP-3443: refactor on queries + other stuff
GP-3443: test improvement
GP-3443: post-review more easy
GP-3443: post-review easy fixes
GP-3443: imports
GP-3443: formatting fixes
GP-3443: better test
GP-3443: more test improvemnts
GP-3443: fix for fields, more test stuff
GP-3443: prelims for testing
GP-3443: more work on edge cases
GP-3443: fix for locals fixed
GP-3443: fix for locals
GP-3443: by symbol fix
GP-3443: by symbol fix
GP-3443: minor ergonomics
GP-3443: simpler query
GP-3443: fix for structs
GP-3443: fix for clear
GP-3443: thunks working
GP-3443: more deps
GP-3443: dependencies fix
GP-3443: gates
GP-3443: imports organized
GP-3443: oops
GP-3443: oops
GP-3443: pretty substantial refactor
GP-3443: marks now location-specific
GP-3443: better clear
GP-3443: fairly major logic change
GP-3443: (better) functioning plugin
GP-3443: better docs
GP-3443: script
GP-3443: script
GP-3443: bueno
GP-3443: manual rebase
Ryan Kurtz