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
/
tvix_tests
Age
Commit message (
Expand
)
Author
Files
Lines
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-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-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/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
/
+2
2023-06-14
r/6299
test(tvix/eval): add test case for builtins set pointer equality
sterni
2
-0
/
+21
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-17
r/6022
fix(tvix/eval): use coerce_to_string in builtins.substring
Vincent Ambo
2
-0
/
+6
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-01-31
r/5784
test(tvix/eval): add tests for internal formals dependencies
Vincent Ambo
4
-0
/
+8
2023-01-25
r/5753
feat(tvix/eval): use lexical-core to format float
Florian Klink
2
-2
/
+2
2023-01-23
r/5746
fix(tvix/eval): force functors before applying them
Vincent Ambo
2
-0
/
+8
2023-01-17
r/5674
feat(tvix/eval): add builtins to builtins
Vincent Ambo
2
-0
/
+2
2023-01-12
r/5652
feat(tvix/eval): implement builtins.toJSON
Vincent Ambo
4
-0
/
+22
2023-01-10
r/5640
feat(tvix/eval): implement serde::Deserialize for Value
Ryan Lahfa
2
-1
/
+2
2023-01-06
r/5602
feat(tvix/eval): implement initial compiler::optimiser module
Vincent Ambo
2
-0
/
+22
2023-01-06
r/5594
test(tvix/eval): add test for builtins parity
sterni
2
-0
/
+36
2023-01-04
r/5582
fix(tvix/eval): ' is allowed in nonfirst position in Nix identifiers
sterni
2
-0
/
+31
2022-12-29
r/5541
refactor(tvix/eval): persistent, memory-sharing OrdMap for NixAttrs
Vincent Ambo
1
-5
/
+5
2022-12-15
r/5420
refactor(tvix): build Rust projects using crate2nix
Vincent Ambo
1
-0
/
+0
2022-12-02
r/5374
test(tvix/eval): check inner forcing despite declaring pointer
sterni
2
-0
/
+12
[next]