Skip to content

runtimeverification/komet-node

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

komet-node

Installation

Prerequsites: python >= 3.10, uv.

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
  • make test-integration: Run integration tests

About

Local development testnet for Stellar based on K semantics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors