Giters
kframework
/
kale
kale backend
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
4
Watchers:
12
Issues:
10
Forks:
8
kframework/kale Issues
Improve performance
Updated
7 years ago
use git submodules for fine-grained version tracking
Updated
7 years ago
Fix codeship z3 download and reactivate ignored tests
Closed
7 years ago
Comments count
1
Refactor And to distinguish between now and Next correctly
Closed
7 years ago
Comments count
1
Clarify distinction between unify, Task, and And, and Equals -- merge concepts if possible
Updated
7 years ago
Clarify how current concepts fit ML and fix any issues
Updated
7 years ago
Introduce memoization for unification and And
Updated
7 years ago
Use `And.SON` instead of other `unapply`'ers throughout the codebase
Updated
7 years ago
Migration Kale => Kore(mini) + Kale
Updated
7 years ago
make sure `ensures` is correctly implemented
Updated
7 years ago