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
2023-12-29
r/7282
feat(tvix/eval): context-aware casting to strings
Ryan Lahfa
1
-2
/
+23
2023-12-29
r/7281
feat(tvix/eval): implement `hasContext` primop
Ryan Lahfa
2
-5
/
+4
2023-12-29
r/7280
feat(tvix/eval): introduce `NixContext`
Ryan Lahfa
3
-7
/
+193
2023-12-29
r/7279
docs(tvix/eval): why context strings now
Ryan Lahfa
1
-4
/
+83
2023-12-29
r/7277
fix(tvix/eval): propagate catchables through builtins.attrNames
Adam Joseph
3
-0
/
+5
2023-12-29
r/7276
fix(tvix/eval): propagate catchables through builtins.intersectAttrs
Adam Joseph
3
-0
/
+8
2023-12-29
r/7275
fix(tvix/eval): propagate catchables in string interpolations
Adam Joseph
3
-2
/
+12
2023-12-29
r/7274
fix(tvix/eval): catchable in type field of nix_eq()
Adam Joseph
5
-8
/
+26
2023-12-29
r/7273
fix(tvix/eval): builtins.match: propagate catchables
Adam Joseph
3
-2
/
+12
2023-12-29
r/7272
refactor(tvix/eval): let OpCoerceToString select the CoercionKind
Adam Joseph
4
-15
/
+13
2023-12-29
r/7271
fix(tvix/eval): add stack depth assertion to OpReturn
Adam Joseph
1
-0
/
+7
2023-12-25
r/7264
fix(tvix/eval/value): correctly emit spaces when coercing lists
sterni
3
-16
/
+36
2023-12-14
r/7218
fix(tvix/eval): remove incorrect imports when coercing
sterni
7
-49
/
+193
2023-12-14
r/7217
fix(tvix/eval): determine meaning of `+` exprs based on first type
sterni
1
-5
/
+11
2023-12-12
r/7206
refactor(tvix/eval): vm::add_values(): be less verbose
Adam Joseph
1
-12
/
+8
2023-12-12
r/7205
fix(tvix/eval): substring: propagate catchables
Adam Joseph
3
-4
/
+7
2023-12-12
r/7204
fix(tvix/eval): baseNameOf: propagate catchables
Adam Joseph
3
-0
/
+3
2023-12-12
r/7203
fix(tvix/eval): builtins.length: propagate catchables
Adam Joseph
3
-0
/
+5
2023-12-12
r/7201
fix(tvix/eval): builtins.filter: propagate catchables
Adam Joseph
3
-2
/
+7
2023-12-12
r/7200
feat(tvix/eval): builtins.hashString: add placeholder
Adam Joseph
1
-0
/
+12
2023-12-12
r/7199
fix(tvix/eval): builtins.getAttr: propagate catchables
Adam Joseph
3
-0
/
+8
2023-12-12
r/7198
fix(tvix/eval): builtins.elemAt: propagate catchables
Adam Joseph
3
-0
/
+8
2023-12-12
r/7196
fix(tvix/eval): propagate catchables through builtins.splitVersion
Adam Joseph
3
-0
/
+5
2023-12-12
r/7195
feat(tvix/eval): builtins.hasContext: placeholder implementation
Adam Joseph
1
-0
/
+8
2023-12-12
r/7194
fix(tvix/eval): baseNameOf should not coerce paths into strings
Adam Joseph
1
-4
/
+12
2023-12-12
r/7193
fix(tvix/eval): add unimplemented __curPos and builtins.filterSource
Adam Joseph
3
-0
/
+19
2023-12-12
r/7192
fix(tvix/eval): propagate catchables through `&&`
Adam Joseph
3
-0
/
+4
2023-12-12
r/7191
fix(tvix/eval): make `||` propagate catchables
Adam Joseph
3
-0
/
+4
2023-12-12
r/7190
fix(tvix/eval): fix nested assertions b/340
Adam Joseph
3
-0
/
+2
2023-12-12
r/7189
fix(tvix/eval): `?`: propagate catchables
Adam Joseph
3
-8
/
+18
2023-12-12
r/7188
feat(tvix/eval): OpAttrsSelect should propagate catchables
Adam Joseph
1
-11
/
+19
2023-12-12
r/7187
fix(tvix/eval): calling a catchable is catchable
Adam Joseph
3
-0
/
+8
2023-12-12
r/7186
fix(tvix/eval): fix catchables in named formals
Adam Joseph
3
-11
/
+27
2023-12-12
r/7185
test(tvix/eval): test catchables in named formals
Adam Joseph
2
-0
/
+2
2023-12-12
r/7184
fix(tvix/eval): fix testing catchables for inequality
Adam Joseph
3
-2
/
+7
2023-12-12
r/7183
test(tvix/eval): testing catchable for inequality
Adam Joseph
2
-0
/
+2
2023-12-12
r/7182
fix(tvix/eval): handle catchables in attribute set updates
Adam Joseph
3
-4
/
+11
2023-12-12
r/7181
test(tvix/eval): test for catchable in attribute merges
Adam Joseph
2
-0
/
+2
2023-12-12
r/7180
fix(tvix/eval): fix recovering from throws in implications
Adam Joseph
3
-0
/
+2
2023-12-12
r/7179
test(tvix/eval): test recovering from throw in implications
Adam Joseph
2
-0
/
+2
2023-12-12
r/7178
fix(tvix/eval): fix branching on catchable defaults (b/343)
Adam Joseph
6
-0
/
+20
2023-12-12
r/7177
test(tvix/eval): test branching on catchable defaults (b/343)
Adam Joseph
2
-0
/
+2
2023-12-12
r/7176
feat(tvix/eval): nonrecursive coerce_to_string()
Adam Joseph
6
-121
/
+138
2023-12-12
r/7175
feat(tvix/eval): nonrecursive deep_force()
Adam Joseph
5
-80
/
+82
2023-12-12
r/7174
docs(tvix/eval): clarify difference between ThunkSet and Blackhole
Adam Joseph
1
-2
/
+5
2023-12-12
r/7173
test(tvix/eval): nested assertions (b/340)
Adam Joseph
2
-0
/
+2
2023-12-12
r/7172
feat(tvix/eval): drop LightSpan::Delayed
Adam Joseph
2
-13
/
+1
2023-12-12
r/7170
refactor(tvix): use io::Result for EvalIO
Florian Klink
1
-12
/
+12
2023-12-12
r/7169
fix(tvix/eval): preserve catchables in nix_cmp_ordering(), fix b/338
Adam Joseph
5
-9
/
+15
2023-12-12
r/7168
test(tvix/eval): test for b/338 catchable hygiene problem
Adam Joseph
2
-0
/
+2
[next]