v1.12.0

1.12.0 (2026-09-30)

Features

• rules: unsafe reaches foreign defs, fuel sees U32.to_nat, bend 2.0.34 text (#219) (639d1fe)

v1.11.0

1.11.0 (2026-09-30)

Bug Fixes

• deps: shake v0.4.0 (#215) (f41f84c)

v1.10.0

1.10.0 (2026-09-30)

Features

• build, run and prove under bend 2.0.34; --help prints the usage page (#214) (c9c967e)

Performance Improvements

• lsp: semantic tokens up to 10x faster, symbols up to 2.8x on large files (#211) (85f175d)

v1.9.0

1.9.0 (2026-09-25)

Bug Fixes

• build and run under bend 2.0.28 (e1c8b27)

v1.8.0

1.8.0 (2026-09-25)

⚠ BREAKING CHANGES

• deps: shake 0.2.0's parse rules reach bolt's command line: bolt lint --version (a root flag after a subcommand) is an unknown argument, bolt help <word> for a word that names no subcommand is an error instead of the root page, and --version given twice is refused.

Bug Fixes

• deps: shake 0.2.0, ezjson 1.1.0 and snap 1.0.0 from the hub (#204) (19a7fbf)

Performance Improvements

• bolt lint 10x faster over its own tree (208 s to 20 s) (#201) (6b687b0)

v1.7.0

1.7.0 (2026-09-24)

Features

• noqa: # noqa: CODE silences a finding; rule noqa (S005) reports a noqa that silences nothing (BOLT-OUT-7, BOLT-RULE-S005) (#189) (814b518)
• noqa: # noqa: CODE silences a finding; rule noqa (S005) reports a noqa that silences nothing (BOLT-OUT-7, BOLT-RULE-S005) (814b518)

v1.6.2

1.6.2 (2026-09-24)

Bug Fixes

• pick,eager: advise match, not bolt's internal Lazy helpers (#187) (9f287bb)

v1.6.1

1.6.1 (2026-09-24)

Bug Fixes

• wrap: a comment has no width and a string's line break is not a header break; prove wrap inert (BOLT-RULE-INERT, BOLT-RULE-S003) (#184) (3136736)
• wrap: comments have no width and only a newline token breaks a header; prove wrap inert (BOLT-RULE-INERT) (3136736)

v1.6.0

1.6.0 (2026-09-24)

Features

• coverage: a def is covered when a law reaches it through calls (BOLT-LAW-1) (#175) (354bc01)
• coverage: count coverage by reach through calls (BOLT-LAW-1) (354bc01)

Bug Fixes

• arms: read kn+p as a from-k-up arm only for a binder; prove arms, unused and hoist inert (BOLT-RULE-INERT, partial) (#179) (829071b)

v1.5.0

1.5.0 (2026-09-24)

Features

• concat: see an append through parentheses and a let (BOLT-RULE-U004) (#168) (58278e1), closes #96

Bug Fixes

• check: place an imported file's error by the checked file's own names (BOLT-CHK-1) (#173) (d6c34f2)
• rules: a def with no type is a proof, exempt from the cost rules (#169) (57fe3a5)