This repository contains the source code of clone-finder.
This project depends on CoqPyt, which must be installed before usage.
To install and use clone-finder, please follow these instructions:
- Install Miniconda and create a virtual environment with Python 3.10.
conda create -n clone_finder python=3.10
activate clone_finder- Clone CoqPyt and navigate to its directory to install the framework and its dependencies.
git clone https://github.com/sr-lab/coqpyt.git
cd coqpyt
pip install -r requirements.txt
python -m pip install -e .- Now
clone-finderis ready to use! Navigate toclone-findersource directory and run the tool following this tempelate.
cd ..
git clone https://github.com/ali-ghanbari/clone-finder.git
cd clone-finder
python main.py -b /path/to/your/Coq/project -p /physical/path/to/your/theories -l logicalPathForYourTheories -m Q/R