Age | Commit message (Expand) | Author | Files | Lines |
2022-10-25 | r/5197 feat(wpcarro/compiler): Support Vector type | William Carroll | 5 | -95/+192 |
2022-10-25 | r/5196 feat(wpcarro/compiler): Support string literal type | William Carroll | 3 | -5/+34 |
2022-10-25 | r/5195 refactor(wpcarro/compiler): Modularize debug fns | William Carroll | 7 | -85/+91 |
2022-10-24 | r/5194 feat(wpcarro/scratch): Implement "Algorithm W" | William Carroll | 7 | -1/+658 |
2022-10-24 | r/5193 refactor(tvix/eval): Implement value comparison with a method | Griffin Smith | 3 | -26/+47 |
2022-10-24 | r/5192 feat(tvix/eval): Implement builtins.mapAttrs | Griffin Smith | 4 | -0/+23 |
2022-10-24 | r/5191 feat(tvix/eval): add builtins.langVersion | Vincent Ambo | 1 | -0/+2 |
2022-10-24 | r/5190 feat(tvix/eval): implement builtins.currentSystem | Adam Joseph | 6 | -0/+360 |
2022-10-24 | r/5189 feat(nix/eval): Implement builtins.groupBy | Griffin Smith | 3 | -0/+34 |
2022-10-23 | r/5188 refactor(sterni/nix/fun): key can also be an int | sterni | 1 | -8/+6 |
2022-10-23 | r/5187 fix(tvix/eval): Use natural arg order for call_with | Griffin Smith | 2 | -2/+3 |
2022-10-23 | r/5186 feat(tvix/eval): initial attempt at setting lambda names | Vincent Ambo | 4 | -15/+39 |
2022-10-23 | r/5185 test(tvix/eval): add a test case for nested sibling access | Vincent Ambo | 2 | -0/+8 |
2022-10-23 | r/5184 fix(tvix/eval): thunk let-expression | Vincent Ambo | 1 | -1/+5 |
2022-10-23 | r/5183 fix(tvix/eval): fix condition for useless inherit warning | Vincent Ambo | 1 | -2/+2 |
2022-10-23 | r/5182 refactor(tvix/eval): simplify check for deferring upvalue resolution | Vincent Ambo | 1 | -9/+4 |
2022-10-23 | r/5181 feat(tvix/eval): add mechanism for placeholder builtins | Vincent Ambo | 1 | -0/+19 |
2022-10-23 | r/5180 refactor(tvix/eval): simplify self-reference check | Vincent Ambo | 1 | -1/+1 |
2022-10-23 | r/5179 chore(tvix/eval): return detailed TvixBug if an upvalue is missing | Vincent Ambo | 1 | -1/+17 |
2022-10-23 | r/5178 fix(tvix/eval): detect cycles when printing infinite values | Vincent Ambo | 4 | -24/+45 |
2022-10-22 | r/5177 feat(tvix/eval): add `TvixBug` error kind | Vincent Ambo | 1 | -1/+23 |
2022-10-22 | r/5176 test(tvix/eval): add a test for observing an infinite attribute set | Vincent Ambo | 2 | -0/+5 |
2022-10-22 | r/5175 feat(tvix/eval): Implement builtins.deepSeq | Griffin Smith | 10 | -62/+100 |
2022-10-22 | r/5174 fix(tvix/eval): use top-level span for `force_with_output` | Vincent Ambo | 3 | -6/+29 |
2022-10-21 | r/5173 chore(buf): Use nixpkgs-provided buf | Florian Klink | 5 | -37/+14 |
2022-10-21 | r/5172 fix(tvix): distinguish search- and relative path resolution errors | sterni | 4 | -11/+19 |
2022-10-20 | r/5171 refactor(nix/dependency-analyzer): use unsafeDiscardOutputDependency | sterni | 1 | -18/+2 |
2022-10-20 | r/5170 test(tvix/verify-lang-tests): also check notyetpassing tests | sterni | 1 | -12/+12 |
2022-10-20 | r/5169 fix(nix/buildkite) don't fail if gated step has no branches | Evgeny Zemtsov | 1 | -1/+1 |
2022-10-20 | r/5168 fix(tvix/eval): restore .exp.xml files and skip in test suite | sterni | 3 | -0/+7 |
2022-10-20 | r/5167 fix(tvix/eval): fix path in notyetpassing tests | sterni | 4 | -4/+4 |
2022-10-20 | r/5166 test(tvix/eval): eval-okay-eq.nix can actually be tested | sterni | 3 | -1/+1 |
2022-10-20 | r/5165 fix(tvix/eval): eval-okay-pathexists test can be executed | sterni | 2 | -0/+0 |
2022-10-20 | r/5164 test(tvix/eval): update C++ Nix test suite to current master | sterni | 23 | -32/+94 |
2022-10-20 | r/5163 test(tvix/eval): enable nix_tests by default | sterni | 1 | -1/+1 |
2022-10-20 | r/5162 test(tvix): nix-planned test verification using C++ Nix 2.3 and 2.11 | sterni | 3 | -120/+185 |
2022-10-19 | r/5161 feat(tvix/eval): expect not-yet-passing tests to fail | Adam Joseph | 74 | -14/+49 |
2022-10-19 | r/5160 docs(REVIEWS.md): gerrit-for-github guide, warn about attention sets | Adam Joseph | 1 | -0/+37 |
2022-10-19 | r/5159 feat(tvix/eval): deduplicate overlap between Closure and Thunk | Adam Joseph | 9 | -149/+203 |
2022-10-19 | r/5158 feat(tvix/eval): NixList::concat(): avoid an unnecessary move | Adam Joseph | 1 | -4/+3 |
2022-10-18 | r/5157 docs(tvix/eval): upvalues.rs: define "upvalue", comment with_stack | Adam Joseph | 1 | -9/+30 |
2022-10-18 | r/5156 fix(tvix/eval): wrap dynamic resolution in an extra thunk | Vincent Ambo | 4 | -3/+16 |
2022-10-17 | r/5155 feat(nix/eval): Implement builtins.functionArgs | Griffin Smith | 4 | -0/+100 |
2022-10-17 | r/5154 feat(tvix/eval): Validate closed formals | Griffin Smith | 7 | -13/+133 |
2022-10-17 | r/5153 feat(tvix/eval): Record formals on lambda | Griffin Smith | 4 | -13/+42 |
2022-10-17 | r/5152 feat(tvix/eval): Implement builtins.seq | Griffin Smith | 4 | -0/+8 |
2022-10-17 | r/5151 docs(tvix/eval) comments for various fields | Adam Joseph | 3 | -5/+27 |
2022-10-16 | r/5150 refactor(tvix/eval): unify compile_lambda() with thunk() | Adam Joseph | 1 | -61/+59 |
2022-10-16 | r/5149 fix(tvix/eval): more faithfully serialise ast::Literal | Vincent Ambo | 1 | -10/+9 |
2022-10-16 | r/5148 feat(tvix/eval): implement builtins.partition | James Landrein | 3 | -0/+39 |