(groovy-dev-site) branch asf-site updated: 2026/05/31 08:30:28: Generated dev website from groovy-website@55dbb58

[git-site-role]

This is an automated email from the ASF dual-hosted git repository.

asf-gitbox-commits pushed a commit to branch asf-site
in repository https://gitbox.apache.org/repos/asf/groovy-dev-site.git


The following commit(s) were added to refs/heads/asf-site by this push:
     new fff4e9a  2026/05/31 08:30:28: Generated dev website from 
groovy-website@55dbb58
fff4e9a is described below

commit fff4e9a308363be175d1205c2a1c836fc272c7b4
Author: jenkins <bui...@apache.org>
AuthorDate: Sun May 31 08:30:28 2026 +0000

    2026/05/31 08:30:28: Generated dev website from groovy-website@55dbb58
---
 blog/groovy6-functional.html | 11 ++++++-----
 search/search-index.json     |  2 +-
 2 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/blog/groovy6-functional.html b/blog/groovy6-functional.html
index 075dc52..6e1fffd 100644
--- a/blog/groovy6-functional.html
+++ b/blog/groovy6-functional.html
@@ -1669,11 +1669,12 @@ builder and builder-with-checker variants, and the 
<code>verification</code>
 <div class="paragraph">
 <p><strong>30/May/2026</strong>: Added "From contract-grade to proof-grade" 
section — a
 spike that puts a Z3 solver behind a <code>@TypeChecked</code> extension to
-discharge <code>@Requires</code> preconditions and <code>@Ensures</code> 
postconditions at
-compile time, with Dafny-style counterexamples, for a linear-integer
-fragment. Notes that Groovy&#8217;s contract annotations echo Dafny&#8217;s
-keywords and OpenJML&#8217;s taxonomy. Two new companion subprojects,
-<code>verification</code> and <code>verification-demo</code>.</p>
+discharge <code>@Requires</code> preconditions, <code>@Ensures</code> 
postconditions, and
+<code>@Invariant</code>/<code>@Decreases</code> loops at compile time, with 
Dafny-style
+counterexamples, for a linear-integer fragment. It reads Groovy&#8217;s
+built-in <code>@groovy.contracts</code> annotations directly, and notes how 
their
+names echo Dafny&#8217;s keywords and OpenJML&#8217;s taxonomy. Two new 
companion
+subprojects, <code>verification</code> and <code>verification-demo</code>.</p>
 </div>
 <div class="paragraph">
 <p><strong>26/May/2026</strong>: Added "Building your own checked DSL" section
diff --git a/search/search-index.json b/search/search-index.json
index 1d2dda1..1f98182 100644
--- a/search/search-index.json
+++ b/search/search-index.json
@@ -240,7 +240,7 @@
     {
         "id": "blog/groovy6-functional.html",
         "title": "The Apache Groovy programming language - Blogs - Groovy 6 
features for Functional Programmers",
-        "content": "The Apache Groovy programming language - Blogs - Groovy 6 
features for Functional Programmers Socialize Discuss on the mailing list 
Groovy on X Groovy on Bluesky Groovy on Mastodon Groovy on LinkedIn Events and 
conferences Source code on GitHub Report issues in Jira Stack Overflow 
questions Slack Community You are using an outdated browser. Please upgrade 
your browser to improve your experience. Apache Groovy&trade; Learn 
Documentation Download Support Contribute Ecos [...]
+        "content": "The Apache Groovy programming language - Blogs - Groovy 6 
features for Functional Programmers Socialize Discuss on the mailing list 
Groovy on X Groovy on Bluesky Groovy on Mastodon Groovy on LinkedIn Events and 
conferences Source code on GitHub Report issues in Jira Stack Overflow 
questions Slack Community You are using an outdated browser. Please upgrade 
your browser to improve your experience. Apache Groovy&trade; Learn 
Documentation Download Support Contribute Ecos [...]
         "url": "blog/groovy6-functional.html",
         "site": "dev"
     },