kframework/k-legacy

Issues

• Fix configuration fragments

  #2341 opened 5 years ago by dwightguth
  0

• ashrMInt caveat

  #2388 opened 6 years ago by sdasgup3
  0

• SMT Solver call from specification in K 4.0

  #2411 opened 6 years ago by daparpon
  1

• Build failing due to unresolved dependency

  #2354 opened 6 years ago by et4te
  2

• Swap

  #2410 opened 7 years ago by tyrbentsen
  1

• Strange behavior of proof mode

  #2407 opened 7 years ago by kheradmand
  3

• KLabelConstants not unique in KEQ

  #2409 opened 7 years ago by kheradmand
  0

• Problem in ConstrainedTerm.evaluateConstraints

  #2408 opened 7 years ago by kheradmand
  1

• Parser: no kompile error when using undefined terms in RHS

  #2389 opened 7 years ago by denis-bogdanas
  4

• AssertionError in krun --prove

  #2405 opened 7 years ago by daparpon
  0

• Missing files in K 4.0 distribution

  #2404 opened 7 years ago by daparpon
  1

• K 4.0 Merge rules

  #2403 opened 7 years ago by ShlKan
  0

• how to set the priority of rules?

  #2401 opened 7 years ago by dexter-qjq
  0

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

  #2397 opened 7 years ago by dfava
  0

• KFramework documentation

  #2395 opened 7 years ago by HighSoftWare96
  1

• archlinux installation

  #2387 opened 7 years ago by bohadi
  0

• Building with Java 9

  #2393 opened 7 years ago by AljoschaMeyer
  1

• Set does not work correctly with non-primitive elements

  #2392 opened 7 years ago by denis-bogdanas
  0

• Unimplemented Exception

  #2390 opened 7 years ago by tawaren
  0

• "end of list" token ambiguity

  #2386 opened 7 years ago by incud
  1

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

  #2381 opened 7 years ago by canndrew
  5

• Simple Tutorial Script failing on OS X

  #2377 opened 7 years ago by jcarlson23
  0

• Function application for "smt-lemma" rules

  #2375 opened 7 years ago by msaxena2
  0

• Underspecification leads to invalid proofs.

  #2360 opened 7 years ago by traiansf
  9

• Rule parse caching ignores changes to attributes.

  #2353 opened 7 years ago by bmmoore
  0

• rule keeps getting applied but has no effect

  #2352 opened 7 years ago by kheradmand
  0

• cell is initialized with .Set instead of .Map

  #2351 opened 7 years ago by kheradmand
  0

• unformatted output

  #2347 opened 7 years ago
  0

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

  #2345 opened 7 years ago by ehildenb
  3

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

  #2343 opened 7 years ago by kheradmand
  2

• Question: resolving ambiguities using labels

  #2339 opened 7 years ago by kheradmand
  10

• Parser accepts `/* ... */` comments implicitly

  #2337 opened 7 years ago by nishantjr
  2

• krun --prove not generating correct proof obligations

  #2328 opened 7 years ago by lucaspena
  2

• ktest should look up paths relative to `config.xml`

  #2336 opened 7 years ago by nishantjr
  0

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

  #2335 opened 7 years ago by nishantjr
  0

• Parser Tests Commented Out

  #2333 opened 7 years ago by ehildenb
  0

• kompile should updated modification time of produced `-kompiled` directory

  #2327 opened 7 years ago by bmmoore
  2

• Building K on develop branch Failure to find org.kframework.k:kore_2.12

  #2326 opened 7 years ago by barrywhitehat1
  0

• Missing hooks in the Scala backend (primarily for Plutus Core)

  #2323 opened 7 years ago by ayberkt
  0

• Access AST of Parser?

  #2320 opened 7 years ago by jsinglet
  0

• SHA3 Hook

  #2313 opened 8 years ago by ayberkt
  1

• Multiple Compilation Units

  #2311 opened 8 years ago by jsinglet
  0

• KDoc Not Working in 4.0

  #2310 opened 8 years ago by jsinglet
  3

• KRun.externalParse StackOverflowError

  #2307 opened 8 years ago by leavens
  5

• Rule Encoding in Kore

  #2304 opened 8 years ago by msaxena2
  5

• Rule gets applied once, but not again

  #2303 opened 8 years ago by kheradmand
  4

• --config-var not working properly

  #2302 opened 8 years ago by kheradmand
  0

• Problem with symbolic execution

  #2299 opened 8 years ago by kheradmand
  11

• --coverage-file option does not work

  #2300 opened 8 years ago by kheradmand
  1

• How to print out every key pair in a .Set?

  #2298 opened 8 years ago by csujedihy
  3