search

v-nys / cclp

A rewrite of my implementation of the Compiling Control technique, in Racket.
MIT License
1 stars 0 forks source link

loop detection needs to be implemented #9

Closed v-nys closed 7 years ago

v-nys commented 7 years ago

If a conjunction is at least as specific as a previously analyzed conjunction, analysis should be terminated. The exception to this is when the previously analyzed conjunction is the parent conjunction and a multi was unfolded.

It would also be very helpful if the exact state to which the loop goes back was indicated.

v-nys commented 7 years ago

Resolved in the current development branch.