Issues

• SMT Solver call from specification in K 4.0

  kframework/k-legacy#2411 · Filter by author daparpon opened on Jan 30, 2019
  1

• Swap

  kframework/k-legacy#2410 · Filter by author tyrbentsen opened on Jun 20, 2018
  1

• KLabelConstants not unique in KEQ

  kframework/k-legacy#2409 · Filter by author kheradmand opened on Apr 3, 2018

• Problem in ConstrainedTerm.evaluateConstraints

  kframework/k-legacy#2408 · Filter by author kheradmand opened on Apr 2, 2018
  1

• Strange behavior of proof mode

  kframework/k-legacy#2407 · Filter by author kheradmand opened on Mar 31, 2018
  3

• AssertionError in krun --prove

  kframework/k-legacy#2405 · Filter by author daparpon opened on Feb 12, 2018

• K 4.0 Merge rules

  kframework/k-legacy#2403 · Filter by author ShlKan opened on Feb 7, 2018

• how to set the priority of rules?

  kframework/k-legacy#2401 · Filter by author dexter-qjq opened on Jan 30, 2018

• "Over matching" behavior of ... in cells with multiplicity="*"

  kframework/k-legacy#2397 · Filter by author dfava opened on Jan 15, 2018

• Building with Java 9

  kframework/k-legacy#2393 · Filter by author AljoschaMeyer opened on Jan 11, 2018
  1

• Set does not work correctly with non-primitive elements

  kframework/k-legacy#2392 · Filter by author denis-bogdanas opened on Jan 8, 2018

• Unimplemented Exception

  kframework/k-legacy#2390 · Filter by author tawaren opened on Jan 4, 2018

• "end of list" token ambiguity

  kframework/k-legacy#2386 · Filter by author incud opened on Dec 18, 2017
  1

• Using the string "Type" as a syntax form causes an error

  kframework/k-legacy#2381 · Filter by author canndrew opened on Dec 6, 2017
  5

• Simple Tutorial Script failing on OS X

  kframework/k-legacy#2377 · Filter by author jcarlson23 opened on Nov 27, 2017

• Function application for "smt-lemma" rules

  kframework/k-legacy#2375 · Filter by author msaxena2 opened on Nov 23, 2017

• Underspecification leads to invalid proofs.

  kframework/k-legacy#2360 · Filter by author traiansf opened on Nov 6, 2017
  9

• Rule parse caching ignores changes to attributes.

  kframework/k-legacy#2353 · Filter by author bmmoore opened on Oct 25, 2017
  

• rule keeps getting applied but has no effect

  kframework/k-legacy#2352 · Filter by author kheradmand opened on Oct 24, 2017

• cell is initialized with .Set instead of .Map

  kframework/k-legacy#2351 · Filter by author kheradmand opened on Oct 21, 2017

• unformatted output

  kframework/k-legacy#2347 · Filter by author ghost opened on Oct 11, 2017

• Enormous amount of output when missing SMTLib translation running krun --prove

  kframework/k-legacy#2345 · Filter by author ehildenb opened on Sep 28, 2017
  3

• "List [ Int ]" (sometimes) yields ListItem

  kframework/k-legacy#2343 · Filter by author kheradmand opened on Sep 14, 2017
  2

• ktest should look up paths relative to config.xml

  kframework/k-legacy#2336 · Filter by author nishantjr opened on Aug 25, 2017

• ktest does not correctly report exit code in case of exceptions

  kframework/k-legacy#2335 · Filter by author nishantjr opened on Aug 25, 2017