Package evaluation to load Flowstar on Julia 1.13.0-DEV.1276 (4ca97dc26d*) started at 2025-10-10T08:46:40.782


################################################################################
# Set-up
#


Set-up completed after 0.13s


################################################################################
# Installation
#

Installing Flowstar...
   Resolving package versions...
    Updating `~/.julia/environments/v1.13/Project.toml`
  [a8054ddd] + Flowstar v0.2.7
    Updating `~/.julia/environments/v1.13/Manifest.toml`
  [47edcb42] + ADTypes v1.18.0
  [7d9f7c33] + Accessors v0.1.42
  [79e6a3ab] + Adapt v4.4.0
  [4fba245c] + ArrayInterface v7.20.0
  [62783981] + BitTwiddlingConvenienceFunctions v0.1.6
  [2a0fbf3d] + CPUSummary v0.2.7
  [96374032] + CRlibm v1.0.2
  [fb6a15b2] + CloseOpenIntervals v0.1.13
  [38540f10] + CommonSolve v0.2.4
  [bbf7d656] + CommonSubexpressions v0.3.1
  [f70d9fcc] + CommonWorldInvalidations v1.0.0
  [34da2185] + Compat v4.18.1
  [a33af91c] + CompositionsBase v0.1.2
  [2569d6c7] + ConcreteStructs v0.2.3
  [187b0558] + ConstructionBase v1.6.0
  [adafc99b] + CpuId v0.3.1
  [864edb3b] + DataStructures v0.19.1
  [2b5f629d] + DiffEqBase v6.190.2
  [163ba53b] + DiffResults v1.1.0
  [b552c78f] + DiffRules v1.15.1
  [ffbed154] + DocStringExtensions v0.9.5
  [4e289a0a] + EnumX v1.0.5
  [f151be2c] + EnzymeCore v0.8.14
  [90fa49ef] + ErrorfreeArithmetic v0.5.2
  [6912e4f1] + Espresso v0.6.4
  [e2ba6199] + ExprTools v0.1.10
  [55351af7] + ExproniconLite v0.10.14
  [7034ab61] + FastBroadcast v0.3.5
  [9aa1b823] + FastClosures v0.3.2
  [a4df4552] + FastPower v1.1.3
  [fa42c844] + FastRounding v0.3.1
  [a8054ddd] + Flowstar v0.2.7
⌅ [f6369f11] + ForwardDiff v0.10.39
  [069b7b12] + FunctionWrappers v1.1.3
  [77dc65aa] + FunctionWrappersWrappers v0.1.3
  [46192b85] + GPUArraysCore v0.2.0
  [615f187c] + IfElse v0.1.1
⌅ [d1acc4aa] + IntervalArithmetic v0.20.9
⌅ [d2bf35a9] + IntervalRootFinding v0.5.11
  [3587e190] + InverseFunctions v0.1.17
  [92d709cd] + IrrationalConstants v0.2.4
  [82899510] + IteratorInterfaceExtensions v1.0.0
  [692b3bcd] + JLLWrappers v1.7.1
  [ae98c720] + Jieko v0.2.1
  [10f19ff3] + LayoutPointers v0.1.17
  [2ab3a3ac] + LogExpFunctions v0.3.29
  [1914dd2f] + MacroTools v0.5.16
  [d125e4d3] + ManualMemory v0.1.8
  [2e0e35c7] + Moshi v0.3.7
  [46d2c3a1] + MuladdMacro v0.2.4
  [102ac46a] + MultivariatePolynomials v0.5.13
  [d8a4904e] + MutableArithmetics v1.6.6
  [77ba4419] + NaNMath v1.1.3
  [bac558e1] + OrderedCollections v1.8.1
  [f517fe37] + Polyester v0.7.18
  [1d0040c9] + PolyesterWeave v0.2.2
⌅ [f27b6e38] + Polynomials v3.2.13
  [d236fae5] + PreallocationTools v0.4.34
  [aea7be01] + PrecompileTools v1.3.3
  [21216c6a] + Preferences v1.5.0
  [33c8b6b6] + ProgressLogging v0.1.5
  [3cdcf5f2] + RecipesBase v1.3.4
  [731186ca] + RecursiveArrayTools v3.37.1
  [189a3867] + Reexport v1.2.2
  [ae029012] + Requires v1.3.1
  [5eaf0fd0] + RoundingEmulator v0.2.1
  [7e49a35a] + RuntimeGeneratedFunctions v0.5.15
  [94e857df] + SIMDTypes v0.1.0
  [0bca4576] + SciMLBase v2.120.0
  [c0aeaf25] + SciMLOperators v1.8.0
  [431bcebd] + SciMLPublic v1.0.0
  [53ae85a6] + SciMLStructures v1.7.0
  [3cc68bcd] + SetRounding v0.2.1
  [efcf1570] + Setfield v1.1.2
  [276daf66] + SpecialFunctions v2.6.1
  [aedffcd0] + Static v1.3.0
  [0d7ed370] + StaticArrayInterface v1.8.0
  [90137ffa] + StaticArrays v1.9.15
  [1e83bf80] + StaticArraysCore v1.4.3
  [10745b16] + Statistics v1.11.1
  [7792a7ef] + StrideArraysCore v0.5.8
  [2efcf032] + SymbolicIndexingInterface v0.3.45
⌅ [92b13dbe] + TaylorIntegration v0.16.2
⌅ [314ce334] + TaylorModels v0.8.0
⌅ [6aa5eb33] + TaylorSeries v0.18.5
  [8290d209] + ThreadingUtilities v0.5.5
  [781d530d] + TruncatedStacktraces v1.4.0
  [afbbf031] + TypedPolynomials v0.4.2
  [4e9b3aee] + CRlibm_jll v1.0.1+0
  [857d554b] + Flowstar_jll v2.1.0+0
  [e8aa6df9] + GLPK_jll v5.0.1+1
⌅ [1b77fbbe] + GSL_jll v2.7.2+0
  [efe28fd5] + OpenSpecFun_jll v0.5.6+0
  [0dad84c5] + ArgTools v1.1.2
  [56f22d72] + Artifacts v1.11.0
  [2a0f44e3] + Base64 v1.11.0
  [ade2ca70] + Dates v1.11.0
  [8ba89e20] + Distributed v1.11.0
  [f43a241f] + Downloads v1.7.0
  [7b1f6079] + FileWatching v1.11.0
  [9fa8497b] + Future v1.11.0
  [b77e0a4c] + InteractiveUtils v1.11.0
  [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0
  [b27032c2] + LibCURL v0.6.4
  [76f85450] + LibGit2 v1.11.0
  [8f399da3] + Libdl v1.11.0
  [37e2e46d] + LinearAlgebra v1.13.0
  [56ddb016] + Logging v1.11.0
  [d6f4376e] + Markdown v1.11.0
  [ca575930] + NetworkOptions v1.3.0
  [44cfe95a] + Pkg v1.13.0
  [de0858da] + Printf v1.11.0
  [9a3f8284] + Random v1.11.0
  [ea8e919c] + SHA v0.7.0
  [9e88b42a] + Serialization v1.11.0
  [6462fe0b] + Sockets v1.11.0
  [2f01184e] + SparseArrays v1.13.0
  [f489334b] + StyledStrings v1.11.0
  [fa267f1f] + TOML v1.0.3
  [a4e569a6] + Tar v1.10.0
  [8dfed614] + Test v1.11.0
  [cf7118a7] + UUIDs v1.11.0
  [4ec0a83e] + Unicode v1.11.0
  [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1
  [781609d7] + GMP_jll v6.3.0+2
  [deac9b47] + LibCURL_jll v8.16.0+0
  [e37daf67] + LibGit2_jll v1.9.1+0
  [29816b5a] + LibSSH2_jll v1.11.3+1
  [3a97d323] + MPFR_jll v4.2.2+0
  [14a3606d] + MozillaCACerts_jll v2025.9.9
  [4536629a] + OpenBLAS_jll v0.3.29+0
  [05823500] + OpenLibm_jll v0.8.7+0
  [458c3c95] + OpenSSL_jll v3.5.4+0
  [efcefdf7] + PCRE2_jll v10.46.0+0
  [bea87d4a] + SuiteSparse_jll v7.10.1+0
  [83775a58] + Zlib_jll v1.3.1+2
  [3161d3a3] + Zstd_jll v1.5.7+1
  [8e850b90] + libblastrampoline_jll v5.15.0+0
  [8e850ede] + nghttp2_jll v1.67.1+0
  [3f19e933] + p7zip_jll v17.6.0+0
        Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m`

Installation completed after 9.52s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...
     Project No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml`
    Manifest No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml`

Precompiling package dependencies...
Precompiling packages...
   1619.6 ms  ✓ ADTypes → ADTypesEnzymeCoreExt
    660.2 ms  ✓ LogExpFunctions → LogExpFunctionsInverseFunctionsExt
    959.1 ms  ✓ EnzymeCore → AdaptExt
   6978.5 ms  ✓ TaylorSeries
   3299.3 ms  ✓ CPUSummary
   4375.4 ms  ✓ MultivariatePolynomials
   1130.2 ms  ✓ Flowstar_jll
  31569.4 ms  ✓ Polynomials
   4598.2 ms  ✓ RecursiveArrayTools
    929.9 ms  ✓ BitTwiddlingConvenienceFunctions
   1124.0 ms  ✓ CloseOpenIntervals
   1438.6 ms  ✓ LayoutPointers
   6392.5 ms  ✓ IntervalArithmetic
   8312.4 ms  ✓ ForwardDiff
   2589.2 ms  ✓ TaylorSeries → TaylorSeriesSAExt
   4893.1 ms  ✓ TypedPolynomials
   5952.3 ms  ✓ Polynomials → PolynomialsMutableArithmeticsExt
   3055.2 ms  ✓ RecursiveArrayTools → RecursiveArrayToolsSparseArraysExt
  25070.9 ms  ✓ SciMLBase
   2510.4 ms  ✓ TaylorSeries → TaylorSeriesRATExt
   1828.4 ms  ✓ PolyesterWeave
   2088.4 ms  ✓ StrideArraysCore
   3260.4 ms  ✓ TaylorSeries → TaylorSeriesIAExt
   2628.0 ms  ✓ ForwardDiff → ForwardDiffStaticArraysExt
   1918.7 ms  ✓ FastPower → FastPowerForwardDiffExt
   1401.9 ms  ✓ PreallocationTools → PreallocationToolsForwardDiffExt
   2047.3 ms  ✓ RecursiveArrayTools → RecursiveArrayToolsForwardDiffExt
   4329.5 ms  ✓ SciMLBase → SciMLBaseForwardDiffExt
   2291.9 ms  ✓ Polyester
   9960.9 ms  ✓ IntervalRootFinding
   2970.4 ms  ✓ FastBroadcast
   2460.6 ms  ✓ RecursiveArrayTools → RecursiveArrayToolsFastBroadcastExt
   6520.3 ms  ✓ DiffEqBase
   4297.6 ms  ✓ DiffEqBase → DiffEqBaseForwardDiffExt
   3858.9 ms  ✓ DiffEqBase → DiffEqBaseSparseArraysExt
   4342.4 ms  ✓ TaylorIntegration
  10646.3 ms  ✓ TaylorModels
  10897.9 ms  ✓ Flowstar
  38 dependencies successfully precompiled in 197 seconds. 128 already precompiled.
  1 dependency had output during precompilation:
┌ Polynomials
│  WARNING: Constructor for type "Symbol" was extended in `Polynomials` without explicit qualification or import.
│    NOTE: Assumed "Symbol" refers to `Base.Symbol`. This behavior is deprecated and may differ in future versions.
│    NOTE: This behavior may have differed in Julia versions prior to 1.12.
│    Hint: If you intended to create a new generic function of the same name, use `function Symbol end`.
│    Hint: To silence the warning, qualify `Symbol` as `Base.Symbol` in the method signature or explicitly `import Base: Symbol`.
└  

Precompilation completed after 195.37s


################################################################################
# Loading
#

Loading Flowstar...

Loading completed after 7.33s

PkgEval succeeded after 237.82s