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
Age
Commit message (
Expand
)
Author
Files
Lines
2022-10-28
r/5217
docs(tvix/eval): add "intern literals" to future optimisations
Adam Joseph
1
-0
/
+6
2022-10-27
r/5215
fix(tvix/eval): correct wasm32-unknown-unknown to wasm32-none
Adam Joseph
1
-0
/
+11
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
5
-137
/
+154
2022-10-26
r/5201
docs(tvix/eval): StackIdx, LocalIdx UpvalueIdx
Adam Joseph
2
-5
/
+7
2022-10-26
r/5200
feat(tvix/eval): add NixList::force_elements()
Adam Joseph
1
-0
/
+5
2022-10-26
r/5199
feat(tvix/eval): include filename of failing test when failing
Adam Joseph
1
-5
/
+5
2022-10-25
r/5198
feat(tvix/eval): add builtins.{floor,ceil}
James Landrein
7
-0
/
+13
2022-10-24
r/5193
refactor(tvix/eval): Implement value comparison with a method
Griffin Smith
3
-26
/
+47
2022-10-24
r/5192
feat(tvix/eval): Implement builtins.mapAttrs
Griffin Smith
4
-0
/
+23
2022-10-24
r/5191
feat(tvix/eval): add builtins.langVersion
Vincent Ambo
1
-0
/
+2
2022-10-24
r/5190
feat(tvix/eval): implement builtins.currentSystem
Adam Joseph
6
-0
/
+360
2022-10-24
r/5189
feat(nix/eval): Implement builtins.groupBy
Griffin Smith
3
-0
/
+34
2022-10-23
r/5187
fix(tvix/eval): Use natural arg order for call_with
Griffin Smith
2
-2
/
+3
2022-10-23
r/5186
feat(tvix/eval): initial attempt at setting lambda names
Vincent Ambo
4
-15
/
+39
2022-10-23
r/5185
test(tvix/eval): add a test case for nested sibling access
Vincent Ambo
2
-0
/
+8
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/5181
feat(tvix/eval): add mechanism for placeholder builtins
Vincent Ambo
1
-0
/
+19
2022-10-23
r/5180
refactor(tvix/eval): simplify self-reference check
Vincent Ambo
1
-1
/
+1
2022-10-23
r/5179
chore(tvix/eval): return detailed TvixBug if an upvalue is missing
Vincent Ambo
1
-1
/
+17
2022-10-23
r/5178
fix(tvix/eval): detect cycles when printing infinite values
Vincent Ambo
4
-24
/
+45
2022-10-22
r/5177
feat(tvix/eval): add `TvixBug` error kind
Vincent Ambo
1
-1
/
+23
2022-10-22
r/5176
test(tvix/eval): add a test for observing an infinite attribute set
Vincent Ambo
2
-0
/
+5
2022-10-22
r/5175
feat(tvix/eval): Implement builtins.deepSeq
Griffin Smith
10
-62
/
+100
2022-10-22
r/5174
fix(tvix/eval): use top-level span for `force_with_output`
Vincent Ambo
3
-6
/
+29
2022-10-21
r/5172
fix(tvix): distinguish search- and relative path resolution errors
sterni
4
-11
/
+19
2022-10-20
r/5170
test(tvix/verify-lang-tests): also check notyetpassing tests
sterni
1
-12
/
+12
2022-10-20
r/5168
fix(tvix/eval): restore .exp.xml files and skip in test suite
sterni
3
-0
/
+7
2022-10-20
r/5167
fix(tvix/eval): fix path in notyetpassing tests
sterni
4
-4
/
+4
2022-10-20
r/5166
test(tvix/eval): eval-okay-eq.nix can actually be tested
sterni
3
-1
/
+1
2022-10-20
r/5165
fix(tvix/eval): eval-okay-pathexists test can be executed
sterni
2
-0
/
+0
2022-10-20
r/5164
test(tvix/eval): update C++ Nix test suite to current master
sterni
23
-32
/
+94
2022-10-20
r/5163
test(tvix/eval): enable nix_tests by default
sterni
1
-1
/
+1
2022-10-20
r/5162
test(tvix): nix-planned test verification using C++ Nix 2.3 and 2.11
sterni
2
-120
/
+183
2022-10-19
r/5161
feat(tvix/eval): expect not-yet-passing tests to fail
Adam Joseph
74
-14
/
+49
2022-10-19
r/5159
feat(tvix/eval): deduplicate overlap between Closure and Thunk
Adam Joseph
9
-149
/
+203
2022-10-19
r/5158
feat(tvix/eval): NixList::concat(): avoid an unnecessary move
Adam Joseph
1
-4
/
+3
2022-10-18
r/5157
docs(tvix/eval): upvalues.rs: define "upvalue", comment with_stack
Adam Joseph
1
-9
/
+30
2022-10-18
r/5156
fix(tvix/eval): wrap dynamic resolution in an extra thunk
Vincent Ambo
4
-3
/
+16
2022-10-17
r/5155
feat(nix/eval): Implement builtins.functionArgs
Griffin Smith
4
-0
/
+100
2022-10-17
r/5154
feat(tvix/eval): Validate closed formals
Griffin Smith
7
-13
/
+133
2022-10-17
r/5153
feat(tvix/eval): Record formals on lambda
Griffin Smith
4
-13
/
+42
2022-10-17
r/5152
feat(tvix/eval): Implement builtins.seq
Griffin Smith
4
-0
/
+8
2022-10-17
r/5151
docs(tvix/eval) comments for various fields
Adam Joseph
3
-5
/
+27
2022-10-16
r/5150
refactor(tvix/eval): unify compile_lambda() with thunk()
Adam Joseph
1
-61
/
+59
2022-10-16
r/5149
fix(tvix/eval): more faithfully serialise ast::Literal
Vincent Ambo
1
-10
/
+9
2022-10-16
r/5148
feat(tvix/eval): implement builtins.partition
James Landrein
3
-0
/
+39
2022-10-16
r/5147
fix(tvix/eval): resolve home relative paths at runtime
sterni
3
-12
/
+31
[next]