depot
this commit
canon
subtree-staging
monorepo for the virus lounge
The Virus Lounge
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tvix
/
eval
Age
Commit message (
Expand
)
Author
Files
Lines
2022-09-07
r/4689
feat(tvix/eval): always emit OpForce as the last instruction
Vincent Ambo
3
-0
/
+14
2022-09-07
r/4688
feat(tvix/eval): implement OpForce in VM
Vincent Ambo
4
-2
/
+46
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/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-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/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
2022-09-04
r/4632
test(tvix/eval): add tests for very simple closures
Vincent Ambo
4
-0
/
+4
2022-09-03
r/4629
feat(tvix/eval): implement runtime closure construction (OpClosure)
Vincent Ambo
1
-1
/
+28
2022-09-03
r/4628
feat(tvix/eval): implement OpGetUpvalue in the VM
Vincent Ambo
1
-4
/
+6
[next]