From 64f4b85867563be68ad66271f1068e130387c8ea Mon Sep 17 00:00:00 2001 From: Klaus Alfert Date: Mon, 21 Apr 2025 22:08:02 +0200 Subject: [PATCH 1/3] fix GPL version forSPDX compliant --- mix.exs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mix.exs b/mix.exs index f84e19d..f51a2cd 100644 --- a/mix.exs +++ b/mix.exs @@ -49,7 +49,7 @@ defmodule PropCheck.Mixfile do defp package do [ maintainers: ["Klaus Alfert", "evnu"], - licenses: ["GPL 3.0"], + licenses: ["GPL-3.0-or-later"], links: %{"GitHub" => @source_url} ] end From 98b965d8f463ec1192c0a8f054b5d1bb68a55e1e Mon Sep 17 00:00:00 2001 From: Klaus Alfert Date: Mon, 21 Apr 2025 22:21:11 +0200 Subject: [PATCH 2/3] documentation fixes --- lib/statem_dsl.ex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/statem_dsl.ex b/lib/statem_dsl.ex index 9e37c11..4f48c0b 100644 --- a/lib/statem_dsl.ex +++ b/lib/statem_dsl.ex @@ -260,7 +260,7 @@ defmodule PropCheck.StateM.DSL do @doc """ _DEPRECATED_ : This module is deprecated, please use - `PropCheck.Statem.ModelDSL` instead. + `PropCheck.StateM.ModelDSL` instead. The optional weights for the command generation. It takes the current model state and returns a map of command/weight pairs. Commands, @@ -291,7 +291,7 @@ defmodule PropCheck.StateM.DSL do @deprecated "This module is deprecated, use `PropCheck.StateM.ModelDSL` instead!" @doc """ _DEPRECATED_ : This module is deprecated, please use - `PropCheck.Statem.ModelDSL` instead. + `PropCheck.StateM.ModelDSL` instead. Defines a new command of the model. From 594ac9996f87aed06dca42cc971b16faf7d43ae5 Mon Sep 17 00:00:00 2001 From: Klaus Alfert Date: Mon, 21 Apr 2025 22:24:11 +0200 Subject: [PATCH 3/3] change documentation for 1.5.0 --- CHANGELOG.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 386483a..8fce07e 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,14 @@ ## Current Development +* Documentation and tiny fixes + +## 1.5.0 + +* Support for PropEr 1.5 +* Support for Elixir 1.18 and Erlang 27 +* Documentation fixes + ## 1.4.2 * Eliminate warnings on dependencies. Thanks to