depot - monorepo for the virus lounge

Age	Commit message (Expand)	Author	Files	Lines
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
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