Search results

Build from src (without nix) on Mac CI/CD

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

investigation

Status: Open.

#987 In runtimeverification/kontrol;

· F-WRunTime opened on Mar 13, 2025

Pending activities on Kontrol's VM module

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#696 In runtimeverification/kontrol;

· ACassimiro opened on Jul 15, 2024

Instructions for running Kontrol's JSON RPC server

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#695 In runtimeverification/kontrol;

· ACassimiro opened on Jul 15, 2024

Document or fix <code>m4</code> installation on Mac

bugSomething isn't workingSomething isn't working

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#511 In runtimeverification/kontrol;

· palinatolmach opened on Apr 10, 2024

Investigate &amp; document library verification

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

Status: Open.

#85 In runtimeverification/kontrol;

· palinatolmach opened on Oct 6, 2023

Kontrol Weekly Update

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#83 In runtimeverification/kontrol;

· yale-vinson opened on Oct 5, 2023