Merge pull request #1495 from informalsystems/gabriela/new-evaluator

New evaluator that doesn't depend on flattening
informalsystems · Sep 9, 2024 · e9a0b38 · e9a0b38
2 parents 27e91c9 + c2d27e6
commit e9a0b38
Show file tree

Hide file tree

Showing 35 changed files with 2,920 additions and 3,601 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -8,10 +8,20 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ## UNRELEASED
 
 ### Added
+
+- Calling `q::test`, `q::testOnce` and `q::lastTrace` on the REPL now works properly (#1495)
+
 ### Changed
+
+- Performance of the REPL was drastically improved (#1495)
+- Error reporting was improved for many runtime errors (#1495)
+
 ### Deprecated
 ### Removed
 ### Fixed
+
+- Sending SIGINT (hitting Ctrl+C) to the run and test commands now actually stops the execution (#1495)
+
 ### Security
 
 ## v0.21.2 -- 2024-09-09