Skip to content

Commit 6c7554b

Browse files
author
Amitayush Thakur
committed
Fixed config duplication
1 parent d8c2659 commit 6c7554b

File tree

85 files changed

+0
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

85 files changed

+0
-0
lines changed

‎src/itp_interface/main/config/__init__.py‎ renamed to ‎src/itp_interface/main/configs/__init__.py‎

File renamed without changes.

‎src/itp_interface/main/config/afp_data_gen.yaml‎ renamed to ‎src/itp_interface/main/configs/afp_data_gen.yaml‎

File renamed without changes.

‎src/itp_interface/main/config/benchmark/CompCert.yaml‎ renamed to ‎src/itp_interface/main/configs/benchmark/CompCert.yaml‎

File renamed without changes.

‎src/itp_interface/main/config/benchmark/GeoCoq.yaml‎ renamed to ‎src/itp_interface/main/configs/benchmark/GeoCoq.yaml‎

File renamed without changes.

‎src/itp_interface/main/config/benchmark/UniMath.yaml‎ renamed to ‎src/itp_interface/main/configs/benchmark/UniMath.yaml‎

File renamed without changes.

‎src/itp_interface/main/config/benchmark/__init__.py‎ renamed to ‎src/itp_interface/main/configs/benchmark/__init__.py‎

File renamed without changes.

‎src/itp_interface/main/config/benchmark/afp_isabelle.yaml‎ renamed to ‎src/itp_interface/main/configs/benchmark/afp_isabelle.yaml‎

File renamed without changes.

‎src/itp_interface/main/config/benchmark/agent_proverbot_hard.yaml‎ renamed to ‎src/itp_interface/main/configs/benchmark/agent_proverbot_hard.yaml‎

File renamed without changes.

‎src/itp_interface/main/config/benchmark/category-theory.yaml‎ renamed to ‎src/itp_interface/main/configs/benchmark/category-theory.yaml‎

File renamed without changes.

‎src/itp_interface/main/config/benchmark/compcert_118_subset.yaml‎ renamed to ‎src/itp_interface/main/configs/benchmark/compcert_118_subset.yaml‎

File renamed without changes.

0 commit comments

Comments
 (0)