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
/
value
Age
Commit message (
Expand
)
Author
Files
Lines
2022-10-19
r/5159
feat(tvix/eval): deduplicate overlap between Closure and Thunk
Adam Joseph
2
-74
/
+99
2022-10-19
r/5158
feat(tvix/eval): NixList::concat(): avoid an unnecessary move
Adam Joseph
1
-4
/
+3
2022-10-17
r/5155
feat(nix/eval): Implement builtins.functionArgs
Griffin Smith
1
-0
/
+4
2022-10-17
r/5154
feat(tvix/eval): Validate closed formals
Griffin Smith
2
-5
/
+73
2022-10-17
r/5153
feat(tvix/eval): Record formals on lambda
Griffin Smith
3
-2
/
+22
2022-10-17
r/5151
docs(tvix/eval) comments for various fields
Adam Joseph
2
-0
/
+15
2022-10-16
r/5146
refactor(tvix/eval): make OpFindFile use internal UnresolvedPath
sterni
1
-2
/
+6
2022-10-16
r/5142
feat(tvix/eval): remove Clone instance from Chunk and Lambda
Adam Joseph
1
-1
/
+1
2022-10-16
r/5140
refactor(tvix/eval) remove Value::DynamicUpvalueMissing
Adam Joseph
1
-6
/
+0
2022-10-15
r/5135
feat(tvix/eval): Implement builtins.fromJSON
Griffin Smith
2
-4
/
+58
2022-10-15
r/5132
feat(tvix/eval): implement builtins.dirOf
Adam Joseph
1
-0
/
+1
2022-10-13
r/5119
refactor(tvix/eval): factor out all calls to canon_path
Adam Joseph
2
-0
/
+16
2022-10-12
r/5111
fix(tvix/eval): remove overlapping instances
Adam Joseph
1
-12
/
+0
2022-10-12
r/5110
feat(tvix/eval): From<Into<NixString>> for Value
Adam Joseph
1
-0
/
+9
2022-10-10
r/5097
fix(tvix/eval): Actually trace spans for thunks
Griffin Smith
1
-18
/
+30
2022-10-10
r/5095
feat(tvix/eval): Implement builtins.readFile
Griffin Smith
1
-0
/
+7
2022-10-10
r/5094
refactor(tvix/eval): after calling, the caller has to pop
Vincent Ambo
2
-5
/
+5
2022-10-10
r/5087
feat(tvix/eval): Initial resolution of `<...>` paths
Griffin Smith
3
-7
/
+14
2022-10-10
r/5085
feat(tvix/eval): Allow adding strings to paths
Griffin Smith
1
-0
/
+6
2022-10-10
r/5084
feat(tvix/eval): Implement builtins.concatStringsSep
Griffin Smith
2
-0
/
+21
2022-10-10
r/5083
feat(tvix/eval): Support builtins.readDir
William Carroll
1
-0
/
+6
2022-10-10
r/5080
feat(tvix/eval): Implement builtins.elem
Griffin Smith
1
-0
/
+6
2022-10-10
r/5075
feat(tvix/eval): Implement builtins.genList
Griffin Smith
1
-0
/
+6
2022-10-08
r/5067
refactor(tvix/eval): Encapsulate Value::Attrs construction
Griffin Smith
2
-2
/
+10
2022-10-08
r/5066
fix(tvix/eval): Force thunks when comparing against ground vals
Griffin Smith
1
-2
/
+8
2022-10-06
r/5040
refactor(tvix/eval): builtins now contain closures
Vincent Ambo
1
-7
/
+15
2022-10-03
r/5021
refactor(tvix/eval): implement IntoIterator for NixList
Vincent Ambo
1
-4
/
+9
2022-09-29
r/4990
chore(tvix/eval): remove existing nested key implementation
Vincent Ambo
2
-79
/
+2
2022-09-20
r/4943
refactor(tvix/eval): add VM::call_value helper method
Vincent Ambo
1
-17
/
+3
2022-09-20
r/4942
test(tvix/eval): Make proptests a bit smaller
Griffin Smith
2
-4
/
+4
2022-09-20
r/4940
chore(tvix/eval): clean up this one weird trick ...
Vincent Ambo
1
-3
/
+0
2022-09-19
r/4918
refactor(tvix/eval): handle forcing in Builtin::apply
sterni
1
-4
/
+12
2022-09-18
r/4914
refactor(tvix/eval): Simplify forcing in builtins
Griffin Smith
1
-0
/
+33
2022-09-18
r/4910
fix(tvix/eval): Force thunks during equality comparison
Griffin Smith
1
-5
/
+8
2022-09-18
r/4909
chore(tvix/eval): Pass in VM to nix_eq
Griffin Smith
4
-19
/
+54
2022-09-18
r/4908
refactor(tvix/eval): Don't (ab)use PartialEq for Nix equality
Griffin Smith
7
-113
/
+191
2022-09-18
r/4906
test(tvix/eval): Add Eq-laws tests for NixAttrs
Griffin Smith
1
-0
/
+11
2022-09-18
r/4905
test(tvix/eval): Add tests for the Eq laws of Value
Griffin Smith
1
-0
/
+16
2022-09-18
r/4904
fix(tvix/value): Properly match on Path for PartialEq
Griffin Smith
1
-0
/
+1
2022-09-18
r/4902
test(tvix/eval): impl Arbitrary for Value
Griffin Smith
4
-0
/
+128
2022-09-17
r/4894
test(tvix/eval): Add proptests covering trait impls for String
Griffin Smith
1
-0
/
+11
2022-09-17
r/4893
test(tvix/eval): Test StringRepr::Smol as well
Griffin Smith
1
-1
/
+8
2022-09-17
r/4892
test(tvix/eval): impl Arbitrary for NixString
Griffin Smith
1
-0
/
+17
2022-09-16
r/4881
refactor(tvix/eval): fix current clippy lints
sterni
1
-8
/
+5
2022-09-15
r/4867
feat(tvix/eval): Support builtins.bitAnd
William Carroll
1
-0
/
+1
2022-09-15
r/4865
feat(tvix/eval): implement Value::coerce_to_path()
sterni
2
-1
/
+10
2022-09-15
r/4864
feat(tvix/eval): Support builtins.attrNames
William Carroll
1
-2
/
+10
2022-09-15
r/4862
feat(tvix/eval): Support builtins.head
William Carroll
1
-0
/
+4
2022-09-15
r/4857
feat(tvix/eval): implement correct toString behavior
sterni
1
-0
/
+142
2022-09-13
r/4845
fix(tvix/eval): add branch for directly comparing two thunks
Vincent Ambo
1
-0
/
+1
[prev]
[next]