kframework/kale

Issues

• Improve performance

  #21 opened 7 years ago by cos
  0

• use git submodules for fine-grained version tracking

  #19 opened 8 years ago by cos
  0

• Fix codeship z3 download and reactivate ignored tests

  #13 opened 8 years ago by cos
  1

• Refactor And to distinguish between now and Next correctly

  #18 opened 8 years ago by cos
  1

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

  #16 opened 8 years ago by cos
  0

• Clarify how current concepts fit ML and fix any issues

  #17 opened 8 years ago by cos
  0

• Introduce memoization for unification and And

  #15 opened 8 years ago by cos
  0

• Use `And.SON` instead of other `unapply`'ers throughout the codebase

  #14 opened 8 years ago by cos
  0

• Migration Kale => Kore(mini) + Kale

  #6 opened 8 years ago by msaxena2
  0

• make sure `ensures` is correctly implemented

  #2 opened 8 years ago by cos
  0