git.iko.soy/jibb
on 38c711c help sign in
jibb/tools
1 folder, 61 files
../ testdata/Add tools/hoon --no-debug, for timings checkAdd tools/check, one runner for every check clay-fixturesImport named ordered maps and infer predicate branches doc-blocksAdd tools/doc-blocks, which checks the doc's examples goldentools/golden: split a dying batch in halves; prepare the prelude under mule golden_case.pyInfer supported library import graphs hoonAdd tools/hoon --no-debug, for timings importer-testParse type holes and reject duplicate record fields noun.pyLay the foundation for milestone 1: parser design, tooling, desks, corpus shipAdd a flake that builds the desks and runs every check type-api-evidence-testRetain source-backed API path evidence type-api-paths-testAnalyze API paths and import Ford union marks type-arithmetic-guards-testInfer source-backed arithmetic without loobeans type-ask-guards-testAdd source-backed transparent requests type-buttons-testReport unresolved tags at their source type-cell-branch-testCheck empty molds and contextual cell branches type-closed-gate-guards-testInfer the todo API request interfaces type-constructor-fit-guards-testCompare constructor heads by noun value type-deferred-context-testReport alias overlaps and retain deferred branch context type-deferred-prepared-testRecover prepared tuple initializers in reports type-deferred-resolver-testKeep deferred call fits stable across substitutions type-deferred-testResolve bounded deferred constructor constraints type-direct-gate-testInfer direct higher-order gates from source type-doc-examples-testCheck the remaining doc fragments type-empty-testCheck empty molds and contextual cell branches type-full-overlap-testPass projected pairs to the overlap witness and state its order type-gate-free-guards-testAnalyze gate-free source molds type-gate-free-source-testAnalyze gate-free source molds type-generic-alias-testPreserve public generic union alias names type-generic-construction-testCheck source-proven recursive tree construction type-generic-pattern-testResolve bounded deferred constructor constraints type-generic-recursion-testCheck source-proven recursive tree patterns type-hole-guards-testInfer supported annotation holes and prelude list aliases type-import-default-testRecognize default-wrapped imported unions type-import-diagnostic-testReport nested imported mold errors type-import-overlap-testDiagnose source-proven Hoon union overlaps type-import-structural-testProve structural Hoon union overlaps type-import-testExtend partial type inference and Hoon imports type-list-alias-testInfer supported annotation holes and prelude list aliases type-mark-testImport mark samples and strengthen partial inference type-module-scope-testExpose transparent poke from internal prelude type-nested-union-guards-testInfer nested tagged-union payloads from context type-page-main-testCheck static and direct data-page mains type-poke-testExpose transparent poke from internal prelude type-positional-face-guards-testAdd source-backed like result mapping type-program-init-testRecover direct program initializer context type-program-main-testCheck closed subscription-free program mains type-program-update-testRecover direct program update context type-program-watch-testProve direct request watchability for programs type-proj-guards-testCheck explicit record projections type-qath-guards-testAdd source-defined qath inference and explicit proj decision type-request-guards-testInfer a source-backed API request gate type-store-testCheck the unchanged cart store and basket type-sub-guards-testCompare constructor heads by noun value type-theme-testAdd the theme mold and explicit unit syntax type-tlon-testContextualize union branches and report nested tags type-todo-api-testInfer the todo API request interfaces type-todo-full-testFix checker regressions from the repository review type-todo-partial-testAdd source-backed list length and todo regression type-union-alias-overlap-testReport alias overlaps and retain deferred branch context type-union-source-testProve source-backed generic union case tags urbit_eval.pyAdd tools/hoon --no-debug, for timings