From 6d1048f2d6ea1aecd30056567904580be95a3a71 Mon Sep 17 00:00:00 2001 From: Tilman Hinnerichs Date: Thu, 28 Sep 2023 15:33:48 +0200 Subject: [PATCH] HerbEvaluation -> HerbInterpret update version numbers --- Project.toml | 8 ++++---- src/Herb.jl | 4 ++-- test/runtests.jl | 6 +++--- test/runtests.jl_copy | 30 ------------------------------ 4 files changed, 9 insertions(+), 39 deletions(-) delete mode 100644 test/runtests.jl_copy diff --git a/Project.toml b/Project.toml index 991a7d7..032f990 100644 --- a/Project.toml +++ b/Project.toml @@ -1,14 +1,14 @@ name = "Herb" uuid = "c09c6b7f-4f63-49de-90d9-97a3563c0f4a" authors = ["Jaap de Jong ", "Tilman Hinnerichs ", "Sebastijan Dumancic "] -version = "0.1.0" +version = "0.1.1" [deps] HerbConstraints = "1fa96474-3206-4513-b4fa-23913f296dfc" HerbCore = "2b23ba43-8213-43cb-b5ea-38c12b45bd45" HerbData = "495a3ad3-8034-41b3-a087-aacf2fd71098" -HerbEvaluation = "eb1bf938-813d-4942-ac0f-b4657a683e76" HerbGrammar = "4ef9e186-2fe5-4b24-8de7-9f7291f24af7" +HerbInterpret = "5bbddadd-02c5-4713-84b8-97364418cca7" HerbSearch = "3008d8e8-f9aa-438a-92ed-26e9c7b4829f" Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f" @@ -16,9 +16,9 @@ Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f" HerbConstraints = "0.1.0" HerbCore = "0.1.1" HerbData = "0.1.1" -HerbEvaluation = "0.1.0" HerbGrammar = "0.1.0" -HerbSearch = "0.1.0" +HerbInterpret = "0.1.0" +HerbSearch = "0.1.1" julia = "1.8" [extras] diff --git a/src/Herb.jl b/src/Herb.jl index 8c9d250..751e321 100644 --- a/src/Herb.jl +++ b/src/Herb.jl @@ -4,7 +4,7 @@ using HerbCore using HerbGrammar using HerbConstraints using HerbData -using HerbEvaluation +using HerbInterpret using HerbSearch export @@ -12,7 +12,7 @@ export HerbGrammar, HerbConstraints, HerbData, - HerbEvaluation, + HerbInterpret, HerbSearch end # module diff --git a/test/runtests.jl b/test/runtests.jl index e33a35f..c8209c6 100644 --- a/test/runtests.jl +++ b/test/runtests.jl @@ -3,7 +3,7 @@ module HerbTest using HerbConstraints using HerbCore using HerbData -using HerbEvaluation +using HerbInterpret using HerbGrammar using HerbSearch @@ -18,8 +18,8 @@ import Pkg Pkg.test("HerbCore") println("\n--- HerbData tests ---") Pkg.test("HerbData") - println("\n--- HerbEvaluation tests ---") - Pkg.test("HerbEvaluation") + println("\n--- HerbInterpret tests ---") + Pkg.test("HerbInterpret") println("\n--- HerbGrammar tests ---") Pkg.test("HerbGrammar") println("\n--- HerbSearch tests ---") diff --git a/test/runtests.jl_copy b/test/runtests.jl_copy deleted file mode 100644 index 84b16a3..0000000 --- a/test/runtests.jl_copy +++ /dev/null @@ -1,30 +0,0 @@ -module HerbTest - -using HerbConstraints -using HerbCore -using HerbData -using HerbEvaluation -using HerbGrammar -using HerbSearch - -using Test -import Pkg - -@testset verbose=false "Herb" begin - # @test 1==1 # dummy test - - println("\n--- HerbConstraints tests ---") - Pkg.test("HerbConstraints") - println("\n--- HerbCore tests ---") - Pkg.test("HerbCore") - println("\n--- HerbData tests ---") - Pkg.test("HerbData") - println("\n--- HerbEvaluation tests ---") - Pkg.test("HerbEvaluation") - println("\n--- HerbGrammar tests ---") - Pkg.test("HerbGrammar") - println("\n--- HerbSearch tests ---") - Pkg.test("HerbSearch") -end - -end # module