Age | Commit message (Expand) | Author | Files | Lines |
2022-09-11 | r/4809 fix(tvix/eval): place plain inherits in correct stack slots | sterni | 3 | -27/+62 |
2022-09-11 | r/4808 test(tvix/eval): add test for mutually recursive let bindings | sterni | 2 | -0/+15 |
2022-09-11 | r/4807 fix(tvix/eval): wrap asserts in a thunk | sterni | 3 | -1/+12 |
2022-09-11 | r/4806 test(tvix/eval): test “useful” plain inherits | sterni | 2 | -0/+10 |
2022-09-11 | r/4805 fix(tvix/eval): declare let inherit (from) locals before compiling | sterni | 5 | -49/+69 |
2022-09-11 | r/4804 docs(tvix/eval): add some notes on recursive attribute sets | Vincent Ambo | 1 | -0/+60 |
2022-09-11 | r/4803 docs(tvix/eval): add optimisation note on eliminating `with` thunks | Vincent Ambo | 1 | -6/+9 |
2022-09-11 | r/4802 fix(tvix/eval): thunk all uses of `with` | Vincent Ambo | 5 | -1/+22 |
2022-09-11 | r/4801 refactor(tvix/eval): capture entire with_stack in upvalues | Vincent Ambo | 5 | -149/+123 |
2022-09-11 | r/4800 refactor(tvix/eval): introduce Upvalues struct in closures & thunks | Vincent Ambo | 4 | -30/+65 |
2022-09-11 | r/4799 fix(tvix/eval): use correct lambda address in observer | Vincent Ambo | 1 | -1/+1 |
2022-09-11 | r/4798 fix(tvix/eval): correctly account for slots during list construction | Vincent Ambo | 3 | -1/+32 |
2022-09-11 | r/4797 refactor(tvix/eval): cut down one iteration over locals array | Vincent Ambo | 1 | -1/+2 |
2022-09-11 | r/4796 fix(tvix/eval): account for attrset temporaries during construction | Vincent Ambo | 5 | -2/+68 |
2022-09-11 | r/4795 refactor(tvix/eval): add `initialised` arg to declare_phantom | Vincent Ambo | 2 | -9/+8 |
2022-09-11 | r/4794 refactor(tvix/eval): encapsulate scope cleanup logic in module | Vincent Ambo | 2 | -37/+55 |
2022-09-11 | r/4793 fix(tvix/eval): avoid forcing with-target until absolutely necessary | Vincent Ambo | 2 | -5/+11 |
2022-09-11 | r/4792 refactor(tvix/eval): extract attribute set inherit into helper | Vincent Ambo | 1 | -18/+31 |
2022-09-11 | r/4791 feat(corp/tvixbolt): add Nix build instructions | Vincent Ambo | 2 | -1/+80 |
2022-09-11 | r/4790 feat(tvix/eval): implement "formals" function parameters | Vincent Ambo | 2 | -1/+101 |
2022-09-11 | r/4789 chore(tvix): remove stale .envrc | Vincent Ambo | 1 | -10/+0 |
2022-09-10 | r/4788 fix(tvix/eval): always add history entries in REPL | Vincent Ambo | 1 | -1/+1 |
2022-09-10 | r/4787 fix(tvix/eval): reintroduce 'InvalidAttribuetName' error variant | Vincent Ambo | 2 | -1/+11 |
2022-09-10 | r/4786 fix(tvix/eval): fix doc comment syntax where applicable | Vincent Ambo | 10 | -110/+122 |
2022-09-10 | r/4785 feat(tvix/eval): conditionally use tracing/disassembling observers | Vincent Ambo | 1 | -7/+23 |
2022-09-10 | r/4784 feat(tvix/eval): optimise tail calls in emitted chunks | Vincent Ambo | 1 | -2/+20 |
2022-09-10 | r/4783 feat(tvix/eval): implement OpTailCall | Vincent Ambo | 3 | -9/+50 |
2022-09-09 | r/4782 fix(tvix/eval): force value passed to builtins.toString | Vincent Ambo | 2 | -4/+26 |
2022-09-09 | r/4781 chore(tvix/eval): clean up a stale comment | Vincent Ambo | 1 | -4/+0 |
2022-09-09 | r/4780 chore(tvix/eval): clean up remains of previous disassembler impl | Vincent Ambo | 3 | -45/+3 |
2022-09-09 | r/4779 feat(tvix/eval): implement TracingObserver for runtime tracing | Vincent Ambo | 1 | -0/+54 |
2022-09-09 | r/4778 feat(tvix/eval): implement runtime tracing methods for Observer | Vincent Ambo | 3 | -30/+44 |
2022-09-09 | r/4777 refactor(tvix/eval): move `disassemble_op` to the Chunk structure | Vincent Ambo | 3 | -29/+33 |
2022-09-09 | r/4776 chore(tvix/eval): export some symbols from the crate | Vincent Ambo | 1 | -1/+5 |
2022-09-09 | r/4775 feat(tvix/eval): implement DisassemblingObserver for compiler | Vincent Ambo | 7 | -98/+111 |
2022-09-09 | r/4774 feat(tvix/eval): implement (compilation) observer trait | Vincent Ambo | 2 | -0/+37 |
2022-09-09 | r/4773 refactor(tvix/eval): index into Chunk with ConstantIdx/CodeIdx | Vincent Ambo | 2 | -8/+22 |
2022-09-09 | r/4772 chore(tvix/eval): gate REPL-only dependencies behind `repl` feature | Vincent Ambo | 1 | -1/+13 |
2022-09-09 | r/4771 chore(tvix/eval): debug_assert that all jumps are patched | Vincent Ambo | 1 | -0/+4 |
2022-09-08 | r/4770 feat(tvix/eval): thunk binary operations and select expressions | Vincent Ambo | 3 | -2/+22 |
2022-09-08 | r/4769 fix(tvix/eval): hold thunk borrow as shortly as possible | Vincent Ambo | 1 | -7/+6 |
2022-09-08 | r/4768 feat(tvix/eval): print lambda memory adresses in disassembler | Vincent Ambo | 4 | -32/+30 |
2022-09-08 | r/4767 fix(tvix/eval): ensure disassembler prints continous lines correctly | Vincent Ambo | 2 | -4/+12 |
2022-09-08 | r/4766 feat(tvix/eval): thunk function applications | Vincent Ambo | 1 | -1/+4 |
2022-09-08 | r/4765 feat(tvix/eval): thunk creation of lists | Vincent Ambo | 1 | -1/+3 |
2022-09-08 | r/4764 test(tvix/eval): add test for stack slot accounting edge-case | Vincent Ambo | 2 | -0/+18 |
2022-09-08 | r/4763 fix(tvix/eval): address current clippy & grfn lints | Vincent Ambo | 5 | -38/+32 |
2022-09-08 | r/4762 fix(tvix/eval): consider local depth when deciding to defer | Vincent Ambo | 3 | -5/+19 |
2022-09-08 | r/4761 chore(tvix/eval): remove accidentally duplicated test | Vincent Ambo | 2 | -3/+0 |
2022-09-08 | r/4760 refactor(tvix/eval): clean up logic in Compiler::end_scope | Vincent Ambo | 1 | -5/+3 |