v0.11.2

CHANGES.md

@@ -1,4 +1,4 @@
-# v0.12.0rc
+# v0.11.2 (2019-03-30)
 
 - [dsl4sc] pack all ocaml modules into "Dsl4sc"
 - [rules2scxml] SCXML event names can be overridden  
@@ -7,6 +7,8 @@
   (2dd2d3e)
 
 ## fixes
+- [rulespp] recognize term variables in modal paths correctly.
+  (b098d28)
 - [rulespp] recognize term variables in "preserve" rules correctly.
   (39bcf14)
 - [rules2ldl] p18n of _nat (n)_ where _n_ is not a power of 2.

Dockerfile

@@ -28,9 +28,15 @@ RUN apt-get update;\
     apt-get install -y gawk;\
     apt-get install -y graphviz xqilla libxml2-utils
 
+# dsl4sc
 WORKDIR /usr/local
 COPY --from=builder /usr/local .
 RUN ldconfig
 
+# examples & tests
+ADD examples /root/examples
+ADD tests /root/tests
+RUN apt-get install -y make gawk shelltestrunner
+
 WORKDIR /root
 CMD ["/bin/bash"]

README.md

@@ -36,7 +36,7 @@ This declares that, until the "_game_" event is emitted when the game is won,
 either of the "_sharapova_" and "_williams_" events, indicating which player wins a point,
 repeats 0 or more times.  
 
-Succeedingly, we add the following _property_ declaration that
+Succeedingly, we add the following _property_ that defines
 the players are initially at deuce and either will win the game in the end.
 
 ```
@@ -121,7 +121,6 @@ In addition to the tools listed above, you also need the following GNU tools:
   and build with `MAKE=remake remake` instead of `make`
 
 # Testing
+
 - run: `make -C tests test`  
   run test cases using `rulessat`, `rulesmc`, and `rules2scxml`.
-- run: `make -C tests scxml`  
-  SCXML files will be generated from rules definitions and stored into `tests/out`

src/rules/version.ml

@@ -13,8 +13,8 @@
  * limitations under the License.
  *)
 
-let get () = "0.12.0rc"
+let get () = "0.11.2"
 
 let get_major () = 0
-let get_minor () = 12
-let get_micro () = 0
+let get_minor () = 11
+let get_micro () = 2