kframework k-legacy issues

kframework / k-legacy

The K tools (deprecated, see README)

http://kframework.org

Other

146 stars 61 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

SMT Solver call from specification in K 4.0

#2411 daparpon opened 5 years ago
1
Swap

#2410 tyrbentsen opened 6 years ago
1
KLabelConstants not unique in KEQ

#2409 kheradmand opened 6 years ago
0
Problem in ConstrainedTerm.evaluateConstraints

#2408 kheradmand opened 6 years ago
1
Strange behavior of proof mode

#2407 kheradmand opened 6 years ago
3
deprecation warning for https://github.com/kframework/k

#2406 dwightguth closed 6 years ago
2
AssertionError in krun --prove

#2405 daparpon opened 6 years ago
0
Missing files in K 4.0 distribution

#2404 daparpon closed 6 years ago
1
K 4.0 Merge rules

#2403 ShlKan opened 6 years ago
0
Done migration to aws s3

#2402 shd101wyy closed 6 years ago
3
how to set the priority of rules?

#2401 dexter-qjq opened 6 years ago
0
context.setTopConstraint after constraint.orientSubstitution in build…

#2400 andreistefanescu closed 6 years ago
3
fix top constraint

#2399 andreistefanescu closed 6 years ago
3
Revert "frontend/pom.xml: kore dependency version 1.1 => 0.1"

#2398 msaxena2 closed 6 years ago
3
"Over matching" behavior of ... in cells with multiplicity="*"

#2397 dfava opened 6 years ago
0
frontend/pom.xml: kore dependency version 1.1 => 0.1

#2396 msaxena2 closed 6 years ago
1
KFramework documentation

#2395 HighSoftWare96 closed 6 years ago
1
add hook KREFLECTION.isConcrete

#2394 daejunpark closed 6 years ago
1
Building with Java 9

#2393 AljoschaMeyer opened 6 years ago
1
Set does not work correctly with non-primitive elements

#2392 denis-bogdanas opened 6 years ago
0
Cache function/anywhere symbol evaluation

#2391 andreistefanescu closed 6 years ago
6
Unimplemented Exception

#2390 tawaren opened 6 years ago
0
Parser: no kompile error when using undefined terms in RHS

#2389 denis-bogdanas closed 6 years ago
4
ashrMInt caveat

#2388 sdasgup3 closed 5 years ago
0
archlinux installation

#2387 bohadi closed 6 years ago
0
"end of list" token ambiguity

#2386 incud opened 6 years ago
1
for better debugging: add original name when renaming variable

#2385 daejunpark closed 6 years ago
3
correct in_keys

#2384 daejunpark closed 6 years ago
3
K-buitin Floats do not provide any hooks to convert a specific bit pattern into a single precision or double precision floating point value.

#2383 sdasgup3 opened 6 years ago
2
Add [concrete] attribute for [function] symbols

#2382 daejunpark closed 6 years ago
2
Using the string "Type" as a syntax form causes an error

#2381 canndrew opened 6 years ago
5
Forked smt

#2380 msaxena2 opened 6 years ago
0
encoding int map as smt array

#2379 daejunpark closed 6 years ago
1
Fix a bug in negMInt

#2378 daejunpark closed 6 years ago
1
Simple Tutorial Script failing on OS X

#2377 jcarlson23 opened 6 years ago
0
Dnf fix

#2376 andreistefanescu closed 6 years ago
3
Function application for "smt-lemma" rules

#2375 msaxena2 opened 6 years ago
0
Fix a bug in negMInt

#2374 sdasgup3 closed 6 years ago
4
Smt changes for EVM verification.

#2373 bmmoore opened 6 years ago
2
add power-modulo operator to UIUC K

#2372 dwightguth closed 6 years ago
1
cache z3 implication queries; do not add redundant constraints when a…

#2371 andreistefanescu closed 6 years ago
3
README.md: Build Status Badge Codeship => Jenkins

#2370 msaxena2 opened 6 years ago
5
Prover changes for EVM ABI verification

#2369 bmmoore closed 6 years ago
3
test commit dummy

#2368 msaxena2 closed 6 years ago
9
PR Builder Test

#2367 msaxena2 closed 6 years ago
1
test commit dummy

#2366 msaxena2 closed 6 years ago
0
test commit dummy

#2365 kframework-bot closed 6 years ago
1
Test Jenkins

#2364 kframework-bot closed 6 years ago
2
Jenkins

#2363 kframework-bot closed 6 years ago
0
Jenkins

#2362 kframework-bot closed 6 years ago
0