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
/
tests
Age
Commit message (
Expand
)
Author
Files
Lines
2023-12-12
r/7198
fix(tvix/eval): builtins.elemAt: propagate catchables
Adam Joseph
2
-0
/
+2
2023-12-12
r/7196
fix(tvix/eval): propagate catchables through builtins.splitVersion
Adam Joseph
2
-0
/
+2
2023-12-12
r/7192
fix(tvix/eval): propagate catchables through `&&`
Adam Joseph
2
-0
/
+2
2023-12-12
r/7191
fix(tvix/eval): make `||` propagate catchables
Adam Joseph
2
-0
/
+2
2023-12-12
r/7190
fix(tvix/eval): fix nested assertions b/340
Adam Joseph
2
-0
/
+0
2023-12-12
r/7189
fix(tvix/eval): `?`: propagate catchables
Adam Joseph
2
-0
/
+2
2023-12-12
r/7187
fix(tvix/eval): calling a catchable is catchable
Adam Joseph
2
-0
/
+2
2023-12-12
r/7186
fix(tvix/eval): fix catchables in named formals
Adam Joseph
2
-0
/
+0
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
2
-0
/
+0
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
2
-0
/
+0
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
2
-0
/
+0
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
2
-0
/
+0
2023-12-12
r/7177
test(tvix/eval): test branching on catchable defaults (b/343)
Adam Joseph
2
-0
/
+2
2023-12-12
r/7173
test(tvix/eval): nested assertions (b/340)
Adam Joseph
2
-0
/
+2
2023-12-12
r/7169
fix(tvix/eval): preserve catchables in nix_cmp_ordering(), fix b/338
Adam Joseph
2
-0
/
+0
2023-12-12
r/7168
test(tvix/eval): test for b/338 catchable hygiene problem
Adam Joseph
2
-0
/
+2
2023-12-12
r/7167
feat(tvix/eval): nonrecursive nix_cmp_ordering(), fixes b/339
Adam Joseph
2
-0
/
+0
2023-12-12
r/7165
test(tvix/eval): add test case for b/339
Adam Joseph
2
-0
/
+2
2023-09-26
r/6662
feat(tvix/eval): test case for b/281
Adam Joseph
2
-0
/
+2
2023-09-24
r/6650
fix(tvix/eval): fix b/281 by adding Value::Catchable
Adam Joseph
1
-4
/
+9
2023-09-15
r/6589
fix(tvix/eval): update identifier quoting to match cppnix 2.17
Adam Joseph
11
-2
/
+23
2023-08-24
r/6523
fix(tvix/eval): off-by-one in replaceStrings
Linus Heckemann
2
-1
/
+2
2023-08-11
r/6480
test(tvix/eval): check truncation direction of builtins.div
sterni
2
-1
/
+24
2023-07-11
r/6405
docs(tvix): document when pointer equality is preserved in C++ Nix
sterni
4
-5
/
+39
2023-07-11
r/6404
fix(tvix/eval): use byte, not codepoint index for slicing in escape
sterni
2
-0
/
+7
2023-06-22
r/6344
feat(tvix/eval): allow extending builtins outside of tvix_eval
Evgeny Zemtsov
1
-0
/
+1
2023-06-21
r/6341
fix(tvix/eval): use realpaths for import cache
sterni
5
-0
/
+11
2023-06-20
r/6336
fix(tvix/eval): only finalise formal arguments if defaulting
sterni
2
-0
/
+21
2023-06-15
r/6314
test(tvix/eval): update nix_tests suite to C++ Nix master
sterni
26
-7
/
+384
2023-06-15
r/6309
test(tvix/eval): genericClosure (pointer) comparison support
sterni
4
-0
/
+37
2023-06-15
r/6308
fix(tvix/eval): make tvix display values like nix-instantiate(1)
sterni
6
-0
/
+55
2023-06-14
r/6300
test(tvix/eval): move division by zero tests into tvix_tests
sterni
2
-0
/
+0
2023-06-14
r/6299
test(tvix/eval): add test case for builtins set pointer equality
sterni
2
-0
/
+21
2023-06-14
r/6298
test(tvix/eval): re-enable blackhole test
sterni
1
-0
/
+0
2023-06-12
r/6268
test(tvix/eval): builtins.substring's behavior with negative args
sterni
3
-0
/
+9
2023-06-07
r/6243
fix(tvix/eval): type check function argument with set pattern
sterni
1
-0
/
+2
2023-05-26
r/6207
fix(tvix): don't call function eagerly in genList, map & mapAttrs
sterni
2
-0
/
+32
2023-03-22
r/6037
feat(tvix/eval): add Evaluation::strict to toggle top-level deepseq
Vincent Ambo
1
-0
/
+2
2023-03-17
r/6022
fix(tvix/eval): use coerce_to_string in builtins.substring
Vincent Ambo
2
-0
/
+6
2023-03-13
r/5979
fix(tvix/eval): implement cppnix JSON-serialisation semantics
Vincent Ambo
2
-0
/
+0
2023-03-13
r/5977
fix(tvix/eval): handle toJSON on attribute sets with `outPath`
Vincent Ambo
4
-0
/
+15
2023-03-13
r/5976
fix(tvix/eval): handle `__toString` when JSON-serialising attrsets
Vincent Ambo
4
-0
/
+20
2023-03-13
r/5970
fix(tvix/eval): correctly thunk deferred formals access
Vincent Ambo
2
-0
/
+7
2023-03-13
r/5965
test(tvix/eval): add test for infinite recursion detection
Vincent Ambo
1
-0
/
+1
2023-03-13
r/5964
refactor(tvix/eval): flatten call stack of VM using generators
Vincent Ambo
1
-3
/
+3
2023-02-13
r/5848
fix(tvix/eval): skip runtime completely on compiler errors
Vincent Ambo
1
-0
/
+12
[next]