Age | Commit message (Expand) | Author | Files | Lines |
2023-01-21 | r/5721 refactor(tvix/eval): administer antidote for poison | Adam Joseph | 1 | -42/+4 |
2023-01-06 | r/5598 fix(tvix/eval): don't increase `with_stack_size` in scope inherits | Vincent Ambo | 1 | -1/+1 |
2022-12-21 | r/5454 refactor(tvix/eval): add name-based index over compiler's locals | Vincent Ambo | 1 | -28/+101 |
2022-11-05 | r/5251 fix(tvix/eval): Scope.inherit(): fix scope_depth, with_stack_depth | Adam Joseph | 1 | -0/+2 |
2022-11-04 | r/5237 fix(tvix/eval): inline mis-named Local::above() | Adam Joseph | 1 | -6/+1 |
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 | 1 | -0/+10 |
2022-10-19 | r/5159 feat(tvix/eval): deduplicate overlap between Closure and Thunk | Adam Joseph | 1 | -0/+11 |
2022-09-22 | r/4958 fix(tvix/eval): support string identifiers in inherits | Vincent Ambo | 1 | -1/+1 |
2022-09-13 | r/4841 chore(tvix/eval): do not inherit scope depth in new scopes | Vincent Ambo | 1 | -1/+0 |
2022-09-13 | r/4840 refactor(tvix/eval): encapsulate scope_depth in compiler::scope | Vincent Ambo | 1 | -1/+12 |
2022-09-11 | r/4813 fix(tvix/eval): reduce scope depth in scope module | Vincent Ambo | 1 | -0/+2 |
2022-09-11 | r/4801 refactor(tvix/eval): capture entire with_stack in upvalues | Vincent Ambo | 1 | -13/+0 |
2022-09-11 | r/4795 refactor(tvix/eval): add `initialised` arg to declare_phantom | Vincent Ambo | 1 | -3/+3 |
2022-09-11 | r/4794 refactor(tvix/eval): encapsulate scope cleanup logic in module | Vincent Ambo | 1 | -4/+45 |
2022-09-10 | r/4786 fix(tvix/eval): fix doc comment syntax where applicable | Vincent Ambo | 1 | -17/+17 |
2022-09-09 | r/4781 chore(tvix/eval): clean up a stale comment | Vincent Ambo | 1 | -4/+0 |
2022-09-08 | r/4763 fix(tvix/eval): address current clippy & grfn lints | Vincent Ambo | 1 | -4/+5 |
2022-09-08 | r/4757 fix(tvix/eval): ensure that root stack slot actually exists | Vincent Ambo | 1 | -4/+0 |
2022-09-08 | r/4755 fix(tvix/eval): propagate scope depth when nesting scopes | Vincent Ambo | 1 | -0/+1 |
2022-09-08 | r/4754 refactor(tvix/eval): refactor locals to use an enum for phantoms | Vincent Ambo | 1 | -14/+36 |
2022-09-08 | r/4753 refactor(tvix/eval): always pass slot to compiler methods | Vincent Ambo | 1 | -0/+4 |
2022-09-08 | r/4743 fix(tvix/eval): inherit scope poisoning data in nested contexts | Vincent Ambo | 1 | -0/+9 |
2022-09-07 | r/4737 refactor(tvix/eval): store spans instead of nodes in Warning/Error | Vincent Ambo | 1 | -6/+6 |
2022-09-07 | r/4733 feat(tvix/eval): track source spans for upvalues | Vincent Ambo | 1 | -0/+1 |
2022-09-07 | r/4732 refactor(tvix/eval): split out Upvalue struct & UpvalueKind enum | Vincent Ambo | 1 | -1/+6 |
2022-09-07 | r/4706 fix(tvix/eval): address current clippy lints | Vincent Ambo | 1 | -2/+2 |
2022-09-07 | r/4695 chore(tvix/eval): implement Debug for compiler::scope::Scope | Vincent Ambo | 1 | -1/+2 |
2022-09-06 | r/4670 fix(tvix/eval): distinguish statically between StackIdx and LocalIdx | Vincent Ambo | 1 | -21/+79 |
2022-09-06 | r/4668 feat(tvix/eval): track whether locals needs to be finalised | Vincent Ambo | 1 | -0/+4 |
2022-09-06 | r/4661 refactor(tvix/eval): decouple local depth & initialisation tracking | Vincent Ambo | 1 | -40/+22 |
2022-09-06 | r/4657 refactor(tvix/eval): thread dynamic upvalues through all contexts | Vincent Ambo | 1 | -2/+9 |
2022-09-04 | r/4643 refactor(tvix/eval): track with stack size as a simple integer | Vincent Ambo | 1 | -7/+18 |
2022-09-04 | r/4642 refactor(tvix/eval): move compiler's scope logic to separate module | Vincent Ambo | 1 | -0/+189 |