Skip to content
This repository has been archived by the owner on Apr 25, 2024. It is now read-only.

runtimeverification/pyk

Folders and files

NameName
Last commit message
Last commit date

Latest commit

07574aa · Sep 13, 2023
Jul 25, 2023
Sep 8, 2023
Sep 13, 2023
Sep 13, 2023
Apr 7, 2023
Apr 7, 2023
Mar 3, 2023
Jul 25, 2023
Sep 7, 2022
Apr 7, 2023
Apr 7, 2023
Aug 8, 2023
Aug 8, 2023
Aug 8, 2023
Sep 13, 2023

Repository files navigation

pyk

Installation

Prerequsites: python >= 3.10, pip >= 20.0.2, poetry >= 1.3.2.

make build
pip install dist/*.whl

For Developers

Use make to run common tasks (see the Makefile for a complete list of available targets).

  • make build: Build wheel
  • make check: Check code style
  • make format: Format code
  • make test-unit: Run unit tests

For interactive use, spawn a shell with poetry shell (after poetry install), then run an interpreter.