You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Get elk-parent-datatypes to the point where it can be merged into /trunk. This
involves (but not necessarily limited to) the following:
1) Efficient indexing (in a dedicate reasoning stage) and creating all value
spaces early in the process (not during saturation)
2) Fixing main interfaces (e.g., DatatypeStore or whatever)
Alexander and Yevgeny are looking into this.
Original issue reported on code.google.com by [email protected] on 8 Aug 2012 at 10:41
The text was updated successfully, but these errors were encountered:
Original issue reported on code.google.com by
[email protected]
on 8 Aug 2012 at 10:41The text was updated successfully, but these errors were encountered: