StackOverflow Questions for Tag: kframework

tim0s42

Reputation: 1

Deleting a key from a map in a rule that matched the same key in K

kframework

Score: 0

Answers: 1

Timofey Shalnev

Reputation: 1

How to write polymorphic rule in latest K framework?

kframework

Score: 0

Answers: 0

nishantjr

Reputation: 1830

Cannot compute least sort of term (where the terms are lists)

kframework

Score: 2

Answers: 1

Ayushi Rastogi

Reputation: 11

How to write semantics in K framework for a language similar to ada-spark

memoryadasemanticskframeworkspark-ada

Score: 1

Answers: 1

Colm Bhandal

Reputation: 3841

Inner Parser: Scanner Error: Numeric Argument to substrString

kframework

Score: 1

Answers: 1

Amélie LEDEIN

Reputation: 1

Computation of dependencies (related to the K prelude)

kframework

Score: 0

Answers: 1

liuba

Reputation: 1

K framework installation repeatedly fails on MacBookPro 19 OS X Mojave 10.14.6

homebrewz3kframework

Score: 0

Answers: 0

NotBad4U

Reputation: 1542

How to check if there exist a sub list of a list in a Map?

kframework

Score: 0

Answers: 0

NotBad4U

Reputation: 1542

Problem with the lookup in a Map to get the value of a stored variable

kframework

Score: 0

Answers: 0

NotBad4U

Reputation: 1542

Is there a way to add a new constructors to hooked sort Int?

kframework

Score: 0

Answers: 1

kdmnk

Reputation: 5

K Framework: Cannot convert to subtype

kframework

Score: 0

Answers: 1

nishantjr

Reputation: 1830

Parsing annotations within comments / Negative matching of strings in regexps

kframework

Score: 0

Answers: 1

NotBad4U

Reputation: 1542

How do I make an item optional or repeatable in K syntax rule?

kframework

Score: 1

Answers: 2

NotBad4U

Reputation: 1542

Variable substitution error in Pi-calculus

kframework

Score: 0

Answers: 0

kdmnk

Reputation: 5

K Framework: problem with semantic cast in function declarations

kframework

Score: 0

Answers: 1

david streader

Reputation: 589

K framework install failure on MacOS catalina 10.15.6

installationkframework

Score: 1

Answers: 0

Tiago Mendes

Reputation: 9

Difficulties with solving the exercises in the K Framework Tutorial

kframework

Score: 0

Answers: 0

Reed Oei

Reputation: 1518

KFramework: Issues with `#isConcrete` and function global configuration lookup

kframework

Score: 0

Answers: 0

laifs

Reputation: 329

Higher-Order Functions in K?

kframework

Score: 0

Answers: 1

laifs

Reputation: 329

Is substitution implemented in the Haskell backend?

kframework

Score: 0

Answers: 1

PreviousPage 1Next