Age | Commit message (Expand) | Author | Files | Lines |
2024-02-29 | r/7625 feat(tvix/eval): implement `builtins.hashFile` | Padraic-O-Mhuiris | 3 | -23/+40 |
2024-02-23 | r/7597 feat(tvix/eval): implement `builtins.hashString` | Padraic-O-Mhuiris | 1 | -9/+23 |
2024-02-20 | r/7580 fix(tvix/eval): Propagate catchables in builtins.groupBy | Aspen Smith | 1 | -4/+6 |
2024-02-13 | r/7508 feat(tvix/eval): Box Value::Catchable | Aspen Smith | 2 | -12/+12 |
2024-02-13 | r/7507 revert(tvix/eval): Don't double-box Path values | Aspen Smith | 1 | -4/+4 |
2024-02-13 | r/7506 fix(tvix/eval): Replace inner NixString repr with Box<Bstr> | Aspen Smith | 1 | -25/+21 |
2024-02-10 | r/7497 refactor(tvix/eval): Box the strings in CatchableErrorKind | Aspen Smith | 1 | -6/+4 |
2024-02-08 | r/7488 fix(tvix/eval): Inline List.sort_by, and propagate errors | Aspen Smith | 1 | -3/+45 |
2024-02-08 | r/7487 fix(tvix): Catch errors for generator in some builtins | Aspen Smith | 1 | -2/+3 |
2024-02-08 | r/7483 fix(tvix/eval): Propagate catchables in a few more places | Aspen Smith | 1 | -9/+10 |
2024-02-08 | r/7482 refactor(tvix/eval): Generalize propagation of catchable values | Aspen Smith | 1 | -177/+13 |
2024-02-02 | r/7467 refactor(tvix/eval): Box Value::String | Aspen Smith | 2 | -22/+18 |
2024-02-01 | r/7461 refactor(tvix/eval): Don't double-box Path values | Aspen Smith | 1 | -4/+4 |
2024-01-31 | r/7460 fix(tvix): Represent strings as byte arrays | Aspen Smith | 4 | -66/+97 |
2024-01-25 | r/7448 feat(tvix/eval): track pattern binding names | Florian Klink | 1 | -2/+9 |
2024-01-24 | r/7446 feat(tvix/eval): expose value_to_xml for test cases | Florian Klink | 2 | -1/+4 |
2024-01-17 | r/7406 fix(tvix/eval): catchable-aware `throw` | Ryan Lahfa | 1 | -0/+4 |
2024-01-17 | r/7405 fix(tvix/eval): catchable-aware `elem` | Ryan Lahfa | 1 | -0/+4 |
2024-01-17 | r/7403 fix(tvix/eval): `getContext` merges underlying values | Ryan Lahfa | 1 | -17/+65 |
2024-01-17 | r/7400 fix(tvix/eval): context-aware `dirOf` | Ryan Lahfa | 1 | -1/+1 |
2024-01-17 | r/7399 fix(tvix/eval): context-aware… `hasContext` | Ryan Lahfa | 1 | -1/+1 |
2024-01-14 | r/7379 fix(tvix/eval): catchable-aware builtins | Ryan Lahfa | 1 | -0/+235 |
2024-01-03 | r/7340 feat(tvix/eval): context-aware `split` | Ryan Lahfa | 1 | -5/+14 |
2024-01-03 | r/7339 feat(tvix/eval): impl `unsafeDiscardStringContext` | Ryan Lahfa | 1 | -4/+19 |
2024-01-03 | r/7332 feat(tvix/eval): `match` DO NOT propagate context | Ryan Lahfa | 1 | -6/+13 |
2024-01-03 | r/7331 feat(tvix/eval): implement `getContext` primop | Ryan Lahfa | 1 | -0/+43 |
2024-01-03 | r/7330 feat(tvix/eval): context-aware `replaceStrings` | Ryan Lahfa | 1 | -6/+23 |
2024-01-03 | r/7329 chore(tvix/eval): note on context-aware `hashString` | Ryan Lahfa | 1 | -0/+1 |
2024-01-03 | r/7327 feat(tvix/eval): context-aware `concatStringsSep` | Ryan Lahfa | 1 | -3/+19 |
2024-01-03 | r/7326 chore(tvix/eval): note on context-aware `toString` | Ryan Lahfa | 1 | -0/+2 |
2024-01-03 | r/7325 feat(tvix/eval): context-aware `throw` | Ryan Lahfa | 1 | -1/+2 |
2024-01-03 | r/7324 feat(tvix/eval): context-aware `substring` | Ryan Lahfa | 1 | -3/+6 |
2024-01-03 | r/7323 feat(tvix/eval): context-aware `abort` | Ryan Lahfa | 1 | -1/+5 |
2024-01-03 | r/7320 feat(tvix/eval): context-aware `dirOf` | Ryan Lahfa | 1 | -1/+3 |
2024-01-03 | r/7319 feat(tvix/eval): context-aware `baseNameOf` | Ryan Lahfa | 1 | -2/+5 |
2023-12-29 | r/7281 feat(tvix/eval): implement `hasContext` primop | Ryan Lahfa | 1 | -4/+3 |
2023-12-29 | r/7277 fix(tvix/eval): propagate catchables through builtins.attrNames | Adam Joseph | 1 | -0/+3 |
2023-12-29 | r/7276 fix(tvix/eval): propagate catchables through builtins.intersectAttrs | Adam Joseph | 1 | -0/+6 |
2023-12-29 | r/7274 fix(tvix/eval): catchable in type field of nix_eq() | Adam Joseph | 1 | -4/+11 |
2023-12-29 | r/7273 fix(tvix/eval): builtins.match: propagate catchables | Adam Joseph | 1 | -2/+10 |
2023-12-14 | r/7218 fix(tvix/eval): remove incorrect imports when coercing | sterni | 1 | -14/+79 |
2023-12-12 | r/7205 fix(tvix/eval): substring: propagate catchables | Adam Joseph | 1 | -4/+5 |
2023-12-12 | r/7204 fix(tvix/eval): baseNameOf: propagate catchables | Adam Joseph | 1 | -0/+1 |
2023-12-12 | r/7203 fix(tvix/eval): builtins.length: propagate catchables | Adam Joseph | 1 | -0/+3 |
2023-12-12 | r/7201 fix(tvix/eval): builtins.filter: propagate catchables | Adam Joseph | 1 | -2/+5 |
2023-12-12 | r/7200 feat(tvix/eval): builtins.hashString: add placeholder | Adam Joseph | 1 | -0/+12 |
2023-12-12 | r/7199 fix(tvix/eval): builtins.getAttr: propagate catchables | Adam Joseph | 1 | -0/+6 |
2023-12-12 | r/7198 fix(tvix/eval): builtins.elemAt: propagate catchables | Adam Joseph | 1 | -0/+6 |
2023-12-12 | r/7196 fix(tvix/eval): propagate catchables through builtins.splitVersion | Adam Joseph | 1 | -0/+3 |
2023-12-12 | r/7195 feat(tvix/eval): builtins.hasContext: placeholder implementation | Adam Joseph | 1 | -0/+8 |