MANIFEST.in
pyproject.toml
soltg_plus_plus.egg-info/PKG-INFO
soltg_plus_plus.egg-info/SOURCES.txt
soltg_plus_plus.egg-info/dependency_links.txt
soltg_plus_plus.egg-info/entry_points.txt
soltg_plus_plus.egg-info/requires.txt
soltg_plus_plus.egg-info/top_level.txt
soltgbackend/solc_new/solidity/deps/fmtlib/support/docopt.py
soltgbackend/solc_new/solidity/deps/fmtlib/support/manage.py
soltgbackend/solc_new/solidity/deps/fmtlib/support/printable.py
soltgbackend/solc_new/solidity/deps/fmtlib/support/python/mkdocstrings_handlers/cxx/__init__.py
soltgbackend/solc_new/solidity/deps/nlohmann-json/docs/mkdocs/scripts/check_structure.py
soltgbackend/solc_new/solidity/deps/nlohmann-json/tests/thirdparty/imapdl/filterbr.py
soltgbackend/solc_new/solidity/deps/nlohmann-json/tools/amalgamate/amalgamate.py
soltgbackend/solc_new/solidity/deps/nlohmann-json/tools/gdb_pretty_printer/nlohmann-json.py
soltgbackend/solc_new/solidity/deps/nlohmann-json/tools/generate_natvis/generate_natvis.py
soltgbackend/solc_new/solidity/deps/nlohmann-json/tools/serve_header/serve_header.py
soltgbackend/solc_new/solidity/deps/range-v3/conanfile.py
soltgbackend/solc_new/solidity/deps/range-v3/test_package/conanfile.py
soltgbackend/solc_new/solidity/docs/conf.py
soltgbackend/solc_new/solidity/docs/ext/html_extra_template_renderer.py
soltgbackend/solc_new/solidity/docs/ext/remix_code_links.py
soltgbackend/solc_new/solidity/libsmtutil/genz3wrapper.py
soltgbackend/solc_new/solidity/scripts/error_codes.py
soltgbackend/solc_new/solidity/scripts/extract_test_cases.py
soltgbackend/solc_new/solidity/scripts/gas_diff_stats.py
soltgbackend/solc_new/solidity/scripts/isolate_tests.py
soltgbackend/solc_new/solidity/scripts/pylint_all.py
soltgbackend/solc_new/solidity/scripts/regressions.py
soltgbackend/solc_new/solidity/scripts/splitSources.py
soltgbackend/solc_new/solidity/scripts/update_bugs_by_version.py
soltgbackend/solc_new/solidity/scripts/bytecodecompare/prepare_report.py
soltgbackend/solc_new/solidity/scripts/common/cmdline_helpers.py
soltgbackend/solc_new/solidity/scripts/common/git_helpers.py
soltgbackend/solc_new/solidity/scripts/common/rest_api_helpers.py
soltgbackend/solc_new/solidity/scripts/externalTests/benchmark_diff.py
soltgbackend/solc_new/solidity/scripts/externalTests/download_benchmarks.py
soltgbackend/solc_new/solidity/scripts/externalTests/parse_eth_gas_report.py
soltgbackend/solc_new/solidity/scripts/externalTests/test_helpers.py
soltgbackend/solc_new/solidity/scripts/externalTests/runners/base.py
soltgbackend/solc_new/solidity/scripts/externalTests/runners/foundry.py
soltgbackend/solc_new/solidity/scripts/wasm-rebuild/docker-scripts/isolate_tests.py
soltgbackend/solc_new/solidity/test/external_tests.py
soltgbackend/solc_new/solidity/test/lsp.py
soltgbackend/solc_new/solidity/test/pyscriptTests.py
soltgbackend/solc_new/solidity/test/cmdlineTests/~bytecode_equivalence_independent_of_import_discovery_order/test.py
soltgbackend/solc_new/solidity/test/cmdlineTests/~bytecode_equivalence_with_unused_contracts/test.py
soltgbackend/solc_new/solidity/test/externalTests/prb-math.py
soltgbackend/solc_new/solidity/test/formal/and_distributed_over_shl.py
soltgbackend/solc_new/solidity/test/formal/byte_big.py
soltgbackend/solc_new/solidity/test/formal/byte_equivalence.py
soltgbackend/solc_new/solidity/test/formal/checked_int_add.py
soltgbackend/solc_new/solidity/test/formal/checked_int_div.py
soltgbackend/solc_new/solidity/test/formal/checked_int_mul_12.py
soltgbackend/solc_new/solidity/test/formal/checked_int_sub.py
soltgbackend/solc_new/solidity/test/formal/checked_uint_add.py
soltgbackend/solc_new/solidity/test/formal/checked_uint_mul_12.py
soltgbackend/solc_new/solidity/test/formal/checked_uint_sub.py
soltgbackend/solc_new/solidity/test/formal/combine_byte_shl.py
soltgbackend/solc_new/solidity/test/formal/combine_byte_shr_1.py
soltgbackend/solc_new/solidity/test/formal/combine_byte_shr_2.py
soltgbackend/solc_new/solidity/test/formal/combine_div_shl_one_32.py
soltgbackend/solc_new/solidity/test/formal/combine_mul_shl_one_64.py
soltgbackend/solc_new/solidity/test/formal/combine_shl_shr_by_constant_64.py
soltgbackend/solc_new/solidity/test/formal/combine_shr_shl_by_constant_64.py
soltgbackend/solc_new/solidity/test/formal/eq_sub.py
soltgbackend/solc_new/solidity/test/formal/exp_neg_one.py
soltgbackend/solc_new/solidity/test/formal/exp_to_shl.py
soltgbackend/solc_new/solidity/test/formal/mod_add_to_addmod.py
soltgbackend/solc_new/solidity/test/formal/mod_mul_to_mulmod.py
soltgbackend/solc_new/solidity/test/formal/move_and_across_shl_128.py
soltgbackend/solc_new/solidity/test/formal/move_and_across_shr_128.py
soltgbackend/solc_new/solidity/test/formal/move_and_inside_or.py
soltgbackend/solc_new/solidity/test/formal/opcodes.py
soltgbackend/solc_new/solidity/test/formal/redundant_store_unrelated.py
soltgbackend/solc_new/solidity/test/formal/repeated_and.py
soltgbackend/solc_new/solidity/test/formal/repeated_or.py
soltgbackend/solc_new/solidity/test/formal/replace_mul_by_shift.py
soltgbackend/solc_new/solidity/test/formal/rule.py
soltgbackend/solc_new/solidity/test/formal/shl_workaround_8.py
soltgbackend/solc_new/solidity/test/formal/signed_integer_cleanup_function.py
soltgbackend/solc_new/solidity/test/formal/signextend.py
soltgbackend/solc_new/solidity/test/formal/signextend_and.py
soltgbackend/solc_new/solidity/test/formal/signextend_equivalence.py
soltgbackend/solc_new/solidity/test/formal/signextend_shl.py
soltgbackend/solc_new/solidity/test/formal/signextend_shr.py
soltgbackend/solc_new/solidity/test/formal/smod.py
soltgbackend/solc_new/solidity/test/formal/sub_not_zero_x_to_not_x_256.py
soltgbackend/solc_new/solidity/test/formal/sub_sub.py
soltgbackend/solc_new/solidity/test/formal/unsigned_integer_cleanup_function.py
soltgbackend/solc_new/solidity/test/formal/util.py
soltgbackend/solc_new/solidity/test/scripts/test_bytecodecompare_prepare_report.py
soltgbackend/solc_new/solidity/test/scripts/test_externalTests_benchmark_diff.py
soltgbackend/solc_new/solidity/test/scripts/test_externalTests_benchmark_downloader.py
soltgbackend/solc_new/solidity/test/scripts/test_externalTests_parse_eth_gas_report.py
soltgbackend/solc_new/solidity/test/scripts/test_gas_diff_stats.py
soltgbackend/solc_new/solidity/test/scripts/test_isolate_tests.py
soltgbackend/solc_new/solidity/test/scripts/unittest_helpers.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/all_interval_series.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/efsmt.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/example.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/hs.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/mini_ic3.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/mini_quip.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/parallel.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/rc2.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/socrates.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/trafficjam.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/union_sort.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/visitor.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/z3test.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/z3/__init__.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/z3/z3.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/z3/z3consts.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/z3/z3core.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/z3/z3num.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/z3/z3poly.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/z3/z3printer.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/z3/z3rcf.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/z3/z3types.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/build/python/z3/z3util.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/contrib/cmake/bootstrap.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/doc/mk_api_doc.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/all_interval_series.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/efsmt.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/example.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/hs.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/mini_ic3.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/mini_quip.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/parallel.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/rc2.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/socrates.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/trafficjam.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/union_sort.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/visitor.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/bounded model checking/bubble_sort.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/complex/complex.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/hamiltonian/hamiltonian.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/mus/marco.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/examples/python/mus/mss.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/mk_consts_files.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/mk_copyright.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/mk_def_file.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/mk_exception.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/mk_genfile_common.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/mk_gparams_register_modules_cpp.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/mk_install_tactic_cpp.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/mk_make.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/mk_mem_initializer_cpp.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/mk_nuget_task.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/mk_pat_db.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/mk_project.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/mk_unix_dist.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/mk_util.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/mk_win_dist.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/pyg2hpp.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/update_api.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/update_header_guards.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/scripts/update_include.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/src/api/python/setup.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/src/api/python/z3test.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/src/api/python/z3/__init__.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/src/api/python/z3/z3.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/src/api/python/z3/z3consts.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/src/api/python/z3/z3core.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/src/api/python/z3/z3num.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/src/api/python/z3/z3poly.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/src/api/python/z3/z3printer.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/src/api/python/z3/z3rcf.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/src/api/python/z3/z3types.py
soltgbackend/tg_final/aeval/build/z3-prefix/src/z3/src/api/python/z3/z3util.py
soltgfrontend/__init__.py
soltgfrontend/prompt.txt
soltgfrontend/setup.py
soltgfrontend/build/lib/solTg/ReportBuilder.py
soltgfrontend/build/lib/solTg/RunAll.py
soltgfrontend/build/lib/solTg/SolParser.py
soltgfrontend/build/lib/solTg/SolidityTestGen.py
soltgfrontend/build/lib/solTg/TestWrapper.py
soltgfrontend/build/lib/solTg/Utils.py
soltgfrontend/build/lib/solTg/__init__.py
soltgfrontend/deps/__init__.py
soltgfrontend/deps/run_solcmc
soltgfrontend/deps/solc
soltgfrontend/deps/tgnonlin
soltgfrontend/lib/forge-std/scripts/vm.py
soltgfrontend/solTg/ReportBuilder.py
soltgfrontend/solTg/RunAll.py
soltgfrontend/solTg/SolParser.py
soltgfrontend/solTg/SolidityTestGen.py
soltgfrontend/solTg/TestWrapper.py
soltgfrontend/solTg/Utils.py
soltgfrontend/solTg/__init__.py