From e8ac79d072bd19c59fa0783bec56fdd88a4566c6 Mon Sep 17 00:00:00 2001
From: natebragg <nate@cs.tufts.edu>
Date: Tue, 9 Oct 2018 23:17:03 -0400
Subject: [PATCH] Release 0.7

---
 CHANGES      | 37 +++++++++++++++++++++++++++++++++++++
 smudge.cabal |  2 +-
 2 files changed, 38 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index e75c420..287a8bb 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,40 @@
+v0.7: First release as a part of Splat: the Smudge Platform.
+
+      Project:
+
+      The Smudge language now has a distribution, Splat, including both
+      the Smudge compiler and the Smear environment and runtime.
+
+      Oh yeah, the Smudge language also now has an official runtime: Smear!
+      The compiler supports generating bindings using the `--c-smear` flag.
+
+      Features:
+
+      The biggest minor feature is that event cycles are detected and
+      rejected.  Yes, that's right, Smudge solves (a tiny subset of) the
+      halting problem.  It is pretty conservative; it rejects machines
+      unless it can tell that all messages sent to an empty queue halts.
+
+      Errata:
+
+      Smudge now generates code that no longer yields an unused parameter
+      warning.  This means that all Smudge output compiles silently with:
+
+      gcc -c -std=c89 -pedantic -Wall -Wextra -Werror -Wno-unused-function
+
+      Additionally, there were several errors that were discovered using
+      code gen; most of these have been fixed.
+
+      Tickets:
+
+      21: Reject event cycles.
+      43: A single state can't handle an event two different ways.
+      58: Detect undeclared events sent to other state machines.
+      61: Any cannot be transient
+      62: Vim mis-highlights parenthesis in name.
+      67: Forbid nonsensical any states
+      73: Boolean command line switches should be invertable.
+
 v0.6: First open source release, now with better debugging and control.
 
       Project:
diff --git a/smudge.cabal b/smudge.cabal
index 09ca7b5..caf6f6d 100644
--- a/smudge.cabal
+++ b/smudge.cabal
@@ -1,5 +1,5 @@
 name:                smudge
-version:             0.6
+version:             0.7
 synopsis:            A tool to interpret state machines and automatically generate documentation and implementation.
 -- description:         
 homepage:            https://github.com/smudgelang/smudge#readme