Search results

Add <code>pyk</code> support for terms with parametric sorts

pyk

Status: Open.

#4653 In runtimeverification/k;

· tothtamas28 opened on Oct 3, 2024

Cell extraction and substitution in Kore.

enhancement

pyk

Status: Open.

#4652 In runtimeverification/k;

· Stevengre opened on Oct 2, 2024

Cache claim parses

pyk

Status: Open.

#4406 In runtimeverification/k;

· ehildenb opened on May 30, 2024

Pyk <code>parse-outer</code> Command

pyk

Status: Open.

#4278 In runtimeverification/k;

· gtrepta opened on Apr 24, 2024

Convert AST to KAst

pyk

Status: Open.

#4260 In runtimeverification/k;

· gtrepta opened on Apr 16, 2024

Convert K language items to KAST items

pyk

Status: Open.

#4259 In runtimeverification/k;

· gtrepta opened on Apr 16, 2024

pyk unparser should add paranthesis when needed

pyk

unparsing

Status: Open.

#4253 In runtimeverification/k;

· ehildenb opened on Apr 16, 2024

Implement <code>NumberSentences</code> as a Pyk pass

pyk

Status: Open.

#4173 In runtimeverification/k;

· Baltoli opened on Apr 11, 2024

Revisiting branch handling in pyk

enhancement

pyk

Status: Open.

#4186 In runtimeverification/k;

· PetarMax opened on Apr 9, 2024

Requirements for an outer parser

pyk

Status: Open.

#4182 In runtimeverification/k;

· gtrepta opened on Apr 1, 2024

Add source location information to outer parsing

pyk

Status: Open.

#4180 In runtimeverification/k;

· gtrepta opened on Mar 29, 2024

Support YAML syntax for outer parsing

outer-parsing

pyk

Status: Open.

#4177 In runtimeverification/k;

· ehildenb opened on Mar 27, 2024