Skip to content

Add type linting for HtPP and RzGraph + fix CI#114

Merged
Rot127 merged 5 commits intodevfrom
graph
Apr 7, 2026
Merged

Add type linting for HtPP and RzGraph + fix CI#114
Rot127 merged 5 commits intodevfrom
graph

Conversation

@Rot127
Copy link
Copy Markdown
Member

@Rot127 Rot127 commented Apr 4, 2026

Adds type linting to HtPP (/*<KeyType *, ValueType *>*/) and RzGraph (/*<NodeType *, EdgeType *>*/).

Also:

  • fixes the CI for the latest Rizin changes (making RzAsm and RzAnalysis private structs).
  • Fixes a wrong type annotation of CursorTypes discovered by mypy 1.20.x

Requires:

@Rot127 Rot127 changed the title Remove RzGraph from type checking. Add type linting for HtPP and RzGraph. Apr 4, 2026
@Rot127 Rot127 marked this pull request as draft April 6, 2026 13:28
@Rot127 Rot127 force-pushed the graph branch 3 times, most recently from b60d31c to 35bed58 Compare April 6, 2026 15:03
@Rot127 Rot127 changed the title Add type linting for HtPP and RzGraph. Add type linting for HtPP and RzGraph + fix CI Apr 6, 2026
@Rot127 Rot127 force-pushed the graph branch 2 times, most recently from b7b2659 to e640c77 Compare April 6, 2026 18:04
@Rot127 Rot127 marked this pull request as ready for review April 6, 2026 18:04
notxvilka

This comment was marked as resolved.

@Rot127 Rot127 marked this pull request as draft April 6, 2026 19:56
@Rot127
Copy link
Copy Markdown
Member Author

Rot127 commented Apr 6, 2026

Sorry, I commit from the wrong VM 🙄

notxvilka

This comment was marked as resolved.

@Rot127 Rot127 marked this pull request as ready for review April 7, 2026 10:37
@Rot127 Rot127 merged commit 380f6e2 into dev Apr 7, 2026
8 checks passed
@Rot127 Rot127 deleted the graph branch April 7, 2026 10:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants