Amanda Stjerna

It emits `this`, should emit `this.simulation`. Additionally, the `function()` notation apparently causes the code to not be type-checked. Otherwise, a type mismatch error would have been emitted!

...esulting in a lookup of a non-existing global variable "enclosures" under certain (apparently quite rare) conditions.

I had some problems with `find_last_node_handle()` smashing its stack. This PR replaces the recursive version with an iteration that should have similar performance characteristics and which can safely parse inputs...

Extend SCC construction to enable extra functionality

8

Do YOU feel like your SCC construction doesn't do enough? Then I have a patch for you! SCCs can now do *everything*! Well, almost. This patch has been extracted from...

This currently relies on the Scala 2.13 port.

This is a port to Scala 2.13. It's currently failing one test: ``` ! APITest.len-no-regex: Exception raised on property evaluation. [info] > Exception: ap.SimpleAPI$SimpleAPIForwardedException: Internal exception: java.lang.UnsupportedOperationException: empty.reduceLeft ``` Many...

[WIP] Quality of life improvements and cleanup

2

- Remove unused imports - Name parameters when supplying - Fix a few lint warnings - `getProofCertificateAsString` now has sensible default arguments - Replace the deprecated `SyncVar` with the suggested...