sverify/__init__.py,sha256=v65ti3doYYYqhyWZZk-_IUpLIDzpZa_41G41xegDGCo,2132
sverify/asof.py,sha256=_6DG0Q2VO8y3lH5kSbaJFakfhhL6G1XX1-tHaZQuamM,3465
sverify/catalogue.py,sha256=j__-nqszgXTQ1c6KjDe-eWuRdyQwbyyexAIQPXIVmsc,35092
sverify/contracts.py,sha256=xdGraQCADKoXGGsaqoPo463pymBdHOiVmWL5PUfZrp8,54674
sverify/counterexample.py,sha256=NEPVCZE0--pCR1Y8vX8AftXceG5Gvt69mxITgQUtCJw,10137
sverify/coverage.py,sha256=pC9yZSctjGvey7qeajGHlg1-unlvjgZOTdY7z3EeoXU,7421
sverify/display.py,sha256=R-j-_OurcGntQ0_cpAqhTYA-eti6sSd16-3ngSL2JrQ,3170
sverify/duckdb_engine.py,sha256=_KUkJN8FdJPqUH1QiuGEoQ9KVYK8vZ5vTiWXCrJcEXA,2139
sverify/engine.py,sha256=-OX9IDok-SwMGQx7JElW5rvka7sLal1GZ8bk6_akuSY,32548
sverify/engines.py,sha256=MOCduKrS8UjMnj3n-jkDPV0uO7ZCdN08dS7KwUfGc6U,2772
sverify/errors.py,sha256=OA1wdSMCTUpDSzuSUunO17COZnrOjcYIgK2cf5El9IM,1175
sverify/examples.py,sha256=qWoRjW549XkztXRnoJ5oM015Ff5lMbj1oaubvsNbLVw,2325
sverify/fuzz.py,sha256=a_R6bao98UokAqvP9_kmpeU0-XUlmh0wM8NV3PJnbPA,24330
sverify/incremental.py,sha256=4dK3yOkOC5QUapPrC1Fi9yY9a_hd52f-XAtrQ9KntyU,52829
sverify/nodes.py,sha256=C0wmJeccB5WZoz-gWe2_iAImItOEYF6jlqWjLvIDGhU,28664
sverify/partition.py,sha256=zi-I7ZvR7nipQfBn-R_rtgEwYviO0lP0oHoe4AyRvPA,13137
sverify/polars_engine.py,sha256=w0EVntShlMShwJngmx6DV96VMSxetPVxNqDLnzydVbQ,84968
sverify/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
sverify/spark_engine.py,sha256=hPs5q5uxbQi2PMiUKJaF2NlpmgssjtgnsCPFO_TEMpw,4832
sverify/sql_model.py,sha256=P3K6K92YU_lsqdewVDhH1-W1EqrKbtjvXNdCHWYof8w,3849
sverify/testing.py,sha256=iwjD2Jj_0BsMQzIfqWnSoFZZwIiovD_eoE5GGZkXYrk,6052
sverify/_bin/substrait-check,sha256=jER4BAK3UwNfQFjOQfdfJ0-PwBQP6AyfFOfQd54m51A,84409960
sverify/coverage_cases/__init__.py,sha256=GKuGTHK2XQUPf4AdzN8AueZg9tU8I_Rr-XEy6JIeoSA,1982
sverify/coverage_cases/_common.py,sha256=2e4Hf7M_urljNJ7MMyHyixPbrIRtinKe14n3gpMer8A,3603
sverify/coverage_cases/aggregation.py,sha256=OHEKJrmQtzGzEi8Nf5m7efHyinFDSoxVQcFMWaNZ-jI,2354
sverify/coverage_cases/joins.py,sha256=_Guji2sHNKW9YE98ruE-4cdbYlPCK2qtXjTRVB0oZKs,3469
sverify/coverage_cases/lists.py,sha256=gnv17E7eQESPbixnJFWa5ifw3LxusseXhgGOn3CzhVc,767
sverify/coverage_cases/nulls.py,sha256=K7DItHsoLGyOnIyXvJUg4nTtuU2rGJW7BSmKEUjCUJo,420
sverify/coverage_cases/numbers.py,sha256=zI0TDbbUc8iyEUYIQH3QExtFrQDp9JmFRZOhhK0H05U,1270
sverify/coverage_cases/rows.py,sha256=MlDiF7PI_b1A_UbON64tMwSt-isiiFbBA1-nAmkT-5M,2686
sverify/coverage_cases/strings.py,sha256=AAgPFLwh3T7hYFJ3jJznohQ86_u_aacBgDJKgRZWEPg,830
sverify/coverage_cases/temporal.py,sha256=xYwUZQaMZr8TkYeCJhHyLJTBRkCKcY_n45F2NJMiCng,6188
sverify/coverage_cases/windows.py,sha256=34NWhw48exiOEcaIHPA21-tupV3c4_2oCPq5bv28nkY,4284
sverify/ibis_substrait/LICENSE,sha256=Tsf6sRqoGJ9LJ2HTcNvH-IlMXUfPxHgHruaQTd4mrD8,11345
sverify/ibis_substrait/README.md,sha256=FnhBfPANG5N9GkLFZOtGjdvp_oyJeG123Alx-40exHM,557
sverify/ibis_substrait/__init__.py,sha256=EsazwXGyvwjuTjbulgN9NiE_MLvP-hfYcWR9IFLN-4o,61070
sverify/io/__init__.py,sha256=hFJhr2bcORUND-x6KxZlV0fSAY1-ls9UHC0fcKONrGM,1742
sverify/io/_common.py,sha256=IzT_kM8zZ5-snc3FTSO-3NJLi_yz1nUzwktGwbeqM3E,13480
sverify/io/delta.py,sha256=M6w2zjvovgFZMlunYHRpcbQ7Z6C-vk0qdSEaGhLQHI0,24371
sverify/io/iceberg.py,sha256=ot2hKWnA9ZCxyrfqaZCPvBBDVgkxe9JFMCMiefWHkBI,26416
sverify/skills/sverify/SKILL.md,sha256=9AKxe46P_fPdkLnY-hwWgVF_LW05YSErt0j1tdNvD2M,5793
sverify/skills/sverify/references/contracts.md,sha256=7YwU4cOXJyAR7nKvpFjA8Hj9nOvCCwUYcZHOYZEFG24,2691
sverify/skills/sverify-engines/SKILL.md,sha256=RMwxIOXyoXK-zQ3bPMx2sQzsw71a6wyNAwGfL2OsYtY,4865
sverify/skills/sverify-engines/references/semantics.md,sha256=rgSd09xr2oTVUfZvRWjJrG8nRclLqZXGWRQIBEv2kn0,1817
sverify/skills/sverify-pipelines/SKILL.md,sha256=n9477y2RrwDbwBF2m7ulPO8E2tw4WZxnu8w3nnrpPOw,5284
sverify/skills/sverify-pipelines/references/table-formats.md,sha256=4C9DqIQ8Jx6pPsSqsn-OOZhMX2ZwSv43Ro42T7i1ZUc,3978
sverify/sql/__init__.py,sha256=GOCyCPjDouVUnZhEHlZLexgd9BS7Q9x4HkLKsIuYr7A,387
sverify/sql/core.py,sha256=Ahc27sH4auv-7C9F2xLvwXQTuKGYt1J_BYbLjAwr7Ls,151803
sverify/sql/duckdb.py,sha256=xe1P5v4TmmZZtm78IfcEv0bvGcfW5U6hCY2GbzVJids,6867
sverify/sql/snowflake.py,sha256=T-c2WSLv3ydbEOrgZ8yk5PA5hMptaFpFsh_aBZYyeXs,13446
sverify/sql/spark.py,sha256=A2wu-zShajDRGe9glHdHhbne_jOU9muU83K3P547CIA,14006
sverify-0.2.0.dist-info/METADATA,sha256=7MJcpMIRCJ3tOc8N1pCfggaRumLrqktZ99FYvtFjbKY,10479
sverify-0.2.0.dist-info/WHEEL,sha256=GsyVwGigI9paFNNwwivAI15agAO4qkThk9iZzYPOj2A,144
sverify-0.2.0.dist-info/RECORD,,
