git.iko.soy
/
jibb
readme
files
commits
refs
on
d43c99b
help
sign in
d43c99b
Move the importer-only fixtures to a jibb-fixtures desk
Claude
1 day ago
8125287
Read my-app's sources on the test desk instead of copies
Claude
1 day ago
933bc83
Move the importer's test fixtures into its test suite
Claude
1 day ago
32f4b78
Check spans and the Hoon references with test arms
Claude
1 day ago
d74b5e2
Run the test suites' arms under eval with one runner
Claude
1 day ago
ec7c6d4
Cover forward dependency resolution
iko
1 day ago
ba67080
Stop committing the generated golden test file
Claude
1 day ago
93d6b23
Recover every direct initializer by one path
Claude
1 day ago
839f6b0
Resolve top-level definitions dependencies first
Claude
1 day ago
96d1784
Stop the printer's 26-variable cap from gating what checks
Claude
1 day ago
c0a0b85
Take fresh IDs from one pass instead of a budgeted scan
Claude
1 day ago
38c711c
Unify branch result joining
iko
1 day ago
84b8527
Run the eval checks in CI
Claude
1 day ago
7bc7d54
Let the repository spec win, and keep settled questions in Decisions
Claude
1 day ago
116178b
License Jibb under MIT
Claude
1 day ago
cdf53c8
Add tools/hoon --no-debug, for timings
Claude
1 day ago
ce69a3b
Keep the reasons full module checks already find
Claude
1 day ago
f0411ad
Report a local definition's own definite error
Claude
1 day ago
2b9666c
Pass projected pairs to the overlap witness and state its order
Claude
1 day ago
447a592
Report projected union overlaps from the full module check
Claude
1 day ago
a211c34
Fix checker regressions from the repository review
iko
1 day ago
f1bf92c
Add a review of Jibb's syntax
Claude
1 day ago
f583172
Add a flake that builds the desks and runs every check
Claude
1 day ago
0a86d7c
Add tools/check, one runner for every check
Claude
1 day ago
537afda
Run the Clay fixtures self-test's fake ship with this Python
Claude
1 day ago
f43d2ee
open-questions: question 25 is settled by @iko's eq work
Claude
1 day ago
a3ea2cc
selftest: expect tools/golden to split a dying batch in halves
Claude
1 day ago
bf65f8f
Record the answers to review questions 24 to 45; list the spec rulings for @iko
Claude
1 day ago
673eb51
Record the answers to review questions 1 to 23
Claude
1 day ago
452f64c
tools/golden: split a dying batch in halves; prepare the prelude under mule
Claude
1 day ago
941c486
tools/ship: find the ship by its binary; read empty .txt files
Claude
1 day ago
68d9b76
Lexer: report a cut-off escape as one, and test the character rules
Claude
1 day ago
0858191
Infer gate-free equality constraints
iko
1 day ago
4f4978f
Note the commits that landed during the review
Claude
1 day ago
9440a2d
Lay out the review questions' options as lists
Claude
1 day ago
e146134
List the decisions the repository review raises
Claude
1 day ago
c7cd17d
Add a review of the whole repository
Claude
1 day ago
5ccd150
Add the hunt prelude gate
iko
1 day ago
0e8ecb4
Check the remaining doc fragments
iko
1 day ago
fb6373f
Restore raw-poke command helpers
iko
1 day ago
2d74861
Report unresolved tags at their source
iko
1 day ago
4bf477e
Check the unchanged cart store and basket
iko
2 days ago
0517053
Add the theme mold and explicit unit syntax
iko
2 days ago
1e17d5f
Check static and direct data-page mains
iko
2 days ago
46748b0
Check the unchanged todo island
iko
2 days ago
a163965
Recover direct program update context
iko
2 days ago
2e4d582
Add source-backed UI and program prelude
iko
3 days ago
642d2c0
Prove direct request watchability for programs
iko
3 days ago
26bf7a7
Recover direct program initializer context
iko
3 days ago
b4703e7
Check closed subscription-free program mains
iko
3 days ago
older commits
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list