svgap/__init__.py,sha256=fvOKHu4M0sSOYQe2v8PxLZYT2kK2g-EPlunq3gXj7iU,1421
svgap/__main__.py,sha256=B18ELigv6Nafa_6qPnP3EyUt-_h0q78_Nz10sDeQLgk,85
svgap/adjudication.py,sha256=O2eOmgM95FH_JlA8cBJG5dc-ou_kgAaPnC5JCEozwAg,19408
svgap/api.py,sha256=NnlX_6geAeNFVxG_VvSHisbFJlhf2nfI5DVvXb00FYU,2276
svgap/audit.py,sha256=4m9wxbCynhVFIfLtflAfDkTc40C7r6S6Y6GcL4NGd-c,14151
svgap/challenge.py,sha256=RaC2F1nfjCzWG_VIW10PwaOKW95LIZX1_8EuKn8YI4Q,11324
svgap/challenge_runner.py,sha256=AGMibiNRVrtc0_zAKWUHCjBiizzjzSdZeLhMTUeiPCM,4954
svgap/cli.py,sha256=WqpnDu9zaL9mK8pNkPd_7eXsNF2tYkBHh8664qbXqnk,37676
svgap/demo.py,sha256=zUdeJlHL3zTELnTOfKjDyqTH_SlGyy8DcT1vzYonNm0,4053
svgap/functional.py,sha256=ay_0DeUAVZt84cvy1defTtoRRWuTYlqqCWAE8mJZKV0,6221
svgap/legibility.py,sha256=bW8V6DavwO1Yd-3ZaEKrvKDqbLbdwfR4-T-fOH12XWs,7306
svgap/manifest.py,sha256=w9JaTL5pMWV5J4GbjP2xS6rwvbMuXqhsCBf8k_U41VY,6930
svgap/model.py,sha256=GWIFYhunCLDWKpUFz316IqmR8GeiCtuwLRGCieXZrBE,2134
svgap/onboarding.py,sha256=KR1K3RpHvFBe0SxSN2fqZRu1WuJAZV08I12IOlIfJmE,2002
svgap/pilot.py,sha256=WwPpRp642E_0YOMUgZzPGG0z6fObGGWjabz5eCa0Rnk,5281
svgap/provenance.py,sha256=dtyNIXpm-P-7oVV4L2G9eLbos43NJnkIabgE6NzdxtY,1146
svgap/reporting.py,sha256=9Rz8xYhSzdVW6Xwrl3ncvJTt5MxisZ5fnB_78LqtcMg,6327
svgap/resources.py,sha256=cdzNqVzVq-3KCKDoFF63qcrggEokv9Pq0Z_um8BjgOI,2467
svgap/study.py,sha256=DnZLaoZFxAuOdUE0_D8vLdjfnYmubFE2w5evaAu1BtI,3003
svgap/study_runner.py,sha256=iwOI9EpuOcLV-rNv-CjnK23KVRuFZgPyx-GibtDwHBg,8811
svgap/submission.py,sha256=NLs-bBnH5tmVZl71Fo9BgXNq6HvkdHLtrhu-ZmIyqPc,16430
svgap/validation.py,sha256=iCkVSFZxY-Zqr2vbBDxLG2SDYLjiJTvUEp2XN2WiunQ,3609
svgap/backends/__init__.py,sha256=faMSW9PsmXDogz3e-skJ1o08rQxVJ-l-wvXyOxd3B0w,35
svgap/backends/base.py,sha256=HuIZnLKIO95O0_daYonPYiqrM70Ms_P_4j9HjVcgBsI,237
svgap/backends/reference_yosys.py,sha256=gTEtavX7sPFPndXZwWX96wVapkEAbVxIHO1Q6CwmzOs,18488
svgap/backends/registry.py,sha256=GQiLrVhg3vOCz5EPDn7lJxykLYBF8PCeFwGt_jLo4FA,1909
svgap/demo_assets/tb.sv,sha256=i9Sz9cP3FQEbdBpKbBrFzyRK9ZK0adPvnUd8dtoxyX4,632
svgap/demo_assets/safe/design.sv,sha256=2ry_A8fRyjc2yX0fNQDZlaSyijtUwfKGlAkLy4oVbO0,644
svgap/demo_assets/safe/manifest.toml,sha256=AXL2BokY1GPEz1ASs6_jWPKQ5wbfPIjgxj4NLFgDVa0,546
svgap/demo_assets/unsafe/design.sv,sha256=Owh-_oLgOIbIKY8ZN6zEsJ861EfXiUdCgxxl0KXRKzY,303
svgap/demo_assets/unsafe/manifest.toml,sha256=bQPrkeAPDkLUWQHb0cq-gcDLW1M3qsCts0cN6RU_XFg,548
svgap/resources/challenges/v0.1/README.md,sha256=-rEhyI3V2F0BulhADvUHrpqPBMTdFSq9CGUCXjyo8Lc,2169
svgap/resources/challenges/v0.1/diagnosis/example-submission.json,sha256=_1eyeks0pWW07nAUnG9iRwprdVebQX7dBg-C_iI1GW0,865
svgap/resources/challenges/v0.1/diagnosis/prompt.md,sha256=pddp6Q4eB1a4ZtZInr8D7jw_uJPaVDHN9P32mxO375c,1089
svgap/resources/challenges/v0.1/diagnosis/task.json,sha256=Mnd2AYpY__YnMgDGWuy1D9-f270sMWpq8aqg_bBHFnE,779
svgap/resources/challenges/v0.1/generation/example-submission.json,sha256=QxCDTmdcSZdvpB4SrBEqJexQIV8xsvQP90lD_JmOBFo,239
svgap/resources/challenges/v0.1/generation/report.json,sha256=O5YvJDk8NI8y5se5YlS1j8BDBzGiNXdg-W2xa1FgVGo,485
svgap/resources/challenges/v0.1/generation/task.json,sha256=8PTuKKCe7Y_I7o997INWxZ3BIrDrMI-lt-lG7fOKMGY,236
svgap/resources/challenges/v0.1/repair/after-report.json,sha256=HubluCtWGYXXgFlYxGGYbWkQX_GTLPAChq2zyFFSV_o,466
svgap/resources/challenges/v0.1/repair/before-report.json,sha256=MLo2jXZnt8UL3RqBbwApLKTzx2-OzzUyKohE4qbc30k,627
svgap/resources/challenges/v0.1/repair/example-submission.json,sha256=k5i7XQfqu6br7BtZpojFd1haDNb0oRqjKl5rPhSbOf8,301
svgap/resources/challenges/v0.1/repair/prompt.md,sha256=1s0SOt-NdP1f2-YDyASe4UyiI3NUvIKvJgrFRSIquh4,443
svgap/resources/challenges/v0.1/repair/task.json,sha256=zPmLLfiW6Tu4UVs_Wf-8MSZltz2zHwoZFWEikynGuTY,239
svgap/resources/challenges/v0.1/repair/starter/before.sv,sha256=Owh-_oLgOIbIKY8ZN6zEsJ861EfXiUdCgxxl0KXRKzY,303
svgap/resources/challenges/v0.1/repair/starter/prompt.md,sha256=U4WIgmWJfph3-I8i2cE7rchZkoNnakMlX-T0dZPtBFA,92
svgap/resources/challenges/v0.1/repair/starter/task.toml,sha256=rLIPJbGFAJu-O2ZQTYG31vm1DC7itYK6IF4mpwD-O0A,242
svgap/resources/challenges/v0.1/repair/starter/tb.sv,sha256=nQleSDJ_1DBMBnxLhDA3VfAYcx0VeR_JyakqF5MXYQE,606
svgap/resources/taskpacks/reset-replication-v0.2/README.md,sha256=eM3p1KMhDmohP30SxmMiuYOcoAKXXKhPQQqF6giLJRw,697
svgap/resources/taskpacks/reset-replication-v0.2/freeze.json,sha256=wwCdmz5yYdA03c-KidVqsNijfd4lQbkZJVH2ll639cA,386
svgap/resources/taskpacks/reset-replication-v0.2/protocol.md,sha256=Td5nFwaJZAz18Us-B4T5NxhkwZU3v8taaMfA56uNPrk,2662
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_config/prompt.md,sha256=t7q4F4ZTJ21cpgrboX53tiZi14aWjffduZCC7nQBGmo,580
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_config/reference-safe.sv,sha256=IwgXgQfv3U-8zAqUBuYztKruh1ekgPVlJEVO02-njoI,662
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_config/reference-unsafe.sv,sha256=lEZUvY3MGwBd2XMiWnI3Sqb2z764rn8BVuoA9YKJGSI,351
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_config/task.toml,sha256=H5tZ-IK9BLVxcZAytHbzLrKcOp-OnfCDRgcXIEg22b0,239
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_config/tb.sv,sha256=EOB6SmYGDJYdv1bR55H2jm4q-0P5ZfnvJw18skksAOw,560
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_counter/prompt.md,sha256=36bIO3I4BdBQaAidpzQ_y7W3pCAS-lK_ATOsUWCLaKw,551
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_counter/reference-safe.sv,sha256=Fnts6ajFzS5LBWHjliXo-L0Njs9ItvMGXFqCT3IZMAc,568
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_counter/reference-unsafe.sv,sha256=vw0NbtjyBPuH9kGM00PTolEVjMvbMRuCpHqRV9wDHus,265
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_counter/task.toml,sha256=6-Mu98ADVzsGfpC7TssyBOyzOfuA5JBBiCSaEQwqWb4,233
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_counter/tb.sv,sha256=vOSF0DaeIc42gk-KXDkrfb_tig-DA575GoUidTqSMws,490
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_credits/prompt.md,sha256=L51rRE6AgtySTe19UhximzS2a6LJNlfY1LlYzomCknQ,596
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_credits/reference-safe.sv,sha256=MV_MpkZRk7fqH1frRnYeNIa8Tl8xH6DeKhnBxikmv1M,742
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_credits/reference-unsafe.sv,sha256=_8yUDPozSqyv31-zmnKrr8Tl_7D3lWOhcR4jg5H2D_U,432
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_credits/task.toml,sha256=WIU0-mB300xk7CgJoIuq5XyUbv3R8Zor6ZWPNJVIVv8,236
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_credits/tb.sv,sha256=Dv6eHax5bHTDTpNhC8eOb3hs6t6tMPEgkLTD1JnE3dc,627
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_events/prompt.md,sha256=R_yBOTxQnw0-ElmUWckcC_rTHRzdoTt5If4dE0u9P-o,513
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_events/reference-safe.sv,sha256=d38zRGyvAS7x7pXinevK8cw365--NxxIi0l3VOb9hJI,612
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_events/reference-unsafe.sv,sha256=_k8Xx3_98LDv_nOygug464VXvpj9yXybsojKoNt1Bb0,306
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_events/task.toml,sha256=FPWbNFFGOEZhBpIvnRijxbwDKWLwLGm6i9FOwncMKo8,235
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_events/tb.sv,sha256=VcnpzSmmv1YWWrwJXECbw9ixJsZH--peD43nh8IASR4,576
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_fsm/prompt.md,sha256=soAeQxPiSJETw8bNMna5NENVkIgv2aY4ILSL5ErCkY0,565
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_fsm/reference-safe.sv,sha256=y0WHHi54iwpw4VWebZ_aBWJvOe4uiGciUvGwSMCO5I4,898
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_fsm/reference-unsafe.sv,sha256=SJjz1Wq5vaTQ-1_jrvZI2LYB1tpzRKBAM_LF3sBqlNg,594
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_fsm/task.toml,sha256=IZ4UaddnQvdwszjgz1qH3AAmlbTvxaWLpuk4aEMQBdI,226
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_fsm/tb.sv,sha256=vW7s-4a7dtyqMyXjWhMwWEYY3OqqvSOj3ePomUX_6Qs,525
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_status/prompt.md,sha256=I2pS4XXC4z7jqv0DY5F1-yNyB1Iqcr-q-htTBfAsCl0,564
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_status/reference-safe.sv,sha256=uCF-GmVxekjV4ug-9H2Bu5wXNaT3-IJaAPFviKMRZwI,651
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_status/reference-unsafe.sv,sha256=K7iV0ei6mMqW7L383xwYOSs1w4oqYOWk2G8hG2mI3QA,349
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_status/task.toml,sha256=dOOJ9nsbZzhD6dJfyKDULd3iDSgVPImhvKy5uhe2N54,228
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_status/tb.sv,sha256=iJaTTmNRJFPG3EELdwEaPwLWaljZsPmyZsD7J-ZXyVw,771
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_timer/prompt.md,sha256=evKjsUnZSHo8jqai4_vwm2zwzfc5hPm1xBO0WyNR8Ak,650
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_timer/reference-safe.sv,sha256=NwesTPMyEh9T6ADbXxatmLAhmg8SXlitrKmdWnsOwHA,862
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_timer/reference-unsafe.sv,sha256=WFQNyzNSHk7tgTlms3ji5HMuIuY_Y6OeFaphovRLF4Q,560
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_timer/task.toml,sha256=ZXJSN71bI4UsqVppUaYgQrHWtXZ4cT4nRm4uJ0WctyQ,218
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_timer/tb.sv,sha256=tnpPQKryKhkN4T0o2aIwLqvpr95sc93cD_mrjp6YXPY,579
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_watchdog/prompt.md,sha256=1CvLMfAwP2jjl9QOG_QNoFn1dVBuvtyN3oYuDsN6DTU,536
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_watchdog/reference-safe.sv,sha256=EOSZbNn3hePi0viXrtUnw_wfzMLFU9bbp85MD0VGfYE,854
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_watchdog/reference-unsafe.sv,sha256=bhkqtC1mmAUkhr2YrfiuZ23h_7pOsMYgvCTbet-LllI,545
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_watchdog/task.toml,sha256=41zcB6yZubPg2bf743e8dDMRvRjPvzG4vna_rQ7XjMc,243
svgap/resources/taskpacks/reset-replication-v0.2/tasks/reset_watchdog/tb.sv,sha256=Ha8vH58RvYM3l1yudA8vyJNUETrI38G5YXXszAjAUlY,545
svgap-0.3.0a5.dist-info/licenses/LICENSE,sha256=gi0QN1ZTek7bpqRPZWgMPh-xQuflSPhStFyP5mXkmPA,11348
svgap-0.3.0a5.dist-info/licenses/NOTICE,sha256=Iprwql8hRPjs_rHQd5YLdflQTEBU8zlEtk9ltIBptd0,202
svgap-0.3.0a5.dist-info/METADATA,sha256=cAPU3WVgJdPI0vaClrYpLiNFwEVkNAVaB1Rohhptuo8,11292
svgap-0.3.0a5.dist-info/WHEEL,sha256=K260EYznzXsJYBQGqmI8VTxEdiZYNvDZwW9cBh9-_MA,91
svgap-0.3.0a5.dist-info/entry_points.txt,sha256=7N51PGC9N1nYX9QTGoLA3w1U0aPTz45rvmwYx-jxmyI,130
svgap-0.3.0a5.dist-info/top_level.txt,sha256=yAI95QdISLVgIcKzzmpC5IunzxmHmg6iBd7SKdJblD8,6
svgap-0.3.0a5.dist-info/RECORD,,
