Prep for release.

CHANGES.md

@@ -0,0 +1,3 @@
+## 2.0 (2019-02-01)
+
+Initial release.

l2.opam

@@ -5,6 +5,7 @@ maintainer:   "Jack Feser <[email protected]>"
 authors:      "Jack Feser <[email protected]>"
 homepage:     "https://github.com/jfeser/L2"
 bug-reports:  "https://github.com/jfeser/L2/issues"
+doc: "https://jfeser.github.io/L2/"
 license:      "Apache2.0"
 dev-repo:     "https://github.com/jfeser/L2.git"
 build: [["dune" "build" "-p" name "-j" jobs]]

test/v2_engine_tests.ml

@@ -15,25 +15,6 @@ let top = Specification.top
 let cost_model_tests =
   "cost-model"
   >::: [ test_case (fun ctxt ->
-             let skel_str =
-               "(Apply_h\n\
-               \   ((Id_h (Name append) Top)\n\
-               \    ((Hole_h\n\
-               \      ((id 27) (ctx ()) (type_ (App_t list ((Const_t Num_t))))\n\
-               \       (symbol Expression))\n\
-               \      Top)\n\
-               \     (Hole_h\n\
-               \      ((id 28) (ctx ()) (type_ (App_t list ((Const_t Num_t))))\n\
-               \       (symbol Expression))\n\
-               \      Top)))\n\
-               \   Top)"
-             in
-             let h =
-               Skeleton.t_of_sexp (Sexp.of_string skel_str)
-               |> Hypothesis.of_skeleton cost_model
-             in
-             assert_equal ~ctxt ~printer:Int.to_string 1 (Hypothesis.cost h) )
-       ; test_case (fun ctxt ->
              let h =
                let cm = cost_model in
                let one = Hypothesis.num cm 1 top in