Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / kframework/kale issues and pull requests

#23 - Add license file

Pull Request - State: closed - Opened by cos almost 7 years ago

#22 - Develop.symbolic

Pull Request - State: open - Opened by virgil-serbanuta about 7 years ago

#21 - Improve performance

Issue - State: open - Opened by cos about 7 years ago

#20 - Include kore as a submodule instead of via sbt's resolvers

Pull Request - State: closed - Opened by nishantjr over 7 years ago - 10 comments

#19 - use git submodules for fine-grained version tracking

Issue - State: open - Opened by cos over 7 years ago

#18 - Refactor And to distinguish between now and Next correctly

Issue - State: closed - Opened by cos over 7 years ago - 1 comment
Labels: bug, enhancement, refactoring

#17 - Clarify how current concepts fit ML and fix any issues

Issue - State: open - Opened by cos over 7 years ago
Labels: enhancement, refactoring

#16 - Clarify distinction between unify, Task, and And, and Equals -- merge concepts if possible

Issue - State: open - Opened by cos over 7 years ago
Labels: enhancement, refactoring

#15 - Introduce memoization for unification and And

Issue - State: open - Opened by cos over 7 years ago
Labels: enhancement

#14 - Use `And.SON` instead of other `unapply`'ers throughout the codebase

Issue - State: open - Opened by cos over 7 years ago
Labels: refactoring

#13 - Fix codeship z3 download and reactivate ignored tests

Issue - State: closed - Opened by cos over 7 years ago - 1 comment

#12 - develop

Pull Request - State: open - Opened by cos over 7 years ago

#11 - Imp on kale

Pull Request - State: closed - Opened by msaxena2 over 7 years ago

#10 - z3 encoding

Pull Request - State: closed - Opened by daejunpark over 7 years ago - 1 comment

#9 - fix And of empty set

Pull Request - State: closed - Opened by daejunpark over 7 years ago

#8 - fix searchStep

Pull Request - State: closed - Opened by daejunpark over 7 years ago

#7 - Adapt for minikore

Pull Request - State: closed - Opened by cos over 7 years ago

#6 - Migration Kale => Kore(mini) + Kale

Issue - State: open - Opened by msaxena2 over 7 years ago

#5 - wip: sorted unifier

Pull Request - State: closed - Opened by daejunpark over 7 years ago - 3 comments

#4 - add equals method in AndOfSubstitutionAndTerms

Pull Request - State: closed - Opened by daejunpark over 7 years ago

#3 - And.apply

Pull Request - State: closed - Opened by daejunpark over 7 years ago - 6 comments

#2 - make sure `ensures` is correctly implemented

Issue - State: open - Opened by cos over 7 years ago

#1 - symbol extended by label

Pull Request - State: closed - Opened by daejunpark over 7 years ago