ProvableHQ
leo
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
PR Status
Open
Merged
Closed
92 total
CodSpeed Performance Gauge
0%
feat: add read-only `query fn` entry points
#29411
12 hours ago
547152b
mohammadfawaz/query_functions
CodSpeed Performance Gauge
0%
fix(typeck): reject `dyn record` in arrays, structs, records, mappings
#29414
16 hours ago
448b08d
mohammadfawaz/29407
CodSpeed Performance Gauge
0%
Migrate const-eval errors to new framework
#29413
2 days ago
baf386b
IGI-111/const-eval-errors
CodSpeed Performance Gauge
0%
feat(package): add `Location::Workspace` dependency variant (Phase 2)
#29401
2 days ago
dc53d48
mitchmindtree/workspaces
CodSpeed Performance Gauge
0%
Replace macro-generated error types with plain combinator functions
#29402
7 days ago
8f0c404
IGI-111/error-structure
CodSpeed Performance Gauge
0%
fix(disassembler): reject future-typed register inputs before from_function_core panics
#29400
6 days ago
5720286
anon-researchers-123:fixes-issue-29399
CodSpeed Performance Gauge
0%
fix(typeck): don't ICE on recursive Option<Self> or local entry-point self-calls
#29395
7 days ago
aa666f6
anon-researchers-123:fixes-issue-29390
CodSpeed Performance Gauge
0%
feat(typeck): warn on == / != between two () operands
#29398
7 days ago
7f61837
anon-researchers-123:fixes-issue-29389
CodSpeed Performance Gauge
0%
feat(LSP) Implement go to definition.
#29394
9 days ago
324d0c9
josh/goto_def
CodSpeed Performance Gauge
0%
Use ariadne for error rendering
#29375
13 days ago
564b505
IGI-111/error-msgs
1
2
3
4
5
...
10
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs