LICENSE
PYPI_README.md
README.md
pyproject.toml
tests/test_adt_eq_reject_928.py
tests/test_adt_float64_eq_871.py
tests/test_adt_ord_reject_921.py
tests/test_array_map_slot_closure_1056.py
tests/test_ast.py
tests/test_browser.py
tests/test_build_site.py
tests/test_builtin_typevar_collision_970.py
tests/test_check_changelog_updated.py
tests/test_check_doc_counts.py
tests/test_check_explicit_encoding.py
tests/test_check_limitations_sync.py
tests/test_check_walker_coverage_597.py
tests/test_checker_apply_fn.py
tests/test_checker_builtins_collections.py
tests/test_checker_builtins_strings.py
tests/test_checker_effects.py
tests/test_checker_errors.py
tests/test_checker_functions.py
tests/test_checker_int_nat.py
tests/test_checker_modules.py
tests/test_checker_patterns.py
tests/test_checker_types.py
tests/test_cli.py
tests/test_codegen_alias_of_adt_eq_show_1085.py
tests/test_codegen_alias_typeargs_eq_1076.py
tests/test_codegen_arrays.py
tests/test_codegen_calls.py
tests/test_codegen_closures.py
tests/test_codegen_collections.py
tests/test_codegen_contracts.py
tests/test_codegen_coverage.py
tests/test_codegen_data_types.py
tests/test_codegen_decimal.py
tests/test_codegen_effects.py
tests/test_codegen_erased_alias_typeargs_1070.py
tests/test_codegen_expressions.py
tests/test_codegen_gc_alloc.py
tests/test_codegen_gc_reclamation.py
tests/test_codegen_gc_rooting.py
tests/test_codegen_host_effects.py
tests/test_codegen_infrastructure.py
tests/test_codegen_interpolation.py
tests/test_codegen_invariant_e699.py
tests/test_codegen_io.py
tests/test_codegen_json.py
tests/test_codegen_modules.py
tests/test_codegen_monomorphize.py
tests/test_codegen_nat_guards.py
tests/test_codegen_nested_nullary_ctor_994.py
tests/test_codegen_numeric.py
tests/test_codegen_refinements.py
tests/test_codegen_string_builtins.py
tests/test_codegen_strings.py
tests/test_codegen_structural_eq.py
tests/test_codegen_translator_fixes.py
tests/test_codegen_typeparam_unit_wildcard_1060.py
tests/test_codegen_where_helper_mangling_991.py
tests/test_codegen_zero_size_fields_1043.py
tests/test_composite_postcondition_eq_912.py
tests/test_conformance.py
tests/test_contract_predicate_degradation_922.py
tests/test_diagnostic_fields.py
tests/test_doc_annotations.py
tests/test_doc_builtin_shadowing.py
tests/test_eq_contract_874.py
tests/test_errors.py
tests/test_execute_characterization.py
tests/test_float64_builtins_807.py
tests/test_float64_fp.py
tests/test_formatter.py
tests/test_generic_where_helper_990.py
tests/test_hetero_widen_tailcall.py
tests/test_html.py
tests/test_int_overflow.py
tests/test_int_overflow_codegen.py
tests/test_int_overflow_differential.py
tests/test_int_widening_codegen.py
tests/test_int_widening_differential.py
tests/test_introspect.py
tests/test_lsp.py
tests/test_markdown.py
tests/test_monomorphize_differential.py
tests/test_mutual_recursive_sorts_881.py
tests/test_nat_int_widening.py
tests/test_nat_narrowing_return_differential.py
tests/test_obligations.py
tests/test_parser.py
tests/test_prelude.py
tests/test_prelude_diagnostics.py
tests/test_readme.py
tests/test_release.py
tests/test_resolver.py
tests/test_runtime_traps.py
tests/test_serve.py
tests/test_soundness_392.py
tests/test_state_clause_semantics.py
tests/test_stress.py
tests/test_string_length_soundness.py
tests/test_tester.py
tests/test_tester_artifacts.py
tests/test_tester_coverage.py
tests/test_types.py
tests/test_verifier_adt_decreases.py
tests/test_verifier_calls_modules.py
tests/test_verifier_contracts.py
tests/test_verifier_coverage.py
tests/test_verifier_mutation_gates_smt.py
tests/test_verifier_mutation_obligations.py
tests/test_verifier_nat_obligations.py
tests/test_verifier_nested_ctor_sort_918.py
tests/test_verifier_nullary_ctor_sort_994.py
tests/test_verifier_primitive_ops.py
tests/test_verifier_refinements.py
tests/test_verifier_shadow_audits.py
tests/test_verifier_sort_name_collision_884.py
tests/test_verifier_where_helper_scope_991.py
tests/test_walker_defensive_branches_597.py
tests/test_wasi_target.py
tests/test_wasm.py
tests/test_wasm_coverage.py
tests/test_xmod_ability_ops_992.py
tests/test_xmod_artifact_collection.py
tests/test_xmod_generic_widen_gap.py
tests/test_xmod_span_collision.py
tests/test_xmod_where_helper_import_991.py
tests/test_xmod_widening_differential.py
vera/__init__.py
vera/_since.py
vera/ast.py
vera/cli.py
vera/environment.py
vera/errors.py
vera/formatter.py
vera/grammar.lark
vera/introspect.py
vera/lexical.py
vera/markdown.py
vera/monomorphize.py
vera/parser.py
vera/prelude.py
vera/registration.py
vera/resolver.py
vera/skip.py
vera/slots.py
vera/smt.py
vera/tester.py
vera/transform.py
vera/types.py
vera/verifier.py
vera/browser/__init__.py
vera/browser/emit.py
vera/browser/harness.mjs
vera/browser/runtime.mjs
vera/checker/__init__.py
vera/checker/calls.py
vera/checker/control.py
vera/checker/core.py
vera/checker/eq_ability.py
vera/checker/expressions.py
vera/checker/modules.py
vera/checker/registration.py
vera/checker/resolution.py
vera/codegen/__init__.py
vera/codegen/api.py
vera/codegen/assembly.py
vera/codegen/closures.py
vera/codegen/compilability.py
vera/codegen/contracts.py
vera/codegen/core.py
vera/codegen/functions.py
vera/codegen/memory.py
vera/codegen/modules.py
vera/codegen/monomorphize.py
vera/codegen/registration.py
vera/codegen/tail_position.py
vera/codegen/wasi.py
vera/lsp/__init__.py
vera/lsp/convert.py
vera/lsp/documents.py
vera/lsp/extensions.py
vera/lsp/features.py
vera/lsp/server.py
vera/lsp/workflows.py
vera/obligations/__init__.py
vera/obligations/cache.py
vera/obligations/core.py
vera/obligations/session.py
vera/runtime/__init__.py
vera/runtime/async_http.py
vera/runtime/collections.py
vera/runtime/decimal.py
vera/runtime/heap.py
vera/runtime/html.py
vera/runtime/http.py
vera/runtime/inference.py
vera/runtime/json.py
vera/runtime/map.py
vera/runtime/math.py
vera/runtime/md.py
vera/runtime/random.py
vera/runtime/regex.py
vera/runtime/server.py
vera/runtime/set.py
vera/runtime/state.py
vera/runtime/text.py
vera/runtime/traps.py
vera/runtime/wasi_host.py
vera/wasm/__init__.py
vera/wasm/async_fusion.py
vera/wasm/calls.py
vera/wasm/calls_arrays.py
vera/wasm/calls_containers.py
vera/wasm/calls_encoding.py
vera/wasm/calls_handlers.py
vera/wasm/calls_markup.py
vera/wasm/calls_math.py
vera/wasm/calls_parsing.py
vera/wasm/calls_strings.py
vera/wasm/closures.py
vera/wasm/context.py
vera/wasm/data.py
vera/wasm/helpers.py
vera/wasm/html_serde.py
vera/wasm/inference.py
vera/wasm/json_serde.py
vera/wasm/markdown.py
vera/wasm/operators.py
veralang.egg-info/PKG-INFO
veralang.egg-info/SOURCES.txt
veralang.egg-info/dependency_links.txt
veralang.egg-info/entry_points.txt
veralang.egg-info/requires.txt
veralang.egg-info/top_level.txt