Prepare 1.1.0

.github/workflows/CI.yml

@@ -2,12 +2,16 @@ name: CI
 
 # Trigger the workflow on push or pull request
 on:
+  workflow_dispatch:
   push:
     branches:
       - master
       - main
   pull_request:
 
+permissions:
+  contents: read
+
 # the `concurrency` settings ensure that not too many CI jobs run in parallel
 concurrency:
   # group by workflow and ref; the last slightly strange component ensures that for pull
@@ -36,6 +40,10 @@ jobs:
           gap-version: ${{ matrix.gap-version }}
       - uses: gap-actions/build-pkg@v3
       - uses: gap-actions/run-pkg-tests@v4
+      - uses: gap-actions/run-pkg-tests@v4
+        with:
+          mode: onlyneeded
+          coverage: false
       - uses: gap-actions/process-coverage@v3
       - uses: codecov/codecov-action@v6
         with:

.github/workflows/docs.yml

@@ -2,12 +2,16 @@ name: Docs
 
 # Trigger the workflow on push or pull request
 on:
+  workflow_dispatch:
   push:
     branches:
       - main
       - master
   pull_request:
 
+permissions:
+  contents: read
+
 # the `concurrency` settings ensure that not too many CI jobs run in parallel
 concurrency:
   # group by workflow and ref; the last slightly strange component ensures that for pull

.github/workflows/release.yml

@@ -17,7 +17,12 @@ on:
         required: false
         default: false
 
-permissions: write-all
+permissions:
+  contents: write
+
+concurrency:
+  group: release
+  cancel-in-progress: false
 
 jobs:
   release:

PackageInfo.g

@@ -10,8 +10,8 @@ SetPackageInfo( rec(
 
 PackageName := "quickcheck",
 Subtitle := "Randomised Testing for GAP Functions",
-Version := "1.0.2",
-Date := "10/06/2026", # dd/mm/yyyy format
+Version := "1.1.0",
+Date := "01/10/2026", # dd/mm/yyyy format
 License := "MPL-2.0",
 
 Persons := [
@@ -52,7 +52,13 @@ ArchiveFormats := ".tar.gz",
 ##
 Status := "dev",
 
-AbstractHTML   :=  "",
+AbstractHTML   :=  Concatenation(
+  "The <span class=\"pkgname\">QuickCheck</span> package provides ",
+  "property-based testing for GAP. It lets users easily test that a ",
+  "function always passes (or two functions return the same value) on ",
+  "many randomly generated inputs. The package can generate many types ",
+  "of GAP objects. Small inputs are tried first, so the first ",
+  "counterexample found is usually small."),
 
 PackageDoc := rec(
   BookName  := "quickcheck",
@@ -65,7 +71,7 @@ PackageDoc := rec(
 
 Dependencies := rec(
   GAP := ">= 4.13",
-  NeededOtherPackages := [ ["polycyclic", ">=1.1"] ],
+  NeededOtherPackages := [ ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],
 ),
@@ -74,14 +80,18 @@ Extensions := [
   rec(
     needed := [ ["digraphs", "1.0.0" ] ],
     filename := "gap/digraphs.g",
-  )
+  ),
+  rec(
+    needed := [ ["polycyclic", "1.1" ] ],
+    filename := "gap/polycyclic.g",
+  ),
 ],
 
 AvailabilityTest := ReturnTrue,
 
 TestFile := "tst/testall.g",
 
-#Keywords := [ "TODO" ],
+Keywords := [ "testing", "property-based testing", "randomised testing", "QuickCheck" ],
 
 ));
 

gap/generators.g

@@ -78,4 +78,3 @@ end);
 
 
 QC_RegisterFilterGen(IsCyclic, {rg, limit} -> CyclicGroup(Random(rg, [1..limit])));
-QC_RegisterFilterGen(IsFreeAbelian, {rg, limit} -> FreeAbelianGroup(Random(rg, [1..limit])));

gap/polycyclic.g

@@ -0,0 +1 @@
+QC_RegisterFilterGen(IsFreeAbelian, {rg, limit} -> FreeAbelianGroup(Random(rg, [1..limit])));

history.md

@@ -1,3 +1,9 @@
+v1.1.0
+======
+
+* Significant documentation improvements
+* Many small fixes
+
 v1.0.2
 ======
 
@@ -16,4 +22,4 @@ No user-visible changes to the package were made.
 v1.0.0
 ======
 
-First polished release
+First polished release

tst/digraphs.tst

@@ -1,3 +1,4 @@
+#@if TestPackageAvailability("digraphs") <> fail
 gap> LoadPackage("digraphs", false);
 true
 gap> LoadPackage("quickcheck", false);
@@ -14,3 +15,4 @@ gap> Reset(GlobalMersenneTwister, 77);; Random([1..10]);;
 gap> rs := RandomSource(IsMersenneTwister, 3);;
 gap> l = List([1..20], i -> QC_MakeRandomArgument(IsDigraph, rs, 9));
 true
+#@fi

tst/polycyclic.tst

@@ -0,0 +1,8 @@
+#@if TestPackageAvailability("polycyclic") <> fail
+gap> LoadPackage("polycyclic", false);
+true
+gap> LoadPackage("quickcheck", false);
+true
+gap> QC_Check([IsFreeAbelian], G -> IsAbelian(G) and IsFreeAbelian(G));
+true
+#@fi