runtimeverification / mir-semantics

10 stars 3 forks source link

Migrate build from `kbuild` to `kdist` #310

Closed tothtamas28 closed 3 months ago

tothtamas28 commented 9 months ago

Source and documentation: https://github.com/runtimeverification/pyk/tree/master/src/pyk/kdist

As a kdist target executes arbitrary Python code, it also allows for generation of artifacts other than kompiled definitions, e.g. the GLR parser.

yanliu18 commented 9 months ago

The current kbuild implementation works fine for us. Since we have other high priority tasks, we should delay addressing this issue to a future time when necessary.