Merge branch 'documentation' into documentation-syntaxtree-tutorial

.github/workflows/contributors.yml

@@ -0,0 +1,52 @@
+name: Monthly contributor report
+on:
+  workflow_dispatch:
+  schedule:
+    - cron: '3 2 1 * *'
+
+permissions:
+  contents: read
+
+jobs:
+  contributor_report:
+    name: contributor report
+    runs-on: ubuntu-latest
+    permissions:
+      issues: write
+
+    steps:
+      - name: Check out repository code
+        uses: actions/checkout@v4
+
+      - name: Get start and end dates
+        shell: bash
+        run: |
+          # Some date before the start of the Herb.jl project
+          start_date=2023-01-01
+  
+          # Calculate the last day of the previous month
+          end_date=$(date -d "$start_date +1 month -1 day" +%Y-%m-%d)
+
+          #Set an environment variable with the date range
+          echo "START_DATE=$start_date" >> "$GITHUB_ENV"
+          echo "END_DATE=$end_date" >> "$GITHUB_ENV"
+
+      - name: Run contributor action
+        uses: github/contributors@v1
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          START_DATE: ${{ env.START_DATE }}
+          END_DATE: ${{ env.END_DATE }}          
+          ORGANIZATION: Herb-AI
+          SPONSOR_INFO: "true"
+          LINK_TO_PROFILE: "true"
+
+      - name: Move contributors file to repo directory
+        shell: bash
+        run: mv contibutors.md ${{ github.repository }}/CONTRIBUTORS.md
+
+      - name: Add and commit CONTRIBUTORS.md
+        uses: EndBug/add-and-commit@v9 
+        with:
+          message: "Monthly contributors report"
+          default_author: github_actor

Project.toml

@@ -1,7 +1,7 @@
 name = "Herb"
 uuid = "c09c6b7f-4f63-49de-90d9-97a3563c0f4a"
 authors = ["Jaap de Jong <[email protected]>", "Tilman Hinnerichs <[email protected]>", "Sebastijan Dumancic <[email protected]>"]
-version = "0.2.0"
+version = "0.3.0"
 
 [deps]
 HerbConstraints = "1fa96474-3206-4513-b4fa-23913f296dfc"
@@ -13,11 +13,11 @@ HerbSpecification = "6d54aada-062f-46d8-85cf-a1ceaf058a06"
 Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
 
 [compat]
-HerbConstraints = "^0.1.1"
-HerbCore = "^0.2.0"
+HerbConstraints = "^0.2.0"
+HerbCore = "^0.3.0"
+HerbGrammar = "^0.3.0"
 HerbInterpret = "^0.1.2"
-HerbGrammar = "^0.2.1"
-HerbSearch = "^0.2.0"
+HerbSearch = "^0.3.0"
 HerbSpecification = "^0.1.0"
 julia = "^1.8"
 

docs/make.jl

@@ -23,7 +23,9 @@ makedocs(
         "Tutorials" => [
             "A more verbose getting started with Herb.jl" => "tutorials/getting_started_with_herb.md",
             "Defining Grammars in Herb.jl" => "tutorials/defining_grammars.md",
-            "Advanced Search Procedures" => "tutorials/advanced_search.md"
+            "Advanced Search Procedures" => "tutorials/advanced_search.md",
+            "Getting started with Constraints" => "tutorials/getting_started_with_constraints.md",
+            "Working with custom interpreters" => "tutorials/working_with_interpreters.html"
         ],
         "Sub-Modules" => [
             "HerbCore.jl" => "HerbCore/index.md",

docs/src/index.md

@@ -31,12 +31,12 @@ Julia is a perfect fit for program synthesis due to numerous reasons. Starting f
 ## Sub-Modules
 
 Herb's functionality is distributed among several sub-packages:
-- [HerbCore.jl](@ref HerbCore_docs): The core of Herb.jl defining core concepts to avoid circular dependencies.
-- [HerbGrammar.jl](@ref HerbGrammar_docs):
-- [HerbSpecification.jl](@ref HerbSpecification_docs):
-- [HerbInterpret.jl](@ref HerbInterpret_docs):
-- [HerbSearch.jl](@ref HerbSearch_docs):
-- [HerbConstraints.jl](@ref HerbConstraints_docs):
+- [HerbCore.jl](@ref HerbCore_docs): The core of Herb.jl defining abstract concepts,
+- [HerbGrammar.jl](@ref HerbGrammar_docs): Functionality for declaring grammars,
+- [HerbSpecification.jl](@ref HerbSpecification_docs): For describing user intent as specifications,
+- [HerbInterpret.jl](@ref HerbInterpret_docs): For running programs in different languages and environments,
+- [HerbConstraints.jl](@ref HerbConstraints_docs): For defining and effectively propagating and managing constraints during search, and
+- [HerbSearch.jl](@ref HerbSearch_docs): For actually searching for solutions.
 
 
 ## Basics