chore(release): v3.1.0

Author: danwt

specl/CHANGELOG.md

@@ -4,6 +4,8 @@ All notable changes to this project will be documented in this file.
 
 ## [Unreleased]
 
+## [3.1.0] - 2026-03-06
+
 ### Performance
 
 - Tighten release profile: fat LTO, debug=false, codegen-units=1 (~20% throughput improvement on Raft benchmark)

specl/Cargo.lock

@@ -19,22 +19,22 @@ exclude = [
 ]
 
 [workspace.package]
-version = "3.0.1"
+version = "3.1.0"
 edition = "2021"
 license-file = "../LICENSE"
 authors = ["Daniel"]
 repository = "https://github.com/danwt/specl"
 
 [workspace.dependencies]
 # Internal crates
-specl-syntax = { path = "crates/specl-syntax", version = "3.0.1" }
-specl-types = { path = "crates/specl-types", version = "3.0.1" }
-specl-ir = { path = "crates/specl-ir", version = "3.0.1" }
-specl-ts = { path = "crates/specl-ts", version = "3.0.1" }
-specl-eval = { path = "crates/specl-eval", version = "3.0.1" }
-specl-mc = { path = "crates/specl-mc", version = "3.0.1" }
-specl-tla = { path = "crates/specl-tla", version = "3.0.1" }
-specl-symbolic = { path = "crates/specl-symbolic", version = "3.0.1" }
+specl-syntax = { path = "crates/specl-syntax", version = "3.1.0" }
+specl-types = { path = "crates/specl-types", version = "3.1.0" }
+specl-ir = { path = "crates/specl-ir", version = "3.1.0" }
+specl-ts = { path = "crates/specl-ts", version = "3.1.0" }
+specl-eval = { path = "crates/specl-eval", version = "3.1.0" }
+specl-mc = { path = "crates/specl-mc", version = "3.1.0" }
+specl-tla = { path = "crates/specl-tla", version = "3.1.0" }
+specl-symbolic = { path = "crates/specl-symbolic", version = "3.1.0" }
 
 # Core
 thiserror = "1"