New evaluator that doesn't depend on flattening

CHANGELOG.md

@@ -11,13 +11,16 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 - In the `verify` command, add warning if `--out-itf` option contains `{test}` or `{seq}` as those have no effect since Apalache only produces a single trace (#1485)
 - The `run` and `test` commands now display a progress bar (#1457)
+- Calling `q::test`, `q::testOnce` and `q::lastTrace` on the REPL now works properly (#1495)
 
 ### Changed
 
 - Performance of incrementally checking types (i.e. in REPL) was improved (#1483).
+- Performance of the REPL was drastically improved (#1495)
 - In the `run` and `test` commands, change placeholders from `{}` to `{test}` and from `{#}` to `{seq}` (#1485)
 - In the `run` command, auto-append trace sequence number to filename if more than one trace is present and `{seq}` is not specified (#1485)
 - In the `test` command, rename `--output` to `--out-itf`
+- Error reporting was improved for many runtime errors (#1495)
 
 ### Deprecated
 
@@ -31,6 +34,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 - Bumped GRPC message sizes to 1G (#1480)
 - Fix format of ITF trace emitted by `verify` command (#1448)
+- Sending SIGINT (hitting Ctrl+C) to the run and test commands now actually stops the execution (#1495)
 
 ### Security
 
@@ -148,7 +152,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 - The latest supported node version is now bounded at <= 20, which covers the
   latest LTS. (#1380)
-- Shadowing names are now supported, which means that the same name can be redefined 
+- Shadowing names are now supported, which means that the same name can be redefined
   in nested scopes. (#1394)
 - The canonical unit type is now the empty tuple, `()`, rather than the empty
   record, `{}`. This should only affect invisible things to do with sum type