Age | Commit message (Expand) | Author | Files | Lines |
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 |
2022-09-13 | r/4839 fix(tvix/eval): address current clippy lints | Vincent Ambo | 1 | -4/+4 |
2022-09-13 | r/4836 feat(tvix/eval): implement initial fancy formatting for errors | Vincent Ambo | 1 | -5/+1 |
2022-09-11 | r/4800 refactor(tvix/eval): introduce Upvalues struct in closures & thunks | Vincent Ambo | 2 | -12/+20 |
2022-09-10 | r/4787 fix(tvix/eval): reintroduce 'InvalidAttribuetName' error variant | Vincent Ambo | 1 | -1/+5 |
2022-09-10 | r/4786 fix(tvix/eval): fix doc comment syntax where applicable | Vincent Ambo | 3 | -31/+34 |
2022-09-08 | r/4769 fix(tvix/eval): hold thunk borrow as shortly as possible | Vincent Ambo | 1 | -7/+6 |
2022-09-08 | r/4749 fix(tvix/eval): don't panic when printing a black hole | Vincent Ambo | 1 | -2/+6 |
2022-09-08 | r/4748 refactor(tvix/eval): return call frame result from VM::call | Vincent Ambo | 1 | -2/+2 |
2022-09-08 | r/4745 refactor(tvix/eval): add macros for generating Value casters | Vincent Ambo | 1 | -62/+42 |
2022-09-08 | r/4744 refactor(tvix/eval): pass a VM reference to builtins | Vincent Ambo | 1 | -4/+14 |
2022-09-08 | r/4742 fix(tvix/eval): thread thunk forcing errors through correctly | Vincent Ambo | 1 | -3/+3 |
2022-09-08 | r/4741 feat(tvix/eval): ensure all errors always carry a span | Vincent Ambo | 4 | -64/+39 |
2022-09-07 | r/4740 feat(tvix/eval): Support builtins.length | William Carroll | 2 | -0/+15 |
2022-09-07 | r/4706 fix(tvix/eval): address current clippy lints | Vincent Ambo | 1 | -0/+1 |
2022-09-07 | r/4704 feat(tvix/eval): implement NixList::iter | Vincent Ambo | 1 | -0/+4 |
2022-09-07 | r/4703 fix(tvix/eval): thread Display & PartialEq through to thunk values | Vincent Ambo | 2 | -1/+21 |
2022-09-07 | r/4702 feat(tvix/eval): implement NixAttrs::iter() | Vincent Ambo | 2 | -1/+121 |
2022-09-07 | r/4701 chore(tvix/eval): provide 'static references to "name"/"value" | Vincent Ambo | 1 | -0/+3 |
2022-09-07 | r/4700 refactor(tvix/eval): encapsulate all thunk-forcing logic in module | Vincent Ambo | 1 | -20/+41 |
2022-09-07 | r/4688 feat(tvix/eval): implement OpForce in VM | Vincent Ambo | 1 | -1/+31 |
2022-09-06 | r/4682 fix(tvix/eval): allocate Thunk::upvalues with known capacity | Vincent Ambo | 1 | -1/+1 |
2022-09-06 | r/4677 refactor(tvix/eval): introduce UpvalueCarrier trait | Vincent Ambo | 2 | -18/+40 |
2022-09-06 | r/4676 refactor(tvix/eval): simplify thunk representations | Vincent Ambo | 1 | -7/+7 |
2022-09-06 | r/4673 feat(tvix/eval): introduce Value::Thunk variant | Vincent Ambo | 2 | -1/+61 |
2022-09-06 | r/4667 feat(tvix/eval): implement OpFinalise instruction | Vincent Ambo | 1 | -0/+11 |
2022-09-06 | r/4666 feat(tvix/eval): set up deferred upvalues at runtime | Vincent Ambo | 1 | -1/+5 |
2022-09-06 | r/4659 fix(tvix/eval): instantiate *new* closures from blueprints each time | Vincent Ambo | 2 | -5/+8 |
2022-09-06 | r/4658 fix(tvix/eval): correctly thread through dynamic upvalues | Vincent Ambo | 1 | -1/+7 |