-
Notifications
You must be signed in to change notification settings - Fork 13
Pull requests: Inferara/inference
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
ci: add miri check for logical crates
tests
Unit, fuzzing, performance, etc.
#119
opened Jan 29, 2026 by
dotandev
Loading…
Prohibit combined unary operators
static analysis
Static code analysis
#111
opened Jan 24, 2026 by
kaankacar
Loading…
feat(ast): add visibility support for spec definitions
#105
opened Jan 22, 2026 by
Godbrand0
Loading…
feat: add multi file support, Implement parser context queue and external symbol registration
#102
opened Jan 22, 2026 by
Emmyt24
Loading…
feat: implement custom parser for Inference language
#101
opened Jan 22, 2026 by
ALIPHATICHYD
Loading…
1 of 4 tasks
Add inline documentation for complex logic in type-checker (#73)
#100
opened Jan 22, 2026 by
ALIPHATICHYD
Loading…
1 of 4 tasks
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.