about summary refs log tree commit diff
path: root/tvix/eval/proptest-regressions (follow)
AgeCommit message (Expand)AuthorFilesLines
2023-03-13 r/5964 refactor(tvix/eval): flatten call stack of VM using generatorsVincent Ambo1-0/+3
2022-09-18 r/4905 test(tvix/eval): Add tests for the Eq laws of ValueGriffin Smith1-0/+7