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
/
src
Age
Commit message (
Expand
)
Author
Files
Lines
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/4651
refactor(tvix/eval): encapsulate internal mutability within Closure
Vincent Ambo
3
-25
/
+47
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
2022-09-03
r/4627
refactor(tvix/eval): store Closure inside of the VM's call frames
Vincent Ambo
1
-6
/
+6
2022-09-03
r/4626
feat(tvix/eval): add Value::to_closure
Vincent Ambo
1
-0
/
+11
2022-09-03
r/4625
feat(tvix/eval): compile creation of closure objects
Vincent Ambo
4
-6
/
+51
2022-09-03
r/4624
chore(tvix/eval): print node representation for compiler errors
Vincent Ambo
1
-1
/
+5
2022-09-03
r/4623
feat(tvix/eval): implement compilation of upvalue access
Vincent Ambo
4
-4
/
+66
2022-09-03
r/4622
refactor(tvix/eval): add opcode::Count type for less ambiguity
Vincent Ambo
3
-17
/
+23
2022-09-03
r/4621
refactor(tvix/eval): add opcode::StackIdx type for less ambiguity
Vincent Ambo
3
-9
/
+14
2022-09-03
r/4620
docs(tvix/eval): add docstrings for usize wrappers in opcode
Vincent Ambo
1
-0
/
+3
2022-09-03
r/4619
refactor(tvix/eval): add opcode::JumpOffset type for less ambiguity
Vincent Ambo
3
-18
/
+27
2022-09-03
r/4618
refactor(tvix/eval): rename CompilationResult -> CompilationOutput
Vincent Ambo
1
-3
/
+3
2022-09-03
r/4617
refactor(tvix/eval): explicitly discard uninteresting results
Vincent Ambo
1
-2
/
+2
2022-09-03
r/4616
refactor(tvix/eval): avoid cloning in NixAttrs::update if possible
Vincent Ambo
2
-23
/
+36
2022-09-03
r/4614
refactor(tvix/eval): slightly more readable AttrsRep::select
Vincent Ambo
1
-11
/
+5
2022-09-03
r/4613
refactor(tvix/eval): rename Value::NotFound & OpAttrOrNotFound
Vincent Ambo
4
-10
/
+10
2022-09-03
r/4612
docs(tvix/eval): add doc comment on `compiler::patch_jump`
Vincent Ambo
1
-0
/
+6
2022-09-03
r/4611
refactor(tvix/eval): get rid of Value::Blackhole variant
Vincent Ambo
2
-5
/
+3
2022-09-03
r/4610
test(tvix/eval): add a test for float representation
Vincent Ambo
2
-0
/
+3
2022-09-03
r/4608
fix(tvix/eval): address all current clippy lints
Vincent Ambo
6
-13
/
+10
2022-09-03
r/4607
fix(tvix/eval): correctly escape `${` in strings
Vincent Ambo
3
-12
/
+17
2022-09-03
r/4606
refactor(tvix/eval): move resolve_local to Scope struct
Vincent Ambo
1
-15
/
+18
2022-09-03
r/4605
refactor(tvix/eval): introduce Closure struct in Value type
Vincent Ambo
5
-10
/
+17
2022-09-02
r/4602
chore(tvix/eval): move compiler module to a new folder
Vincent Ambo
1
-0
/
+0
2022-09-02
r/4601
refactor(tvix/eval): avoid a use of Value::Blackhole
Vincent Ambo
1
-2
/
+2
2022-09-02
r/4600
refactor(tvix/eval): separate out `let inherit ...` logic
Vincent Ambo
1
-9
/
+14
2022-09-02
r/4599
chore(tvix/eval): print slightly more information about warnings
Vincent Ambo
1
-1
/
+2
2022-09-02
r/4598
fix(tvix/eval): consider `let ... inherit ...` in dynamic scopes
Vincent Ambo
3
-3
/
+40
2022-09-02
r/4597
refactor(tvix/eval): add NixAttrs::contains function
Vincent Ambo
2
-1
/
+13
2022-09-02
r/4596
feat(tvix/eval): implement builtins.catAttrs
Vincent Ambo
2
-1
/
+18
2022-09-02
r/4595
feat(tvix/eval): implement builtins.typeOf
Vincent Ambo
1
-0
/
+3
2022-09-02
r/4594
feat(tvix/eval): implement type-checking builtins
Vincent Ambo
1
-0
/
+28
2022-09-02
r/4593
feat(tvix/eval): implement 'throw' and 'abort' builtins
Vincent Ambo
2
-1
/
+18
2022-09-02
r/4592
refactor(tvix/eval): implement clearer mechanism for globals
Vincent Ambo
2
-15
/
+60
[next]