git.iko.soy/jibb
on master help sign in
history of51ce4d9..master
compare
a163965Recover direct program update contextiko 2e4d582Add source-backed UI and program preludeiko 642d2c0Prove direct request watchability for programsiko 26bf7a7Recover direct program initializer contextiko b4703e7Check closed subscription-free program mainsiko aa277c9Recover prepared tuple initializers in reportsiko ab6fdc1Add source-backed text conversion wrappersiko b5cdc80Preserve full-module overlap source evidenceiko 2826c93Report alias overlaps and retain deferred branch contextiko b93a94bProve source-backed generic union case tagsiko 341bcb4Keep deferred call fits stable across substitutionsiko 22f3788Check empty molds and contextual cell branchesiko 72d85abResolve bounded deferred constructor constraintsiko 30b0a9eCheck source-proven recursive tree patternsiko d9d51e6Check source-proven recursive tree constructioniko 190a9d5Add source-backed list flatteningiko c96597dTrack source-proven generic recursive identitiesiko 142f2e2Prove structural Hoon union overlapsiko 179d717Diagnose source-proven Hoon union overlapsiko 09db390Skip unused capital-promotion scansiko 4da6891Add source-backed comparison gatesiko cc8e389Add source-backed list length and todo regressioniko 651b8ecInfer direct higher-order gates from sourceiko 706035cAnalyze gate-free source moldsiko 72acdb3Infer nested tagged-union payloads from contextiko 911ca0cCompare constructor heads by noun valueiko a1c5f35Infer the todo API request interfacesiko dde791cInfer a source-backed API request gateiko ae1ec26Recognize default-wrapped imported unionsiko 3f55af7Add source-backed transparent requestsiko f0f6954Analyze API supporting definitionsiko f69493dDerive API request componentsiko 445a0a1Retain source-backed API path evidenceiko 640a442Add source-backed like result mappingiko 81af5fdPreserve public generic union alias namesiko 1a891e2Infer source-backed arithmetic without loobeansiko cf17925Infer single-field record projectionsiko 75f5952Check explicit record projectionsiko 0ea700dAdd source-defined qath inference and explicit proj decisioniko ba1fec4Add source-backed bond prelude gateiko 80e221aInfer supported annotation holes and prelude list aliasesiko e3e184fParse type holes and reject duplicate record fieldsiko 4e472b5Pass known unions through polymorphic gatesiko 0bf6178Import recursive Tlon unions and prepare comparison interfaceiko c690076Import named ordered maps and infer predicate branchesiko 413b12bPropagate call context and batch ship deletionsiko ad0265eInfer command molds and single-case patternsiko ed9291eInfer term-headed pairs and import nested unionsiko fd2f288Infer nested fields of imported valuesiko e28f7beDiagnose value cycles and import null-tagged casesiko