Search results

Improve performance

Status: Open.

#21 In kframework/kale;

· cos opened on Oct 15, 2017

use git submodules for fine-grained version tracking

Status: Open.

#19 In kframework/kale;

· cos opened on Jul 19, 2017

Clarify how current concepts fit ML and fix any issues

enhancement

refactoring

Status: Open.

#17 In kframework/kale;

· cos opened on Jul 15, 2017

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

enhancement

refactoring

Status: Open.

#16 In kframework/kale;

· cos opened on Jul 15, 2017

Introduce memoization for unification and And

enhancement

Status: Open.

#15 In kframework/kale;

· cos opened on Jul 15, 2017

Use <code>And.SON</code> instead of other <code>unapply</code>'ers throughout the codebase

refactoring

Status: Open.

#14 In kframework/kale;

· cos opened on Jul 2, 2017

Migration Kale =&gt; Kore(mini) + Kale

Status: Open.

#6 In kframework/kale;

· msaxena2 opened on Apr 21, 2017

make sure <code>ensures</code> is correctly implemented

Status: Open.

#2 In kframework/kale;

· cos opened on Apr 7, 2017