Commit 709541d2 authored by André Pacak's avatar André Pacak

refactoring and further improvement (try to compute fixpoint to eliminate infinite input)

parent 7e6ac675
This source diff could not be displayed because it is too large. You can view the blob instead.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment