Vincent Ambo 940251b87f refactor(tvix/value): use proptest strategies from imbl crate ... Instead of going through Vec/BTreeMap for generating our internal types, use the proptest strategies from imbl. The one thing I couldn't figure out in the previous implementation is where the ranges/sizes of generated collections came from. The strategies in proptest use different types (Range, with an unknown default value, and SizeRange with 0..100). I've opted to specify 0..100 directly, but we can probably make it configurable. Change-Id: I749bc4c703fe424099240cab822b1642e5216361 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7791 Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>		2023-01-17 10:20:38 +00:00
..
builtins	feat(tvix/eval): implement builtins.toXML	2023-01-16 13:43:14 +00:00
compiler	feat(tvix/eval): skip & warn for useless parenthesis	2023-01-06 12:23:55 +00:00
tests	feat(tvix/eval): implement builtins.toXML	2023-01-16 13:43:14 +00:00
value	refactor(tvix/value): use proptest strategies from imbl crate	2023-01-17 10:20:38 +00:00
chunk.rs	fix(tvix/eval): remove impl PartialEq for Value	2022-11-04 00:30:13 +00:00
errors.rs	feat(tvix/eval): add error variant for threading through errors	2023-01-16 13:43:14 +00:00
io.rs	feat(tvix/eval): use EvalIO::import_path when coercing paths	2022-12-21 22:59:18 +00:00
lib.rs	chore(tvix/eval): add other required items to public API	2023-01-16 13:43:14 +00:00
nix_search_path.rs	fix(tvix/eval): fix current clippy warnings	2022-12-25 18:25:06 +00:00
observer.rs	feat(tvix/eval): initial attempt at setting lambda names	2022-10-23 15:58:53 +00:00
opcode.rs	fix(tvix/eval): change ordinary (//) to rustdoc-comments (///)	2022-11-05 22:07:42 +00:00
pretty_ast.rs	fix(tvix/eval): fix current clippy warnings	2022-12-25 18:25:06 +00:00
properties.rs	refactor(tvix/eval): Don't (ab)use PartialEq for Nix equality	2022-09-18 22:03:41 +00:00
source.rs	chore(tvix/eval): implement std::error::Error for tvix_eval::Error	2023-01-02 22:24:43 +00:00
spans.rs	refactor(tvix/eval): add a LightSpan type for lighter span tracking	2022-12-21 22:21:25 +00:00
systems.rs	fix(tvix/eval): fix current clippy warnings	2022-12-25 18:25:06 +00:00
test_utils.rs	test(tvix/eval): Add proof-of-concept test for Chunk	2022-09-18 17:55:06 +00:00
upvalues.rs	fix(tvix/eval): remove impl PartialEq for Value	2022-11-04 00:30:13 +00:00
vm.rs	refactor(tvix/eval): avoid unnecessary pop/push in OpForce	2023-01-04 16:30:03 +00:00
warnings.rs	fix(tvix/eval): address useless_format clippy warn	2023-01-10 19:13:45 +00:00