diff --git a/.releaserc.cjs b/.releaserc.cjs
index 9f3b7943e..06df77008 100644
--- a/.releaserc.cjs
+++ b/.releaserc.cjs
@@ -49,10 +49,10 @@ module.exports = {
             { type: "chore", section: "Maintenance" },
             { type: "docs", section: "Maintenance" },
             { type: "revert", section: "Fixes" },
-            { type: "style", hidden: true },
-            { type: "refactor", hidden: true },
-            { type: "perf", hidden: true },
-            { type: "test", hidden: true },
+            { type: "style", section: "Miscellaneous" },
+            { type: "refactor", section: "Miscellaneous" },
+            { type: "perf", section: "Miscellaneous" },
+            { type: "test", section: "Miscellaneous" },
           ],
         },
         releaseRules: [
@@ -67,20 +67,134 @@ module.exports = {
       "@semantic-release/release-notes-generator",
       {
         preset: "conventionalcommits",
-        parserOpts: {
-          noteKeywords: ["BREAKING CHANGE", "BREAKING CHANGES"],
-        },
         presetConfig: {
           types: [
-            { type: "feat", section: "Features" },
-            { type: "fix", section: "Fixes" },
-            { type: "chore", section: "Maintenance" },
-            { type: "docs", section: "Maintenance" },
-            { type: "revert", section: "Fixes" },
-            { type: "style", hidden: true },
-            { type: "refactor", hidden: true },
-            { type: "perf", hidden: true },
-            { type: "test", hidden: true },
+            {
+              type: "feat",
+              scope: "dafny",
+              section: "Features -- All Languages",
+              hidden: false,
+            },
+            {
+              type: "feat",
+              scope: "dotnet",
+              section: "Features -- DotNet",
+              hidden: false,
+            },
+            {
+              type: "feat",
+              scope: "go",
+              section: "Features -- Go",
+              hidden: false,
+            },
+            {
+              type: "feat",
+              scope: "rust",
+              section: "Features -- Rust",
+              hidden: false,
+            },
+
+            {
+              type: "fix",
+              scope: "dafny",
+              section: "Fixes -- All Languages",
+              hidden: false,
+            },
+            {
+              type: "fix",
+              scope: "dotnet",
+              section: "Fixes -- DotNet",
+              hidden: false,
+            },
+            { type: "fix", scope: "go", section: "Fixes -- Go", hidden: false },
+            {
+              type: "fix",
+              scope: "rust",
+              section: "Fixes -- Rust",
+              hidden: false,
+            },
+
+            {
+              type: "chore",
+              scope: "dafny",
+              section: "Maintenance -- All Languages",
+              hidden: false,
+            },
+            {
+              type: "chore",
+              scope: "dotnet",
+              section: "Maintenance -- DotNet",
+              hidden: false,
+            },
+            {
+              type: "chore",
+              scope: "go",
+              section: "Maintenance -- Go",
+              hidden: false,
+            },
+            {
+              type: "chore",
+              scope: "rust",
+              section: "Maintenance -- Rust",
+              hidden: false,
+            },
+            {
+              type: "chore",
+              section: "Miscellaneous",
+              hidden: false,
+            },
+            {
+              type: "docs",
+              scope: "dafny",
+              section: "Maintenance -- All Languages",
+              hidden: false,
+            },
+            {
+              type: "docs",
+              scope: "dotnet",
+              section: "Maintenance -- DotNet",
+              hidden: false,
+            },
+            {
+              type: "docs",
+              scope: "go",
+              section: "Maintenance -- Go",
+              hidden: false,
+            },
+            {
+              type: "docs",
+              scope: "rust",
+              section: "Maintenance -- Rust",
+              hidden: false,
+            },
+            {
+              type: "revert",
+              scope: "dafny",
+              section: "Fixes -- All Languages",
+              hidden: false,
+            },
+            {
+              type: "revert",
+              scope: "dotnet",
+              section: "Fixes -- DotNet",
+              hidden: false,
+            },
+            {
+              type: "revert",
+              scope: "go",
+              section: "Fixes -- Go",
+              hidden: false,
+            },
+            {
+              type: "revert",
+              scope: "rust",
+              section: "Fixes -- Rust",
+              hidden: false,
+            },
+            { type: "style", section: "Miscellaneous", hidden: false },
+            { type: "refactor", section: "Miscellaneous", hidden: false },
+            { type: "perf", section: "Miscellaneous", hidden: false },
+            { type: "test", section: "Miscellaneous", hidden: false },
           ],
         },
       },
diff --git a/Makefile b/Makefile
index 8c9a33602..79f8889f1 100644
--- a/Makefile
+++ b/Makefile
@@ -33,7 +33,7 @@ duvet_report:
 		--html specification_compliance_report.html
 
 setup_semantic_release:
-	npm i --no-save semantic-release @semantic-release/changelog semantic-release-replace-plugin conventional-changelog-conventionalcommits @semantic-release/git
+	npm i --no-save semantic-release @semantic-release/changelog semantic-release-replace-plugin conventional-changelog-conventionalcommits @semantic-release/git @semantic-release/exec
 
 run_semantic_release:
 	npx semantic-release --no-ci