Code

Move Python package to the top level#34

Code

Merged

tothtamas28 merged 1 commit intomasterruntimeverification/imp-semantics:masterfrom python-packageruntimeverification/imp-semantics:python-packageCopy head branch name to clipboardNov 21, 2024

+154-190

Commits

Commits on Nov 15, 2024

• Move Python package to the top level, update README.md

  tothtamas28

  committed
  285c57d

  Copy full SHA for 285c57d