Cleanup: Remove infinite loop detector?

[martin-henz]

Let's consider removing the infinite loop detector in
src/infiniteLoops

The tool was a successful student project, but it's not clear to me whether we should keep it. It adds considerable complexity to js-slang. Any views?

[martin-henz]

This seems to be a popular feature. Let's keep it!

[RichDom2185]

Following the discussion in #1799 (comment), I have decided to reopen the issue.

CC @s-kybound

Do you think it might be easier to reimplement the whole thing from scratch as a potential future student project? Prof @martin-henz, how much usage are we actually seeing for this feature and would it be missed if we remove it now (with no guarantees of reimplementing it later)?

[martin-henz]

I'm ok with removing the feature for now. Re-implementing it will lead to a cleaner implementation.

The project is well-documented in a report and can be revived from there.

I don't think the system will be missed very much. It carries a bit of infrastructure with a server side, sentry support etc that was needed for carrying out the project.

So yea, please go ahead and remove it.