Search results

Adding <code>preserves-definedness</code> attributes to <code>domains.md</code>

enhancement

Status: Draft (not ready).

runtimeverification/knumber 4680

#4680 In runtimeverification/k;

· PetarMax opened on Nov 2, 2024

Improved interpreter error messages for quicker error identification

enhancement

llvm-backend

Status: Open.

#4670 In runtimeverification/k;

· Stevengre opened on Oct 18, 2024

<code>kdist</code> isn't as flexible as makefile

enhancement

kdist

Status: Open.

#4669 In runtimeverification/k;

· Stevengre opened on Oct 18, 2024

Improve the performance of <code>kompile</code>

enhancement

incremental-compilation

kompile

Status: Open.

#4668 In runtimeverification/k;

· Stevengre opened on Oct 18, 2024

Understanding the <code>bmc-depth</code> bottleneck

enhancement

Status: Open.

#4658 In runtimeverification/k;

· PetarMax opened on Oct 9, 2024

Cell extraction and substitution in Kore.

enhancement

pyk

Status: Open.

#4652 In runtimeverification/k;

· Stevengre opened on Oct 2, 2024

Polish list lookup patterns

enhancement

kompile

Status: Open.

#4640 In runtimeverification/k;

· dwightguth opened on Sep 17, 2024

Support for syntactic simplifications

enhancement

Status: Open.

#4579 In runtimeverification/k;

· PetarMax opened on Aug 8, 2024

Include ID in error and warning messages

enhancement

Status: Open.

#4462 In runtimeverification/k;

· tothtamas28 opened on Jun 20, 2024

Node merging to reduce branching for CSE

enhancement

Status: Open.

#4425 In runtimeverification/k;

· ehildenb opened on Jun 6, 2024

Flat representation for associative KAST terms

enhancement

Status: Open.

#4399 In runtimeverification/k;

· tothtamas28 opened on May 29, 2024

Revisiting branch handling in pyk

enhancement

pyk

Status: Open.

#4186 In runtimeverification/k;

· PetarMax opened on Apr 9, 2024