|
client
|
refactor: prefer inline format args
|
2025-04-17 16:52:53 +01:00 |
|
core
|
refactor: combine equivalent match branches
|
2025-04-17 16:52:59 +01:00 |
|
processor
|
refactor: remove redundant continue
|
2025-04-17 16:53:01 +01:00 |
|
proof
|
refactor: improve type ergonomics
|
2025-04-17 16:52:56 +01:00 |
|
verification
|
refactor: improve punctuation readability
|
2025-04-17 16:52:59 +01:00 |
|
error.rs
|
refactor: improve type ergonomics
|
2025-04-17 16:52:56 +01:00 |
|
main.rs
|
refactor: prefer inline format args
|
2025-04-17 16:52:53 +01:00 |
