diff options
| author | William Carroll <wpcarro@gmail.com> | 2022-09-06T21·55-0700 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2022-09-22T17·42+0000 |
| commit | 890bbf9b1fba98ac9791eaacaf594492e7ead662 (patch) | |
| tree | dbb47ab0ab3a09885a5c6a12648696b7b30e2f47 /tools/cheddar/.gitignore | |
| parent | 9e16d708092e88d0013ef96ef9a33ec28b2c46ea (diff) | |
feat(tvix/eval): Support builtins.lessThan r/4955
Extend and export the `cmp_op`, and this becomes trivial. Change-Id: I9c93fa4db0f5a1fc8b56928ea144676f79247de1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6557 Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tools/cheddar/.gitignore')
0 files changed, 0 insertions, 0 deletions