From b836c1fa1cb814d914182b0da98b368cca55c787 Mon Sep 17 00:00:00 2001 From: Jack Feser Date: Fri, 1 Feb 2019 15:33:53 +0900 Subject: [PATCH] Prep for release. --- CHANGES.md | 3 +++ l2.opam | 1 + test/v2_engine_tests.ml | 19 ------------------- 3 files changed, 4 insertions(+), 19 deletions(-) create mode 100644 CHANGES.md diff --git a/CHANGES.md b/CHANGES.md new file mode 100644 index 0000000..95ed955 --- /dev/null +++ b/CHANGES.md @@ -0,0 +1,3 @@ +## 2.0 (2019-02-01) + +Initial release. diff --git a/l2.opam b/l2.opam index 85fad24..27a745c 100644 --- a/l2.opam +++ b/l2.opam @@ -5,6 +5,7 @@ maintainer: "Jack Feser " authors: "Jack Feser " 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]] diff --git a/test/v2_engine_tests.ml b/test/v2_engine_tests.ml index 4259bd2..ff8ebca 100644 --- a/test/v2_engine_tests.ml +++ b/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