.editorconfig
.flake8
.gitignore
.pre-commit-config.yaml
AGENTS.md
CHANGELOG.md
CONTRIBUTING.md
LANGUAGES.md
LICENSE
MANIFEST.in
README.md
py2many.py
pyproject.toml
pytest.ini
revive.toml
setup.cfg
setup.py
tox.ini
.github/dependabot.yml
.github/workflows/fast.yaml
.github/workflows/main-hosted.yml
.github/workflows/main.yml
.github/workflows/update_existing.yml
.mise/config.cpp.toml
.mise/config.dart.toml
.mise/config.dlang.toml
.mise/config.go.toml
.mise/config.julia.toml
.mise/config.kotlin.toml
.mise/config.lean.toml
.mise/config.mojo.toml
.mise/config.nim.toml
.mise/config.rust.toml
.mise/config.smt.toml
.mise/config.toml
.mise/config.vlang.toml
.mise/config.zig.toml
doc/langspec.md
doc/agent/development.md
doc/agent/testing.md
doc/agent/transpilers.md
docker/Dockerfile
docker/Dockerfile.julia
docker/Dockerfile.omni
docker/entrypoint.sh
docker/mojo/.gitattributes
docker/mojo/.gitignore
docker/mojo/pixi.lock
docker/mojo/pixi.toml
docker/mojo-alpine/.gitattributes
docker/mojo-alpine/.gitignore
docker/mojo-alpine/pixi.lock
docker/mojo-alpine/pixi.toml
examples/dictionary.py
examples/list_comprehension.py
examples/monkeytype/__init__.py
examples/monkeytype/main.py
py2many/__init__.py
py2many/__main__.py
py2many/analysis.py
py2many/annotation_transformer.py
py2many/ast_helpers.py
py2many/astx.py
py2many/cli.py
py2many/clike.py
py2many/context.py
py2many/declaration_extractor.py
py2many/exceptions.py
py2many/helpers.py
py2many/inference.py
py2many/language.py
py2many/llm_transpile.py
py2many/macosx_llm.py
py2many/mutability_transformer.py
py2many/nesting_transformer.py
py2many/process_helpers.py
py2many/python_transformer.py
py2many/raises_transformer.py
py2many/registry.py
py2many/result.py
py2many/rewriters.py
py2many/scope.py
py2many/smt.py
py2many/spec.py
py2many/stubs.py
py2many/theorem.py
py2many/toposort_modules.py
py2many/tracer.py
py2many/version.py
py2many.egg-info/PKG-INFO
py2many.egg-info/SOURCES.txt
py2many.egg-info/dependency_links.txt
py2many.egg-info/entry_points.txt
py2many.egg-info/requires.txt
py2many.egg-info/top_level.txt
pycpp/__init__.py
pycpp/clike.py
pycpp/cpp_ast.py
pycpp/plugins.py
pycpp/tracer.py
pycpp/transpiler.py
pyd/README.md
pyd/__init__.py
pyd/clike.py
pyd/plugins.py
pyd/transpiler.py
pydart/__init__.py
pydart/clike.py
pydart/plugins.py
pydart/transpiler.py
pygo/__init__.py
pygo/clike.py
pygo/inference.py
pygo/plugins.py
pygo/stubs.py
pygo/transpiler.py
pyjl/__init__.py
pyjl/clike.py
pyjl/inference.py
pyjl/plugins.py
pyjl/pyjl_vars.py
pyjl/rewriters.py
pyjl/transpiler.py
pykt/__init__.py
pykt/clike.py
pykt/inference.py
pykt/plugins.py
pykt/transpiler.py
pylean/__init__.py
pylean/clike.py
pylean/fmt.lean
pylean/inference.py
pylean/plugins.py
pylean/rewriters.py
pylean/transpiler.py
pymojo/__init__.py
pymojo/clike.py
pymojo/inference.py
pymojo/plugins.py
pymojo/rewriters.py
pymojo/transpiler.py
pynim/__init__.py
pynim/clike.py
pynim/inference.py
pynim/plugins.py
pynim/transpiler.py
pyrs/__init__.py
pyrs/clike.py
pyrs/inference.py
pyrs/minimal.py
pyrs/plugins.py
pyrs/rust_ast.py
pyrs/transpiler.py
pysmt/__init__.py
pysmt/clike.py
pysmt/inference.py
pysmt/rewriters.py
pysmt/transpiler.py
pyv/__init__.py
pyv/clike.py
pyv/inference.py
pyv/plugins.py
pyv/self_transpile.py
pyv/stubs.py
pyv/transpiler.py
pyv/vformat.py
pyzig/__init__.py
pyzig/clike.py
pyzig/inference.py
pyzig/plugins.py
pyzig/rewriters.py
pyzig/transpiler.py
scripts/cljstyle
scripts/cpp-setup.sh
scripts/dart-setup.sh
scripts/dlang-setup.sh
scripts/go-setup.sh
scripts/julia-setup.sh
scripts/lang_table.py
scripts/lean-runner.sh
scripts/rust-runner.sh
scripts/vlang-setup.sh
scripts/zig-runner.sh
scripts/zig-setup.sh
tests/.cljstyle
tests/__init__.py
tests/pytest.ini
tests/test_analysis.py
tests/test_cli.py
tests/test_clike.py
tests/test_context.py
tests/test_cpp_ast.py
tests/test_inference.py
tests/test_rust_ast.py
tests/test_scope.py
tests/test_settings.py
tests/test_toposort.py
tests/test_tracer.py
tests/test_tracer_cpp.py
tests/test_transpile_self.py
tests/test_transpiler_cpp.py
tests/test_unsupported.py
tests/cases/assert.py
tests/cases/async.py
tests/cases/asyncio_case.py
tests/cases/binit.py
tests/cases/bitops.py
tests/cases/bubble_sort.py
tests/cases/built_ins.py
tests/cases/byte_literals.py
tests/cases/classes.py
tests/cases/cls.py
tests/cases/comb_sort.py
tests/cases/comment_unsupported.py
tests/cases/comparison.py
tests/cases/complex.py
tests/cases/coverage.py
tests/cases/datatypes.py
tests/cases/datatypes_base.py
tests/cases/delete.py
tests/cases/demorgan.py
tests/cases/demorgan2.py
tests/cases/dependent_types.py
tests/cases/dict.py
tests/cases/dict_comp.py
tests/cases/equations.py
tests/cases/equations2.py
tests/cases/exception_names.py
tests/cases/exceptions.py
tests/cases/fib.py
tests/cases/fib_with_argparse.py
tests/cases/fstring.py
tests/cases/gen_exp.py
tests/cases/generator.py
tests/cases/global.py
tests/cases/global2.py
tests/cases/hello-wuffs.py
tests/cases/hello_world.py
tests/cases/ifexp.py
tests/cases/import_tests.py
tests/cases/infer.py
tests/cases/infer_ops.py
tests/cases/int_enum.py
tests/cases/invariants.py
tests/cases/lambda.py
tests/cases/lambda_walrus.py
tests/cases/langcomp_bench.py
tests/cases/loop.py
tests/cases/math_func.py
tests/cases/nested_dict.py
tests/cases/print.py
tests/cases/rect.py
tests/cases/regex_methods.py
tests/cases/scope.py
tests/cases/sealed.py
tests/cases/simple_lambda.py
tests/cases/smt_types.py
tests/cases/starred.py
tests/cases/stdio.py
tests/cases/stdlib_str.py
tests/cases/str_enum.py
tests/cases/sudoku.py
tests/cases/sudoku2.py
tests/cases/sys_argv.py
tests/cases/sys_exit.py
tests/cases/test_dunder.py
tests/cases/test_generators.py
tests/cases/test_star.py
tests/cases/test_walrus_simple.py
tests/cases/triangle_buggy.py
tests/cases/verified_sort.py
tests/cases/walrus.py
tests/cases/with.py
tests/cases/with_open.py
tests/cases/yield_from.py
tests/dir_cases/test1/bar.py
tests/dir_cases/test1/baz.py
tests/dir_cases/test1/foo.py
tests/dir_cases/test1-cpp-expected/bar.cpp
tests/dir_cases/test1-cpp-expected/baz.cpp
tests/dir_cases/test1-cpp-expected/foo.cpp
tests/dir_cases/test1-dart-expected/bar.dart
tests/dir_cases/test1-dart-expected/baz.dart
tests/dir_cases/test1-dart-expected/foo.dart
tests/dir_cases/test1-dlang-expected/bar.d
tests/dir_cases/test1-dlang-expected/baz.d
tests/dir_cases/test1-dlang-expected/foo.d
tests/dir_cases/test1-go-expected/bar.go
tests/dir_cases/test1-go-expected/baz.go
tests/dir_cases/test1-go-expected/foo.go
tests/dir_cases/test1-julia-expected/bar.jl
tests/dir_cases/test1-julia-expected/baz.jl
tests/dir_cases/test1-julia-expected/foo.jl
tests/dir_cases/test1-kotlin-expected/bar.kt
tests/dir_cases/test1-kotlin-expected/baz.kt
tests/dir_cases/test1-kotlin-expected/foo.kt
tests/dir_cases/test1-mojo-expected/bar.mojo
tests/dir_cases/test1-mojo-expected/baz.mojo
tests/dir_cases/test1-mojo-expected/foo.mojo
tests/dir_cases/test1-nim-expected/bar.nim
tests/dir_cases/test1-nim-expected/baz.nim
tests/dir_cases/test1-nim-expected/foo.nim
tests/dir_cases/test1-python-expected/bar.py
tests/dir_cases/test1-python-expected/baz.py
tests/dir_cases/test1-python-expected/foo.py
tests/dir_cases/test1-rust-expected/bar.rs
tests/dir_cases/test1-rust-expected/baz.rs
tests/dir_cases/test1-rust-expected/foo.rs
tests/dir_cases/test1-smt-expected/bar.smt
tests/dir_cases/test1-smt-expected/baz.smt
tests/dir_cases/test1-smt-expected/foo.smt
tests/dir_cases/test1-vlang-expected/bar.v
tests/dir_cases/test1-vlang-expected/baz.v
tests/dir_cases/test1-vlang-expected/foo.v
tests/dir_cases/test1-zig-expected/bar.zig
tests/dir_cases/test1-zig-expected/baz.zig
tests/dir_cases/test1-zig-expected/foo.zig
tests/expected/assert.cpp
tests/expected/assert.d
tests/expected/assert.dart
tests/expected/assert.go
tests/expected/assert.jl
tests/expected/assert.kt
tests/expected/assert.lean
tests/expected/assert.mojo
tests/expected/assert.nim
tests/expected/assert.py
tests/expected/assert.rs
tests/expected/assert.v
tests/expected/assert.zig
tests/expected/async.py
tests/expected/async.v
tests/expected/asyncio_case.py
tests/expected/asyncio_case.rs
tests/expected/binit.cpp
tests/expected/binit.d
tests/expected/binit.dart
tests/expected/binit.go
tests/expected/binit.jl
tests/expected/binit.kt
tests/expected/binit.lean
tests/expected/binit.nim
tests/expected/binit.py
tests/expected/binit.rs
tests/expected/binit.v
tests/expected/bitops.cpp
tests/expected/bitops.d
tests/expected/bitops.dart
tests/expected/bitops.go
tests/expected/bitops.jl
tests/expected/bitops.kt
tests/expected/bitops.lean
tests/expected/bitops.nim
tests/expected/bitops.py
tests/expected/bitops.rs
tests/expected/bitops.v
tests/expected/bubble_sort.cpp
tests/expected/bubble_sort.d
tests/expected/bubble_sort.dart
tests/expected/bubble_sort.go
tests/expected/bubble_sort.jl
tests/expected/bubble_sort.kt
tests/expected/bubble_sort.lean
tests/expected/bubble_sort.mojo
tests/expected/bubble_sort.nim
tests/expected/bubble_sort.py
tests/expected/bubble_sort.rs
tests/expected/bubble_sort.v
tests/expected/bubble_sort.zig
tests/expected/built_ins.cpp
tests/expected/built_ins.d
tests/expected/built_ins.dart
tests/expected/built_ins.go
tests/expected/built_ins.jl
tests/expected/built_ins.kt
tests/expected/built_ins.lean
tests/expected/built_ins.mojo
tests/expected/built_ins.nim
tests/expected/built_ins.py
tests/expected/built_ins.rs
tests/expected/built_ins.v
tests/expected/built_ins.zig
tests/expected/byte_literals.cpp
tests/expected/byte_literals.go
tests/expected/byte_literals.jl
tests/expected/byte_literals.lean
tests/expected/byte_literals.py
tests/expected/byte_literals.rs
tests/expected/byte_literals.v
tests/expected/classes.cpp
tests/expected/classes.d
tests/expected/classes.dart
tests/expected/classes.go
tests/expected/classes.jl
tests/expected/classes.kt
tests/expected/classes.lean
tests/expected/classes.mojo
tests/expected/classes.py
tests/expected/classes.rs
tests/expected/classes.v
tests/expected/cls.cpp
tests/expected/cls.d
tests/expected/cls.dart
tests/expected/cls.go
tests/expected/cls.jl
tests/expected/cls.kt
tests/expected/cls.lean
tests/expected/cls.mojo
tests/expected/cls.nim
tests/expected/cls.py
tests/expected/cls.rs
tests/expected/cls.v
tests/expected/comb_sort.cpp
tests/expected/comb_sort.d
tests/expected/comb_sort.dart
tests/expected/comb_sort.go
tests/expected/comb_sort.jl
tests/expected/comb_sort.kt
tests/expected/comb_sort.lean
tests/expected/comb_sort.mojo
tests/expected/comb_sort.nim
tests/expected/comb_sort.py
tests/expected/comb_sort.rs
tests/expected/comb_sort.v
tests/expected/comb_sort.zig
tests/expected/comment_unsupported.cpp
tests/expected/comment_unsupported.d
tests/expected/comment_unsupported.dart
tests/expected/comment_unsupported.go
tests/expected/comment_unsupported.jl
tests/expected/comment_unsupported.kt
tests/expected/comment_unsupported.lean
tests/expected/comment_unsupported.nim
tests/expected/comment_unsupported.py
tests/expected/comment_unsupported.rs
tests/expected/comment_unsupported.zig
tests/expected/comparison.d
tests/expected/comparison.jl
tests/expected/comparison.lean
tests/expected/comparison.mojo
tests/expected/comparison.py
tests/expected/comparison.v
tests/expected/complex.d
tests/expected/complex.jl
tests/expected/complex.py
tests/expected/coverage.cpp
tests/expected/coverage.dart
tests/expected/coverage.go
tests/expected/coverage.jl
tests/expected/coverage.kt
tests/expected/coverage.lean
tests/expected/coverage.nim
tests/expected/coverage.py
tests/expected/coverage.rs
tests/expected/coverage.v
tests/expected/datatypes.smt
tests/expected/datatypes_base.smt
tests/expected/delete.cpp
tests/expected/delete.d
tests/expected/delete.go
tests/expected/delete.jl
tests/expected/delete.lean
tests/expected/delete.nim
tests/expected/delete.py
tests/expected/delete.v
tests/expected/demorgan.smt
tests/expected/demorgan2.lean
tests/expected/demorgan2.py
tests/expected/dependent_types.lean
tests/expected/dependent_types.py
tests/expected/dict.d
tests/expected/dict.dart
tests/expected/dict.jl
tests/expected/dict.lean
tests/expected/dict.mojo
tests/expected/dict.py
tests/expected/dict.rs
tests/expected/dict.v
tests/expected/dict_comp.jl
tests/expected/dict_comp.lean
tests/expected/dict_comp.py
tests/expected/dict_comp.v
tests/expected/equations.smt
tests/expected/equations2.kt
tests/expected/equations2.lean
tests/expected/equations2.py
tests/expected/exception_names.dart
tests/expected/exception_names.go
tests/expected/exception_names.py
tests/expected/exceptions.dart
tests/expected/exceptions.go
tests/expected/exceptions.jl
tests/expected/exceptions.py
tests/expected/exceptions.v
tests/expected/fib.cpp
tests/expected/fib.d
tests/expected/fib.dart
tests/expected/fib.go
tests/expected/fib.jl
tests/expected/fib.kt
tests/expected/fib.lean
tests/expected/fib.mojo
tests/expected/fib.nim
tests/expected/fib.py
tests/expected/fib.rs
tests/expected/fib.v
tests/expected/fib.zig
tests/expected/fib_with_argparse.py
tests/expected/fib_with_argparse.rs
tests/expected/fstring.go
tests/expected/fstring.jl
tests/expected/fstring.lean
tests/expected/fstring.py
tests/expected/fstring.rs
tests/expected/fstring.v
tests/expected/gen_exp.d
tests/expected/gen_exp.jl
tests/expected/gen_exp.py
tests/expected/gen_exp.rs
tests/expected/gen_exp.v
tests/expected/generator.py
tests/expected/generator.v
tests/expected/global.cpp
tests/expected/global.d
tests/expected/global.dart
tests/expected/global.go
tests/expected/global.jl
tests/expected/global.kt
tests/expected/global.lean
tests/expected/global.nim
tests/expected/global.py
tests/expected/global.rs
tests/expected/global.v
tests/expected/global2.cpp
tests/expected/global2.d
tests/expected/global2.dart
tests/expected/global2.go
tests/expected/global2.jl
tests/expected/global2.kt
tests/expected/global2.lean
tests/expected/global2.nim
tests/expected/global2.py
tests/expected/global2.rs
tests/expected/global2.v
tests/expected/hello_world.cpp
tests/expected/hello_world.d
tests/expected/hello_world.dart
tests/expected/hello_world.go
tests/expected/hello_world.jl
tests/expected/hello_world.kt
tests/expected/hello_world.lean
tests/expected/hello_world.mojo
tests/expected/hello_world.nim
tests/expected/hello_world.py
tests/expected/hello_world.rs
tests/expected/hello_world.v
tests/expected/hello_world.zig
tests/expected/ifexp.cpp
tests/expected/ifexp.d
tests/expected/ifexp.dart
tests/expected/ifexp.go
tests/expected/ifexp.jl
tests/expected/ifexp.kt
tests/expected/ifexp.lean
tests/expected/ifexp.nim
tests/expected/ifexp.py
tests/expected/ifexp.rs
tests/expected/ifexp.v
tests/expected/import_tests.cpp
tests/expected/import_tests.d
tests/expected/import_tests.dart
tests/expected/import_tests.go
tests/expected/import_tests.jl
tests/expected/import_tests.kt
tests/expected/import_tests.lean
tests/expected/import_tests.nim
tests/expected/import_tests.py
tests/expected/import_tests.rs
tests/expected/import_tests.v
tests/expected/infer.cpp
tests/expected/infer.d
tests/expected/infer.dart
tests/expected/infer.go
tests/expected/infer.jl
tests/expected/infer.kt
tests/expected/infer.lean
tests/expected/infer.mojo
tests/expected/infer.nim
tests/expected/infer.py
tests/expected/infer.rs
tests/expected/infer.v
tests/expected/infer.zig
tests/expected/infer_ops.cpp
tests/expected/infer_ops.d
tests/expected/infer_ops.dart
tests/expected/infer_ops.go
tests/expected/infer_ops.jl
tests/expected/infer_ops.kt
tests/expected/infer_ops.lean
tests/expected/infer_ops.nim
tests/expected/infer_ops.py
tests/expected/infer_ops.rs
tests/expected/infer_ops.v
tests/expected/infer_ops.zig
tests/expected/int_enum.cpp
tests/expected/int_enum.dart
tests/expected/int_enum.go
tests/expected/int_enum.jl
tests/expected/int_enum.kt
tests/expected/int_enum.lean
tests/expected/int_enum.nim
tests/expected/int_enum.py
tests/expected/int_enum.rs
tests/expected/int_enum.v
tests/expected/invariants.lean
tests/expected/invariants.py
tests/expected/lambda.cpp
tests/expected/lambda.dart
tests/expected/lambda.go
tests/expected/lambda.jl
tests/expected/lambda.kt
tests/expected/lambda.lean
tests/expected/lambda.nim
tests/expected/lambda.py
tests/expected/lambda.rs
tests/expected/lambda.v
tests/expected/lambda_walrus.lean
tests/expected/lambda_walrus.py
tests/expected/lambda_walrus.v
tests/expected/langcomp_bench.d
tests/expected/langcomp_bench.jl
tests/expected/langcomp_bench.lean
tests/expected/langcomp_bench.py
tests/expected/langcomp_bench.rs
tests/expected/loop.cpp
tests/expected/loop.d
tests/expected/loop.dart
tests/expected/loop.go
tests/expected/loop.jl
tests/expected/loop.kt
tests/expected/loop.lean
tests/expected/loop.mojo
tests/expected/loop.nim
tests/expected/loop.py
tests/expected/loop.rs
tests/expected/loop.v
tests/expected/loop.zig
tests/expected/math_func.cpp
tests/expected/math_func.d
tests/expected/math_func.dart
tests/expected/math_func.go
tests/expected/math_func.jl
tests/expected/math_func.lean
tests/expected/math_func.mojo
tests/expected/math_func.py
tests/expected/math_func.v
tests/expected/math_func.zig
tests/expected/nested_dict.cpp
tests/expected/nested_dict.d
tests/expected/nested_dict.dart
tests/expected/nested_dict.go
tests/expected/nested_dict.jl
tests/expected/nested_dict.kt
tests/expected/nested_dict.lean
tests/expected/nested_dict.nim
tests/expected/nested_dict.py
tests/expected/nested_dict.rs
tests/expected/nested_dict.v
tests/expected/print.cpp
tests/expected/print.d
tests/expected/print.dart
tests/expected/print.go
tests/expected/print.jl
tests/expected/print.kt
tests/expected/print.lean
tests/expected/print.nim
tests/expected/print.py
tests/expected/print.rs
tests/expected/print.v
tests/expected/print.zig
tests/expected/rect.cpp
tests/expected/rect.d
tests/expected/rect.dart
tests/expected/rect.go
tests/expected/rect.jl
tests/expected/rect.kt
tests/expected/rect.lean
tests/expected/rect.mojo
tests/expected/rect.nim
tests/expected/rect.py
tests/expected/rect.rs
tests/expected/rect.v
tests/expected/regex_methods.go
tests/expected/regex_methods.py
tests/expected/regex_methods.v
tests/expected/scope.cpp
tests/expected/scope.dart
tests/expected/scope.lean
tests/expected/scope.py
tests/expected/scope.v
tests/expected/sealed.py
tests/expected/sealed.rs
tests/expected/simple_lambda.cpp
tests/expected/simple_lambda.dart
tests/expected/simple_lambda.go
tests/expected/simple_lambda.jl
tests/expected/simple_lambda.lean
tests/expected/simple_lambda.nim
tests/expected/simple_lambda.py
tests/expected/simple_lambda.rs
tests/expected/simple_lambda.v
tests/expected/smt_types.smt
tests/expected/starred.go
tests/expected/starred.jl
tests/expected/starred.py
tests/expected/starred.v
tests/expected/stdio.cpp
tests/expected/stdio.d
tests/expected/stdio.dart
tests/expected/stdio.lean
tests/expected/stdio.py
tests/expected/stdlib_str.go
tests/expected/stdlib_str.py
tests/expected/stdlib_str.rs
tests/expected/stdlib_str.v
tests/expected/str_enum.cpp
tests/expected/str_enum.dart
tests/expected/str_enum.go
tests/expected/str_enum.jl
tests/expected/str_enum.kt
tests/expected/str_enum.lean
tests/expected/str_enum.nim
tests/expected/str_enum.py
tests/expected/str_enum.rs
tests/expected/str_enum.v
tests/expected/sudoku.smt
tests/expected/sudoku2.lean
tests/expected/sudoku2.py
tests/expected/sys_argv.cpp
tests/expected/sys_argv.d
tests/expected/sys_argv.dart
tests/expected/sys_argv.go
tests/expected/sys_argv.jl
tests/expected/sys_argv.kt
tests/expected/sys_argv.lean
tests/expected/sys_argv.nim
tests/expected/sys_argv.py
tests/expected/sys_argv.rs
tests/expected/sys_argv.v
tests/expected/sys_argv.zig
tests/expected/sys_exit.cpp
tests/expected/sys_exit.d
tests/expected/sys_exit.dart
tests/expected/sys_exit.go
tests/expected/sys_exit.jl
tests/expected/sys_exit.kt
tests/expected/sys_exit.lean
tests/expected/sys_exit.mojo
tests/expected/sys_exit.nim
tests/expected/sys_exit.py
tests/expected/sys_exit.rs
tests/expected/sys_exit.v
tests/expected/sys_exit.zig
tests/expected/test_dunder.py
tests/expected/test_dunder.v
tests/expected/test_generators.v
tests/expected/test_star.go
tests/expected/test_star.py
tests/expected/test_star.v
tests/expected/test_walrus_simple.go
tests/expected/test_walrus_simple.lean
tests/expected/test_walrus_simple.py
tests/expected/test_walrus_simple.v
tests/expected/triangle_buggy.smt
tests/expected/verified_sort.jl
tests/expected/verified_sort.lean
tests/expected/verified_sort.py
tests/expected/verified_sort.rs
tests/expected/walrus.go
tests/expected/walrus.lean
tests/expected/walrus.py
tests/expected/walrus.v
tests/expected/with.py
tests/expected/with.v
tests/expected/with_open.py
tests/expected/with_open.rs
tests/expected/yield_from.py
tests/expected/yield_from.v
tests/ext_cases/rect.py
tests/ext_cases/string_sum.py
tests/ext_expected/lib.rs
tests/ext_expected/rect.rs
tests/ext_expected/string_sum.rs