Age | Commit message (Expand) | Author | Files | Lines |
2022-09-06 | r/4682 fix(tvix/eval): allocate Thunk::upvalues with known capacity | Vincent Ambo | 1 | -1/+1 |
2022-09-06 | r/4681 feat(tvix/eval): implement OpThunk for runtime thunk construction | Vincent Ambo | 1 | -2/+17 |
2022-09-06 | r/4680 chore(3p/sources): Bump channels & overlays | sterni | 1 | -21/+21 |
2022-09-06 | r/4679 refactor(tvix/eval): extract VM::populate_upvalues function | Vincent Ambo | 1 | -30/+42 |
2022-09-06 | r/4678 refactor(tvix/eval): Carry lambda & upvalues directly in CallFrame | Vincent Ambo | 1 | -13/+25 |
2022-09-06 | r/4677 refactor(tvix/eval): introduce UpvalueCarrier trait | Vincent Ambo | 5 | -18/+81 |
2022-09-06 | r/4676 refactor(tvix/eval): simplify thunk representations | Vincent Ambo | 2 | -8/+8 |
2022-09-06 | r/4675 feat(tvix/eval): emit thunks for recursive local scope resolution | Vincent Ambo | 1 | -6/+13 |
2022-09-06 | r/4674 feat(tvix/eval): Add Compiler::thunk method for emitting thunks | Vincent Ambo | 3 | -1/+41 |
2022-09-06 | r/4673 feat(tvix/eval): introduce Value::Thunk variant | Vincent Ambo | 2 | -1/+61 |
2022-09-06 | r/4672 refactor(tvix/eval): extract compiler's upvalue logic into helper | Vincent Ambo | 1 | -14/+20 |
2022-09-06 | r/4671 test(tvix/eval): add a test case for nested, deferred upvalues | Vincent Ambo | 2 | -0/+7 |
2022-09-06 | r/4670 fix(tvix/eval): distinguish statically between StackIdx and LocalIdx | Vincent Ambo | 2 | -94/+115 |
2022-09-06 | r/4669 feat(tvix/eval): emit OpFinalise when local scopes are complete | Vincent Ambo | 3 | -0/+13 |
2022-09-06 | r/4668 feat(tvix/eval): track whether locals needs to be finalised | Vincent Ambo | 2 | -0/+12 |
2022-09-06 | r/4667 feat(tvix/eval): implement OpFinalise instruction | Vincent Ambo | 3 | -1/+28 |
2022-09-06 | r/4666 feat(tvix/eval): set up deferred upvalues at runtime | Vincent Ambo | 2 | -3/+7 |
2022-09-06 | r/4665 feat(tvix/eval): detect deferred upvalue capturing | Vincent Ambo | 3 | -3/+22 |
2022-09-06 | r/4664 chore(tvix/eval): thread current slot index through compiler | Vincent Ambo | 1 | -34/+34 |
2022-09-06 | r/4663 refactor(tvix/eval): optimise initialisation of locals | Vincent Ambo | 1 | -23/+19 |
2022-09-06 | r/4662 refactor(tvix/eval): declare all locals before compiling them | Vincent Ambo | 1 | -1/+12 |
2022-09-06 | r/4661 refactor(tvix/eval): decouple local depth & initialisation tracking | Vincent Ambo | 2 | -56/+33 |
2022-09-06 | r/4660 fix(tvix/eval): correct runtime error for missing dynamic upvalue | Vincent Ambo | 1 | -0/+6 |
2022-09-06 | r/4659 fix(tvix/eval): instantiate *new* closures from blueprints each time | Vincent Ambo | 6 | -17/+33 |
2022-09-06 | r/4658 fix(tvix/eval): correctly thread through dynamic upvalues | Vincent Ambo | 6 | -12/+112 |
2022-09-06 | r/4657 refactor(tvix/eval): thread dynamic upvalues through all contexts | Vincent Ambo | 2 | -9/+65 |
2022-09-06 | r/4656 feat(tvix/eval): allow ignoring locals by prefixing with _ | Vincent Ambo | 1 | -1/+2 |
2022-09-06 | r/4655 fix(tvix/eval): correctly resolve dynamic upvalues one scope up | Vincent Ambo | 5 | -6/+29 |
2022-09-06 | r/4654 fix(tvix/eval): account for stack offset when pushing a `with` scope | Vincent Ambo | 1 | -1/+4 |
2022-09-06 | r/4653 feat(tvix/eval): implement capture of self-recursive upvalues | Vincent Ambo | 4 | -7/+22 |
2022-09-06 | r/4652 docs(tvix/eval): start a document on known optimisation potential | Vincent Ambo | 1 | -0/+57 |
2022-09-06 | r/4651 refactor(tvix/eval): encapsulate internal mutability within Closure | Vincent Ambo | 3 | -25/+47 |
2022-09-05 | r/4650 fix(corp/tvixbolt): make label really clickable | Profpatsch | 1 | -1/+1 |
2022-09-05 | r/4649 fix(corp/tvixbolt): move output above bytecode section | Vincent Ambo | 1 | -1/+1 |
2022-09-04 | r/4648 docs(tvix/eval): pad pure column so it can fit "false" | sterni | 1 | -107/+107 |
2022-09-04 | r/4647 docs(tvix/eval): add a list of builtins added in Nix >= 2.4 | sterni | 1 | -0/+11 |
2022-09-04 | r/4646 fix(tvix/eval): don't rebuild drv upon changes in cargo target dir | sterni | 1 | -1/+4 |
2022-09-04 | r/4645 feat(corp/tvixbolt): implement optional runtime tracing | Vincent Ambo | 1 | -6/+28 |
2022-09-04 | r/4644 feat(corp/tvixbolt): add some additional information on the page | Vincent Ambo | 2 | -7/+83 |
2022-09-04 | r/4643 refactor(tvix/eval): track with stack size as a simple integer | Vincent Ambo | 2 | -13/+24 |
2022-09-04 | r/4642 refactor(tvix/eval): move compiler's scope logic to separate module | Vincent Ambo | 2 | -172/+196 |
2022-09-04 | r/4641 fix(tvix/eval): declare locals before marking them initialised | Vincent Ambo | 1 | -1/+1 |
2022-09-04 | r/4640 fix(tvix/eval): Account for uninitialised variables in with_idx | Vincent Ambo | 1 | -1/+11 |
2022-09-04 | r/4639 fix(tvix/eval): open/close additional scope around `with` | Vincent Ambo | 1 | -0/+2 |
2022-09-04 | r/4638 refactor(tvix/eval): extend resolve_local logic for self-recursion | Vincent Ambo | 1 | -22/+89 |
2022-09-04 | r/4637 feat(tvix/eval): detect illegally shadowed variables | Vincent Ambo | 2 | -0/+34 |
2022-09-04 | r/4636 refactor(tvix/eval): introduce Depth enum to track variable status | Vincent Ambo | 1 | -4/+26 |
2022-09-04 | r/4635 feat(tvix/eval): implement upvalue resolution in `with` scopes | Vincent Ambo | 7 | -2/+47 |
2022-09-04 | r/4634 fix(tvix/eval): ensure OpResolveWith can be traced | Vincent Ambo | 1 | -16/+16 |
2022-09-04 | r/4633 fix(tvix/eval): pop with stack immediately after processing body | Vincent Ambo | 1 | -13/+5 |