Skip to content
This repository was archived by the owner on Feb 1, 2020. It is now read-only.

Pull requests: kframework/k-legacy

9 Open 1,288 Closed
9 Open 1,288 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

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 opened Dec 10, 2017 by sdasgup3
2
Forked smt
#2380 opened Dec 1, 2017 by msaxena2
Smt changes for EVM verification.
#2373 opened Nov 16, 2017 by bmmoore
2
README.md: Build Status Badge Codeship => Jenkins
#2370 opened Nov 9, 2017 by msaxena2
5
Improve user interaction with prover
#2359 opened Nov 4, 2017 by msaxena2
1
parent/pom.xml: Enforce Plugin Version 1.4.1 => 3.0.0-M1
#2344 opened Sep 22, 2017 by msaxena2 Loading…
1
add "smtlib" attribute to the definition of "in_keys"
#2340 opened Sep 11, 2017 by ZhuXiaoran07 Loading…
Skala backend
#2338 opened Sep 7, 2017 by ehildenb Loading…
fix freezerLabel proper sort
#2331 opened Aug 17, 2017 by ehildenb Loading…
2
ProTip! no:milestone will show everything without a milestone.