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
/
compiler
Age
Commit message (
Expand
)
Author
Files
Lines
2023-02-03
r/5831
refactor(tvix/eval): statically resolve select from constant attrs
Vincent Ambo
2
-40
/
+90
2023-02-03
r/5828
fix(tvix/eval): ensure all evaluated thunks are correctly memoized
Vincent Ambo
1
-2
/
+2
2023-01-23
r/5747
chore(tvix/eval): delete "useless parenthesis" warning/optimisation
Vincent Ambo
1
-26
/
+0
2023-01-22
r/5735
feat(tvix/eval): support builtins implemented in Nix itself
Vincent Ambo
1
-16
/
+76
2023-01-22
r/5734
docs(tvix/eval): update some outdated comments
Vincent Ambo
1
-8
/
+3
2023-01-21
r/5721
refactor(tvix/eval): administer antidote for poison
Adam Joseph
4
-121
/
+45
2023-01-20
r/5706
feat(tvix/eval): add error contexts to annotate error kinds
Vincent Ambo
1
-7
/
+9
2023-01-17
r/5675
refactor(tvix/eval): remove `Box` in new_suspended_native
Vincent Ambo
1
-2
/
+2
2023-01-17
r/5674
feat(tvix/eval): add builtins to builtins
Vincent Ambo
1
-2
/
+32
2023-01-06
r/5607
feat(tvix/eval): skip & warn for useless parenthesis
Vincent Ambo
1
-0
/
+26
2023-01-06
r/5606
feat(tvix/eval): warn on empty let-bindings
Vincent Ambo
1
-0
/
+3
2023-01-06
r/5605
refactor(tvix/eval): short-circuit on empty attrs in compiler
Vincent Ambo
1
-0
/
+9
2023-01-06
r/5604
feat(tvix/eval): warn about empty `inherit`s
Vincent Ambo
1
-0
/
+5
2023-01-06
r/5603
fix(tvix/eval): compile but don't emit dead code
Vincent Ambo
2
-9
/
+33
2023-01-06
r/5602
feat(tvix/eval): implement initial compiler::optimiser module
Vincent Ambo
2
-0
/
+130
2023-01-06
r/5601
refactor(tvix/eval): take owned ast::Expr in Compiler::compile
Vincent Ambo
2
-34
/
+34
2023-01-06
r/5599
feat(tvix/eval): add Evaluation::compile_only method
Vincent Ambo
1
-1
/
+3
2023-01-06
r/5598
fix(tvix/eval): don't increase `with_stack_size` in scope inherits
Vincent Ambo
1
-1
/
+1
2023-01-04
r/5581
refactor(tvix/eval): streamline construction of globals/builtins
Vincent Ambo
2
-21
/
+187
2022-12-25
r/5486
fix(tvix/eval): fix current clippy warnings
Vincent Ambo
2
-5
/
+4
2022-12-21
r/5457
refactor(tvix/eval): add a LightSpan type for lighter span tracking
Vincent Ambo
1
-1
/
+2
2022-12-21
r/5454
refactor(tvix/eval): add name-based index over compiler's locals
Vincent Ambo
2
-34
/
+108
2022-12-21
r/5452
feat(tvix/eval): wrap Closure in Rc<> to match cppnix semantics
Adam Joseph
1
-1
/
+1
2022-11-05
r/5251
fix(tvix/eval): Scope.inherit(): fix scope_depth, with_stack_depth
Adam Joseph
1
-0
/
+2
2022-11-05
r/5250
refactor(tvix/eval): rename Opcode::DataLocalIdx to DataStackIdx
Adam Joseph
1
-1
/
+1
2022-11-04
r/5237
fix(tvix/eval): inline mis-named Local::above()
Adam Joseph
1
-6
/
+1
2022-10-27
r/5214
refactor(tvix/eval): search-and-replace changes
Adam Joseph
1
-5
/
+5
2022-10-27
r/5213
feat(tvix/eval): builtins.import without RefCell
Adam Joseph
1
-45
/
+51
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
2
-2
/
+18
2022-10-23
r/5184
fix(tvix/eval): thunk let-expression
Vincent Ambo
1
-1
/
+5
2022-10-23
r/5183
fix(tvix/eval): fix condition for useless inherit warning
Vincent Ambo
1
-2
/
+2
2022-10-23
r/5182
refactor(tvix/eval): simplify check for deferring upvalue resolution
Vincent Ambo
1
-9
/
+4
2022-10-23
r/5180
refactor(tvix/eval): simplify self-reference check
Vincent Ambo
1
-1
/
+1
2022-10-21
r/5172
fix(tvix): distinguish search- and relative path resolution errors
sterni
1
-2
/
+2
2022-10-19
r/5159
feat(tvix/eval): deduplicate overlap between Closure and Thunk
Adam Joseph
2
-4
/
+36
2022-10-18
r/5156
fix(tvix/eval): wrap dynamic resolution in an extra thunk
Vincent Ambo
1
-2
/
+9
2022-10-17
r/5154
feat(tvix/eval): Validate closed formals
Griffin Smith
1
-7
/
+6
2022-10-17
r/5153
feat(tvix/eval): Record formals on lambda
Griffin Smith
1
-11
/
+20
2022-10-16
r/5150
refactor(tvix/eval): unify compile_lambda() with thunk()
Adam Joseph
1
-61
/
+59
2022-10-16
r/5147
fix(tvix/eval): resolve home relative paths at runtime
sterni
1
-12
/
+8
2022-10-16
r/5146
refactor(tvix/eval): make OpFindFile use internal UnresolvedPath
sterni
1
-1
/
+1
2022-10-13
r/5121
fix(tvix/eval): fix Compiler::new on wasm
Vincent Ambo
1
-1
/
+3
2022-10-13
r/5120
fix(tvix/eval): src/compiler: ensure root_dir is absolute
Adam Joseph
1
-8
/
+16
2022-10-13
r/5119
refactor(tvix/eval): factor out all calls to canon_path
Adam Joseph
1
-2
/
+1
2022-10-10
r/5097
fix(tvix/eval): Actually trace spans for thunks
Griffin Smith
1
-1
/
+1
2022-10-10
r/5090
fix(tvix/eval): Thunk `if` expr
Griffin Smith
1
-1
/
+3
2022-10-10
r/5087
feat(tvix/eval): Initial resolution of `<...>` paths
Griffin Smith
1
-6
/
+17
2022-10-10
r/5082
refactor(tvix/eval): Compile OpAssert using conditional jumps
Griffin Smith
1
-4
/
+22
2022-10-08
r/5069
fix(tvix/eval): end scope after compiling legacy let bindings
Vincent Ambo
1
-0
/
+5
[next]