prepare for 0.3

Author: c-cube

_oasis

@@ -1,6 +1,6 @@
 OASISFormat: 0.4
 Name:        nunchaku
-Version:     0.2
+Version:     0.3
 Homepage:    https://github.com/nunchaku/nunchaku
 Authors:     Simon Cruanes, Jasmin Blanchette
 License:     BSD-2-clause

opam

@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "nunchaku"
-version: "0.2"
+version: "0.3"
 authors: ["Simon Cruanes" "Jasmin Blanchette"]
 maintainer: "[email protected]"
 build: [

setup.ml

@@ -1,7 +1,7 @@
 (* setup.ml generated for the first time by OASIS v0.4.5 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: 5e91dcb954d8237794d4992c9187404e) *)
+(* DO NOT EDIT (digest: 930837148f604006d4ca428266e1b55c) *)
 (*
    Regenerated by OASIS v0.4.7
    Visit http://oasis.forge.ocamlcore.org for more information and
@@ -7051,7 +7051,7 @@ let setup_t =
        {
           oasis_version = "0.4";
           ocaml_version = Some (OASISVersion.VGreaterEqual "4.00.1");
-          version = "0.2";
+          version = "0.3";
           license =
             OASISLicense.DEP5License
               (OASISLicense.DEP5Unit
@@ -8297,15 +8297,16 @@ let setup_t =
        };
      oasis_fn = Some "_oasis";
      oasis_version = "0.4.7";
-     oasis_digest = Some "\174Yn 0[+\0287\153\153\015\bV U";
+     oasis_digest =
+       Some "\202[g\157\162\019\244\135\255\014\251Bu\199\221\127";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false
   };;
 
 let setup () = BaseSetup.setup setup_t;;
 
-# 8309 "setup.ml"
+# 8310 "setup.ml"
 let setup_t = BaseCompat.Compat_0_4.adapt_setup_t setup_t
 open BaseCompat.Compat_0_4
 (* OASIS_STOP *)

src/core/META

@@ -1,6 +1,6 @@
 # OASIS_START
-# DO NOT EDIT (digest: 9b02635b633f9e5a8347fee176d1fc45)
-version = "0.2"
+# DO NOT EDIT (digest: 2e21742828b06c1449a8a0247ae78ced)
+version = "0.3"
 description = "A model finder for higher-order logic"
 requires = "containers containers.data sequence num unix threads"
 archive(byte) = "nunchaku_core.cma"
@@ -9,7 +9,7 @@ archive(native) = "nunchaku_core.cmxa"
 archive(native, plugin) = "nunchaku_core.cmxs"
 exists_if = "nunchaku_core.cma"
 package "transformations" (
- version = "0.2"
+ version = "0.3"
  description = "A model finder for higher-order logic"
  requires = "containers nunchaku"
  archive(byte) = "nunchaku_transformations.cma"
@@ -20,7 +20,7 @@ package "transformations" (
 )
 
 package "random" (
- version = "0.2"
+ version = "0.3"
  description = "A model finder for higher-order logic"
  requires = "nunchaku qcheck"
  archive(byte) = "nunchaku_random.cma"
@@ -31,7 +31,7 @@ package "random" (
 )
 
 package "parsers" (
- version = "0.2"
+ version = "0.3"
  description = "A model finder for higher-order logic"
  requires = "nunchaku"
  archive(byte) = "nunchaku_parsers.cma"
@@ -42,7 +42,7 @@ package "parsers" (
 )
 
 package "backends" (
- version = "0.2"
+ version = "0.3"
  description = "A model finder for higher-order logic"
  requires = "nunchaku nunchaku.parsers"
  archive(byte) = "nunchaku_backends.cma"