Shape analysis - Githubissues

kframework / matching-logic-prover

15 stars 4 forks source link

Open lucaspena opened 4 years ago

lucaspena commented 4 years ago

OOPSLA (new kt-collapse rule, shape analysis rules, abstracting nil, etc.)

xc93 commented 4 years ago

What's the plan for this PR? It looks too big to be merged given its current status.

nishantjr commented 4 years ago

Yes, we're putting it here so that the CI runs the tests. We're going to break this apart into multiple PRs later (the subst PR is one of them)