v0.11.1

ldltools · Dec 30, 2018 · ff1693a · ff1693a
1 parent 721af6c
commit ff1693a
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,4 +1,4 @@
-# v0.12.0rc
+# v0.11.1 (2018-12-30)
 
 - [rules2ldl] natural numbers  
   support all arithmetic (add/sub/mul/div) and comparison (eq/ne/gt/lt/ge/le) operations.

diff --git a/README.md b/README.md
@@ -9,7 +9,7 @@ Each model in dsl4sc has the following unique characteristics:
   - event protocol: _regular_ pattern of acceptable event sequences
   - propery: LDL<sub>f</sub> formula that globally holds as an invariant condition.
   - [_ECA rule_](https://en.wikipedia.org/wiki/Event_condition_action):
-    relation between an event and its impact on internal states
+    triple of event, condition, and action
 - It has a clear semantics in terms of LDL<sub>f</sub>.
 - it can be verified statically and formally against arbitrary requirements
   that are also defined in dsl4sc

diff --git a/src/rules/version.ml b/src/rules/version.ml
@@ -13,8 +13,8 @@
  * limitations under the License.
  *)
 
-let get () = "0.12rc"
+let get () = "0.11.1"
 
 let get_major () = 0
-let get_minor () = 12
-let get_micro () = 0
+let get_minor () = 11
+let get_micro () = 1