Skip to content

Commit aefd2c2

Browse files
konnovkonnov
authored
Merge pull request #3208 from apalache-mc/release/0.51.0
[release] 0.51.0
2 parents d1e58b8 + b110de4 commit aefd2c2

File tree

12 files changed

+20
-13
lines changed

12 files changed

+20
-13
lines changed

‎.unreleased/bug-fixes/digits-in-type-aliases.md‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎.unreleased/bug-fixes/json-rpc-query.md‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎.unreleased/bug-fixes/transition-stability.md‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎.unreleased/bug-fixes/transitive-inlining.md‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎.unreleased/features/apalache-mc-gc‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎.unreleased/features/labels3167.md‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎.unreleased/features/labels3171.md‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎.unreleased/features/quint-labels3168.md‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎.unreleased/features/sort-functions.md‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎.unreleased/features/typechecking-ai-prompt.md‎

Lines changed: 0 additions & 2 deletions
This file was deleted.

0 commit comments

Comments
 (0)