Search results

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

llvm and haskell backends do not support full nondeterminism of strictness

feature

Status: Open.

#3185 In runtimeverification/k;

· dwightguth opened on Feb 23, 2023

K semantic REPL

feature

Status: Open.

#2925 In runtimeverification/k;

· Baltoli opened on Sep 29, 2022

[KIP] - Tool for proving functional lemmas sound

feature

kip

Status: Open.

#1664 In runtimeverification/k;

· ehildenb opened on Nov 19, 2020

Parametric rules

feature

parametricity

Status: Open.

#1415 In runtimeverification/k;

· ttuegel opened on Jul 10, 2020