Skip to content
This repository was 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

author
devops
Feb 15, 2024
e545bd8 · Feb 15, 2024
Feb 14, 2024
Feb 5, 2024
Feb 15, 2024
Feb 15, 2024
Feb 15, 2024
Apr 7, 2023
Apr 7, 2023
Jan 15, 2024
Jul 25, 2023
Sep 7, 2022
Jan 16, 2024
Jan 16, 2024
Oct 30, 2023
Oct 30, 2023
Feb 14, 2024
Feb 15, 2024

Repository files navigation

pyk

API documentation

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.