Merge branch 'main' into igor/ics23-fix

Author: konnov

.github/workflows/main.yml

@@ -29,6 +29,21 @@ jobs:
       - run: npm install
       - run: npm run format-check || (echo "Run 'npm run format'" && exit 1)
 
+  quint-vscode-linting:
+    runs-on: ubuntu-latest
+    defaults:
+      run:
+        working-directory: ./vscode/quint-vscode
+    strategy:
+      fail-fast: false
+    steps:
+      - uses: actions/checkout@v2
+      - uses: actions/setup-node@v2
+        with:
+          node-version: "17"
+      - run: npm install
+      - run: npm run format-check || (echo "Run 'npm run format'" && exit 1)
+
   quint-unit-tests:
     runs-on: ${{ matrix.operating-system }}
     defaults:

CHANGELOG.md

@@ -7,16 +7,39 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## UNRELEASED
 
+### Added
+### Changed
+
+- `quint run` produces a friendlier message when it meets a `const` (#1050)
+
+### Deprecated
+### Removed
+
+- Operator `repeated` (#1026)
+
+### Fixed
+
+- Fix bug where `export` for a qualified import would not work (#1030)
+- Fix a problem where name resolution would fail to flag name errors for
+  non-exported names in incremetal evaluation in REPL (#1031)
+
+### Security
+
+## v0.12.0 -- 2023-07-06
+
 ### Added
 
-- One internal cache was added to the name resolution step, improving
-  performance for large specs (#1001)
 - Support out of order definitions (#1008)
+- Restructure of name resolution, improving performance significantly for large
+  specs (#1011)
 
 ### Changed
 ### Deprecated
 ### Removed
 ### Fixed
+
+- An error is now reported when multiple modules are declared with the same name (#1020)
+
 ### Security
 
 ## v0.11.4 -- 2023-06-28

doc/builtin.md

@@ -860,33 +860,6 @@ var x: int
 run test = (x' = 1).then(x' = 2).then(x' = 3).then(assert(x == 3))
 ```
 
-## `action repeated: (bool, int) => bool`
-
-**Deprecated**: use `n.reps(A)` instead.
-
-`a.repeated(n)` is the action `a` repeated `n` times.
-
-The semantics of this operator is as follows:
-
-- When `n <= 0`, this operator is equivalent to `unchanged`.
-- When `n = 1`, `a.repeated(n)` is equivalent to `a`.
-- When `n > 1`, `a.repeated(a)`, is equivalent to `a.then(a.repeated(n - 1))`.
-
-Note that the operator `a.repeated(n)` applies `a` exactly `n` times (when `n` is
-non-negative). If you want to repeat `a` from `i` to `j` times, you can combine
-it with `orKeep`:
-
-```
-a.repeated(i).then((a.orKeep(vars)).repeated(j - i))
-```
-
-### Examples
-
-```
-var x: int
-run test = (x' = 0).then((x' = x + 1).repeated(3)).then(assert(x == 3))
-```
-
 ## `action reps: (int, (int) => bool) => bool`
 
 `n.reps(i => A(i))` or `n.reps(A)` the action `A`, `n` times.