Search results

Support <code>unsafe</code> for <code>to_module</code>

bug

kast

Status: Open.

#4754 In runtimeverification/k;

· Stevengre opened on Feb 10, 2025

A difficult-to-reproduce segmentation fault.

bug

Status: Open.

#4672 In runtimeverification/k;

· Stevengre opened on Oct 21, 2024

CTerm.anti_unify doesn't provide expected constraints for CTerm and CSubst.

bug

feature

Status: Open.

#4502 In runtimeverification/k;

· Stevengre opened on Jul 5, 2024

<code>pyk prove</code> cannot handle claims with <code>#Equals</code> in <code>requires</code>

bug

Status: Open.

#4495 In runtimeverification/k;

· nwatson22 opened on Jul 2, 2024

Kompiler fails on syntactic list production with nullary <code>symbol</code> attribute

attributes

bug

Status: Open.

#4067 In runtimeverification/k;

· tothtamas28 opened on Mar 1, 2024

Make <code>module_name</code> rewriting injective

bug

pyk

Status: Open.

#4201 In runtimeverification/k;

· palinatolmach opened on Feb 8, 2024

Problem parsing <code>-ccopt</code> args

bug

cli

pyk

Status: Open.

#4195 In runtimeverification/k;

· anvacaru opened on Feb 4, 2024

Incorrect reporting of proof failure reasons

bug

pyk

Status: Open.

#4193 In runtimeverification/k;

· PetarMax opened on Nov 14, 2023

Flag <code>--bug-report-dir</code> does not ensure a unique destination for bug reports

bug

pyk

Status: Open.

#4232 In runtimeverification/k;

· tothtamas28 opened on Sep 6, 2023

Encoding symbolic and concrete in Kore

bug

checks

Status: Open.

#3406 In runtimeverification/k;

· ana-pantilie opened on May 10, 2023

<code>#Layout</code> productions can affect the rule parser

bug

parsing

Status: Open.

#3386 In runtimeverification/k;

· Baltoli opened on May 3, 2023

Disambiguate the notion of <code>function</code> in Kore

bug

Status: Open.

#3326 In runtimeverification/k;

· ana-pantilie opened on Apr 10, 2023