Prepare SymbolicAnalysis 0.5 downgrade environment

Co-Authored-By: Chris Rackauckas <accounts@chrisrackauckas.com>

Author: ChrisRackauckas

.github/dependabot.yml

@@ -10,6 +10,7 @@ updates:
       - "/"
       - "/docs"
       - "/test"
+      - "/test/DGP"
     schedule:
       interval: "daily"
     groups:

.github/workflows/Downgrade.yml

@@ -11,12 +11,21 @@ on:
     paths-ignore:
       - 'docs/**'
 jobs:
-  downgrade:
+  downgrade-core:
     uses: "SciML/.github/.github/workflows/downgrade.yml@v1"
     with:
       julia-version: "lts"
-      # Downgrade the test project too: its deps (Optimization/Zygote/ForwardDiff)
-      # have floors that pull transitive deps (SciMLBase) far above the package's
-      # own minima, so pinning only the root project leaves an unsatisfiable env.
+      group: "Core"
       projects: ".,test"
     secrets: "inherit"
+
+  # Core and DGP intentionally resolve different LogExpFunctions generations.
+  # Separate Julia processes prevent extensions from binding to a version loaded
+  # by the other environment.
+  downgrade-dgp:
+    uses: "SciML/.github/.github/workflows/downgrade.yml@v1"
+    with:
+      julia-version: "lts"
+      group: "DGP"
+      projects: "test/DGP"
+    secrets: "inherit"

Project.toml

@@ -1,7 +1,7 @@
 name = "SymbolicAnalysis"
 uuid = "4297ee4d-0239-47d8-ba5d-195ecdf594fe"
 authors = ["Vaibhav Dixit <vaibhavyashdixit@gmail.com>", "Shashi Gowda <gowda@mit.edu>"]
-version = "0.4.0"
+version = "0.5.0"
 
 [deps]
 DSP = "717857b8-e6f2-59f4-9121-6e50c889abd2"

docs/Project.toml

@@ -32,6 +32,6 @@ Manifolds = "0.9, 0.11"
 PDMats = "0.11"
 RecursiveArrayTools = "3, 4.3"
 StatsBase = "0.34"
-SymbolicAnalysis = "0.3.6, 0.4"
+SymbolicAnalysis = "0.5"
 SymbolicUtils = "4.35"
 Symbolics = "7.28"

test/DGP/Project.toml

@@ -0,0 +1,28 @@
+[deps]
+LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
+Manifolds = "1cead3c2-87b3-11e9-0ccd-23c62b72b94e"
+Optimization = "7f7a1694-90dd-40f0-9382-eb1efda571ba"
+OptimizationBase = "bca83a33-5cc9-4baa-983d-23429ab6bcbb"
+OptimizationManopt = "e57b7fff-7ee7-4550-b4f0-90e9476e9fb6"
+Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
+SafeTestsets = "1bc83da4-3b8d-516f-aca4-4fe02f6d838f"
+SymbolicAnalysis = "4297ee4d-0239-47d8-ba5d-195ecdf594fe"
+Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7"
+Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
+Zygote = "e88e6eb3-aa80-5325-afca-941959d7151f"
+
+[sources]
+SymbolicAnalysis = {path = "/home/crackauc/sandbox/tmp_20260715_055953_80193/audit/worktrees/symbolicanalysis-downgrade-current"}
+
+[compat]
+LinearAlgebra = "1.10"
+Manifolds = "0.10, 0.11"
+Optimization = "5.6.1"
+OptimizationBase = "5.2.2"
+OptimizationManopt = "1.3.2"
+Random = "1.10"
+SafeTestsets = "0.1.0"
+Symbolics = "7.28"
+Test = "1"
+Zygote = "0.7.10"
+julia = "1.10"

test/dgp.jl test/DGP/dgp.jltest/dgp.jl renamed to test/DGP/dgp.jl

@@ -1,7 +1,6 @@
 using Manifolds, Symbolics, SymbolicAnalysis, LinearAlgebra
-using LinearAlgebra, PDMats
 using Symbolics: unwrap
-using Test, Zygote, ForwardDiff
+using Test, Zygote
 using SymbolicAnalysis: propagate_sign, propagate_curvature, propagate_gcurvature
 
 @variables X[1:5, 1:5]

test/Project.toml

@@ -1,33 +1,19 @@
 [deps]
 AllocCheck = "9b6a8646-10ed-4001-bbdc-1d2f46dfbb1a"
 Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
-ForwardDiff = "f6369f11-7733-5829-9624-2563aa707210"
 JET = "c3a54625-cd67-489e-a8e7-0a5a0ff4e31b"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 Manifolds = "1cead3c2-87b3-11e9-0ccd-23c62b72b94e"
-Manopt = "0fc0a36d-df90-57f3-8f93-d78a9fc72bb5"
-Optimization = "7f7a1694-90dd-40f0-9382-eb1efda571ba"
-OptimizationBase = "bca83a33-5cc9-4baa-983d-23429ab6bcbb"
-OptimizationManopt = "e57b7fff-7ee7-4550-b4f0-90e9476e9fb6"
-PDMats = "90014a1f-27ba-587c-ab20-58faa44d9150"
 Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 SafeTestsets = "1bc83da4-3b8d-516f-aca4-4fe02f6d838f"
 SciMLTesting = "09d9d899-5365-40a9-917a-5f67fddea283"
 Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
-Zygote = "e88e6eb3-aa80-5325-afca-941959d7151f"
 [compat]
 AllocCheck = "0.2.4"
 Aqua = "0.8"
-ForwardDiff = "1.3.3"
 JET = "0.9,0.10,0.11"
 Manifolds = "0.10, 0.11"
-Manopt = "0.5.25, 0.6"
-Optimization = "5.6.1"
-OptimizationBase = "5.1.3"
-OptimizationManopt = "1.3.2"
-PDMats = "0.11"
 SafeTestsets = "0.1.0"
 SciMLTesting = "2.1"
 Symbolics = "7.28"
-Zygote = "0.7.10"

test/test_groups.toml

@@ -1,5 +1,8 @@
 [Core]
 versions = ["lts", "1", "pre"]
 
+[DGP]
+versions = ["lts", "1", "pre"]
+
 [QA]
 versions = ["lts", "1"]