From 1139cbd595c9ac4fb14e73b22f4b175d21db0d83 Mon Sep 17 00:00:00 2001
From: Ralf Anton Beier <ralf_beier@me.com>
Date: Sun, 11 Jan 2026 17:48:33 +0100
Subject: [PATCH] chore: bump version to 0.3.0

This release includes significant formal verification improvements:

## v0.3.0 Features

- K-induction for unbounded loop verification
- Function summaries tracking calls, memory, and globals
- Float verification using Z3 FPA theory for IEEE 754 semantics
- MemorySize/Grow verification with shared symbolic state
- Partial-width store verification (I32Store8, I32Store16, etc.)

## v0.2.0 Features (included)

- Differential testing against wasmtime
- Nested loop verification (depth 1)
- Fuzz targets for optimization pipeline
---
 Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Cargo.toml b/Cargo.toml
index 3da56fb..6374d8c 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -9,7 +9,7 @@ members = [
 ]
 
 [workspace.package]
-version = "0.1.0"
+version = "0.3.0"
 authors = ["PulseEngine <https://github.com/pulseengine>"]
 edition = "2021"
 license = "Apache-2.0"