SSFT 2025 - Installation instructions

Before you start, please install the following:

Once that's done, follow these steps:

  1. Clone the lab repository.

    git clone https://github.com/GillianPlatform/gillian-lab.git --branch SSFT25
    
  2. If necessary, select Yes, I trust the authors.

    ../../_images/trust_authors.png
  3. Launch the dev container by clicking "Reopen in Container" on the popup.

    ../../_images/reopen_in_container.png
    • If you cannot find the popup, open the Command Palette (F1 or Ctrl+Shift+P by default) and select "Dev Containers: Open Folder in Container..." and select the gillian-lab folder.

      ../../_images/open_folder_in_container.png
  4. Gillian's Docker image should then be automatically downloaded, and VSCode will use it for your development environment.