boltlang / Bolt
91%

DEFAULT BRANCH: main
Repo Added
Files 86
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: main
CHANGE BRANCH
x

coverage: 90.903%. Remained the same
41070521226

push

github

samvv 
Remove the placeholder package

It lives outside of the repository.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

14780 of 16259 relevant lines covered (90.9%)

26632.71 hits per line

Relevant lines Covered
16259 RELEVANT LINES 14780 COVERED LINES
26632.71 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
41070521226 main Remove the placeholder package It lives outside of the repository. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> push samvv github
90.9
41070162852 main Do less work for each file's scope and each name in an impl - file_scope copied a file's whole scope, with the prelude, for its imports of variants, even when it had none. - package_of found the real path of a file through the file system for ... push samvv github
90.9
41067162959 main Fix the smaller findings of the review of boltlang-hir-ty - `impl_assoc_ty` is a query, since solving any projection through an impl asks for it, and it now substitutes the class's defaults. - `unmet_assoc_equalities` and `unmet_assoc_bounds` a... push samvv github
90.87
41066895486 main Report defaults of associated types that refer to each other (#299) * Test that defaults of associated types that refer to each other don't loop The checker turns them into the error type for now, without a diagnostic (#298). Co-Authored-By: Cl... push web-flow github
90.87
41063899714 main Remove the unused line index of boltlang-base-db Nothing has used it since the language server got its own, which counts UTF-8 or UTF-16 code units as the protocol needs; this one counted code points. Closes #297. Co-Authored-By: Claude Opus 5.5... push samvv github
90.85
41057380767 main Add a test that an associated type's default must meet its bound The checker doesn't check it yet, so the case is a todo (#294). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> push samvv github
88.27
41055703471 main Reduce two run tests to the feature they test An associated type reads a field rather than an array, and a type with its own iterator counts down with a field and folds the items into one number rather than writing them to an array. Co-Authored-... push samvv github
88.27
41054129880 main Prove in Lean that every block of a program can freeze in place A running program keeps an order (`Expr.Run`, in the new Scope.lean): freezes are only where it's running, each of a region a block made, and what's beside one has only locations old... push samvv github
88.27
41053156475 main Revise security policy for supported versions and reporting Updated the security policy to clarify supported versions and reporting process. push web-flow github
88.27
41037841791 main Update site push samvv github
88.27
See All Builds (17)