ProvableHQ
leo
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
PR Status
Open
Merged
Closed
95 total
CodSpeed Performance Gauge
0%
Normalize error voice to rustc style and add help text everywhere
#29430
17 hours ago
d2b9d9f
IGI-111/error-codes
CodSpeed Performance Gauge
0%
fix(codegen): filter empty-typed members in clone_register composite cast
#29426
4 days ago
814621c
mohammadfawaz/29425
CodSpeed Performance Gauge
0%
feat: add read-only `view fn` entry points (V15)
#29419
4 days ago
0491006
mohammadfawaz/view_functions
CodSpeed Performance Gauge
0%
Migrate const-eval errors to new framework
#29413
5 days ago
d3874cd
IGI-111/const-eval-errors
CodSpeed Performance Gauge
0%
Add CEI (Checks-Effects-Interactions) analysis pass
#29304
6 days ago
8822451
IGI-111/CEI
CodSpeed Performance Gauge
0%
feat: add read-only `query fn` entry points
#29411
6 days ago
6ae5d43
mohammadfawaz/query_functions
CodSpeed Performance Gauge
0%
fix(typeck): reject `dyn record` in arrays, structs, records, mappings
#29414
7 days ago
448b08d
mohammadfawaz/29407
CodSpeed Performance Gauge
0%
feat(workspaces): globs, --workspace, auto-add member (Phase 4)
#29429
8 days ago
dc53d48
mitchmindtree/workspaces
CodSpeed Performance Gauge
0%
Replace macro-generated error types with plain combinator functions
#29402
13 days ago
8f0c404
IGI-111/error-structure
CodSpeed Performance Gauge
0%
fix(disassembler): reject future-typed register inputs before from_function_core panics
#29400
12 days ago
5720286
anon-researchers-123:fixes-issue-29399
1
2
3
4
5
...
10
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs