depot - monorepo for the virus lounge

Age	Commit message (Expand)	Author	Files	Lines
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	-2/+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	-2/+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	-2/+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	-2/+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	-2/+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	-2/+0
2023-12-12	r/7165 test(tvix/eval): add test case for b/339	Adam Joseph	2	-0/+2
2023-07-11	r/6405 docs(tvix): document when pointer equality is preserved in C++ Nix	sterni	4	-5/+39
2023-06-15	r/6309 test(tvix/eval): genericClosure (pointer) comparison support	sterni	2	-0/+21
2023-06-15	r/6308 fix(tvix/eval): make tvix display values like nix-instantiate(1)	sterni	2	-0/+35
2023-06-14	r/6299 test(tvix/eval): add test case for builtins set pointer equality	sterni	2	-0/+21
2023-01-06	r/5594 test(tvix/eval): add test for builtins parity	sterni	2	-0/+36