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

Add the ability to filter out failures based on the reason

enhancementNew feature or requestNew feature or request

Status: Open.

#971 In runtimeverification/kontrol;

· palinatolmach opened on Mar 3, 2025

Reconstruct Kontrol's functionality related to minimization and merge node

enhancementNew feature or requestNew feature or request

Status: Open.

#908 In runtimeverification/kontrol;

· Stevengre opened on Dec 10, 2024

Integrate symbolic storage generation script into a Kontrol command

enhancementNew feature or requestNew feature or request

Status: Open.

#905 In runtimeverification/kontrol;

· palinatolmach opened on Dec 6, 2024

Counter examples in Solidity

enhancementNew feature or requestNew feature or request

ux

Status: Open.

#886 In runtimeverification/kontrol;

· RaoulSchaffranek opened on Nov 18, 2024

Schedule should be read from <code>foundry.toml</code>

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#873 In runtimeverification/kontrol;

· palinatolmach opened on Oct 28, 2024

Include <code>kontrol prove</code> command in the XML report

engagement

enhancementNew feature or requestNew feature or request

kaas

Status: Open.

#856 In runtimeverification/kontrol;

· palinatolmach opened on Oct 8, 2024

Add the ability to direct the execution towards one branch

engagement

enhancementNew feature or requestNew feature or request

Status: Open.

#852 In runtimeverification/kontrol;

· palinatolmach opened on Oct 7, 2024

Add the ability to print a subtree in KCFG

enhancementNew feature or requestNew feature or request

Status: Open.

#851 In runtimeverification/kontrol;

· palinatolmach opened on Oct 7, 2024

Make test prefix customizable in <code>kontrol prove</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#834 In runtimeverification/kontrol;

· palinatolmach opened on Sep 25, 2024

Reference a full <code>kontrol.toml</code> file in docs

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

kaas

Status: Open.

#818 In runtimeverification/kontrol;

· palinatolmach opened on Sep 11, 2024

[proof-explore | low-priority] A Call for Improved Methods in Proof Exploration

enhancementNew feature or requestNew feature or request

Status: Open.

#743 In runtimeverification/kontrol;

· Stevengre opened on Aug 5, 2024