Age | Commit message (Expand) | Author | Files | Lines |
2022-11-04 | r/5237 fix(tvix/eval): inline mis-named Local::above() | Adam Joseph | 1 | -6/+1 |
2022-10-27 | r/5214 refactor(tvix/eval): search-and-replace changes | Adam Joseph | 1 | -5/+5 |
2022-10-27 | r/5213 feat(tvix/eval): builtins.import without RefCell | Adam Joseph | 1 | -45/+51 |
2022-10-26 | r/5201 docs(tvix/eval): StackIdx, LocalIdx UpvalueIdx | Adam Joseph | 1 | -3/+1 |
2022-10-23 | r/5186 feat(tvix/eval): initial attempt at setting lambda names | Vincent Ambo | 2 | -2/+18 |
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/5180 refactor(tvix/eval): simplify self-reference check | Vincent Ambo | 1 | -1/+1 |
2022-10-21 | r/5172 fix(tvix): distinguish search- and relative path resolution errors | sterni | 1 | -2/+2 |
2022-10-19 | r/5159 feat(tvix/eval): deduplicate overlap between Closure and Thunk | Adam Joseph | 2 | -4/+36 |
2022-10-18 | r/5156 fix(tvix/eval): wrap dynamic resolution in an extra thunk | Vincent Ambo | 1 | -2/+9 |
2022-10-17 | r/5154 feat(tvix/eval): Validate closed formals | Griffin Smith | 1 | -7/+6 |
2022-10-17 | r/5153 feat(tvix/eval): Record formals on lambda | Griffin Smith | 1 | -11/+20 |
2022-10-16 | r/5150 refactor(tvix/eval): unify compile_lambda() with thunk() | Adam Joseph | 1 | -61/+59 |
2022-10-16 | r/5147 fix(tvix/eval): resolve home relative paths at runtime | sterni | 1 | -12/+8 |
2022-10-16 | r/5146 refactor(tvix/eval): make OpFindFile use internal UnresolvedPath | sterni | 1 | -1/+1 |
2022-10-13 | r/5121 fix(tvix/eval): fix Compiler::new on wasm | Vincent Ambo | 1 | -1/+3 |
2022-10-13 | r/5120 fix(tvix/eval): src/compiler: ensure root_dir is absolute | Adam Joseph | 1 | -8/+16 |
2022-10-13 | r/5119 refactor(tvix/eval): factor out all calls to canon_path | Adam Joseph | 1 | -2/+1 |
2022-10-10 | r/5097 fix(tvix/eval): Actually trace spans for thunks | Griffin Smith | 1 | -1/+1 |
2022-10-10 | r/5090 fix(tvix/eval): Thunk `if` expr | Griffin Smith | 1 | -1/+3 |
2022-10-10 | r/5087 feat(tvix/eval): Initial resolution of `<...>` paths | Griffin Smith | 1 | -6/+17 |
2022-10-10 | r/5082 refactor(tvix/eval): Compile OpAssert using conditional jumps | Griffin Smith | 1 | -4/+22 |
2022-10-08 | r/5069 fix(tvix/eval): end scope after compiling legacy let bindings | Vincent Ambo | 1 | -0/+5 |
2022-10-08 | r/5057 refactor(tvix/eval): move `spans` module to crate root | Vincent Ambo | 2 | -86/+7 |
2022-10-07 | r/5048 feat(tvix/eval): insert `import` into the builtins itself | Vincent Ambo | 1 | -5/+9 |
2022-10-04 | r/5034 refactor(tvix/eval): remove unnecessary clones in compiler | Vincent Ambo | 2 | -148/+144 |
2022-10-04 | r/5033 refactor(tvix/eval): split observer traits in two | Vincent Ambo | 1 | -4/+4 |
2022-09-30 | r/5004 chore(tvix/eval): remove unused field in TrackedBindings | Vincent Ambo | 1 | -7/+3 |
2022-09-30 | r/5002 feat(tvix/eval): implement nested keys | Vincent Ambo | 1 | -29/+60 |
2022-09-30 | r/5001 refactor(tvix/eval): split out AttributeSet::from_ast helper | Vincent Ambo | 1 | -26/+31 |
2022-09-30 | r/5000 chore(tvix/eval): remove `nesting_level` tracking | Vincent Ambo | 1 | -25/+2 |
2022-09-29 | r/4999 refactor(tvix/eval): clean up representation flip in bindings | Vincent Ambo | 1 | -37/+32 |
2022-09-29 | r/4998 feat(tvix/eval): (partially) track nesting level of attrsets | Vincent Ambo | 1 | -29/+82 |
2022-09-29 | r/4997 feat(tvix/eval): merge attribute sets in bindings | Vincent Ambo | 1 | -13/+110 |
2022-09-29 | r/4996 feat(tvix/eval): add error kind for unmergeable nested attributes | Vincent Ambo | 1 | -1/+4 |
2022-09-29 | r/4995 feat(tvix/eval): add scaffolding for merging nested attribute sets | Vincent Ambo | 1 | -25/+101 |
2022-09-29 | r/4994 refactor(tvix/eval): emit OpAttrs inside of compile_bindings | Vincent Ambo | 2 | -6/+6 |
2022-09-29 | r/4993 refactor(tvix/eval): introduce `TrackedBindings` struct | Vincent Ambo | 1 | -11/+34 |
2022-09-29 | r/4992 refactor(tvix/eval): compile_recursive_scope -> compile_bindings | Vincent Ambo | 1 | -4/+4 |
2022-09-29 | r/4991 chore(tvix/eval): fix all current clippy lints | Vincent Ambo | 1 | -2/+2 |
2022-09-29 | r/4989 refactor(tvix/eval): merge all bindings creation logic | Vincent Ambo | 2 | -136/+6 |
2022-09-29 | r/4988 feat(tvix/eval): implement dynamic keys in recursive attrs | Vincent Ambo | 1 | -29/+33 |
2022-09-29 | r/4986 feat(tvix/eval): add KeySlot::Dynamic variant for dynamic keys | Vincent Ambo | 1 | -14/+29 |
2022-09-29 | r/4985 refactor(tvix/eval): clean up unused attrpath normalisation logic | Vincent Ambo | 1 | -52/+36 |
2022-09-29 | r/4984 chore(tvix/eval): reflow comments in compiler::bindings | Vincent Ambo | 1 | -101/+88 |
2022-09-29 | r/4983 refactor(tvix/eval): merge inherits logic between all binding kinds | Vincent Ambo | 1 | -80/+8 |
2022-09-29 | r/4982 refactor(tvix/eval): Factor out `declare_bindings` helper | Vincent Ambo | 1 | -41/+63 |
2022-09-28 | r/4979 refactor(tvix/eval): Factor out `bind_values` helper | Vincent Ambo | 1 | -47/+55 |