You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@groovy.apache.org by pa...@apache.org on 2026/06/01 08:42:23 UTC
(groovy-website) branch asf-site updated: formatting
This is an automated email from the ASF dual-hosted git repository.
paulk-asert pushed a commit to branch asf-site
in repository https://gitbox.apache.org/repos/asf/groovy-website.git
The following commit(s) were added to refs/heads/asf-site by this push:
new 988b8c1 formatting
988b8c1 is described below
commit 988b8c1215c3ff5e73afc186d92df0f9a04f92ac
Author: Paul King <pa...@asert.com.au>
AuthorDate: Mon Jun 1 18:42:14 2026 +1000
formatting
---
site/src/site/blog/groovy6-functional.adoc | 1 +
1 file changed, 1 insertion(+)
diff --git a/site/src/site/blog/groovy6-functional.adoc b/site/src/site/blog/groovy6-functional.adoc
index fddd496..1402531 100644
--- a/site/src/site/blog/groovy6-functional.adoc
+++ b/site/src/site/blog/groovy6-functional.adoc
@@ -1338,6 +1338,7 @@ builder and builder-with-checker variants, and the `verification`
.Update history
****
*01/Jun/2026*: Added `pbt-fj` and `pbt-vavr` subprojects to the companion repo, which generate the same property-based tests as the main `pbt` subproject but using the `functionaljava-quickcheck` and `vavr-test` libraries respectively.
+
*30/May/2026*: Added "From contract-grade to proof-grade" section — a
spike that puts a Z3 solver behind a `@TypeChecked` extension to
discharge `@Requires` preconditions, `@Ensures` postconditions, and