mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-22 08:00:28 +01:00
rm Manifest and update scripts
This commit is contained in:
parent
ed832d69fb
commit
34e19768d4
508
Manifest.toml
508
Manifest.toml
@ -1,508 +0,0 @@
|
|||||||
# This file is machine-generated - editing it directly is not advised
|
|
||||||
|
|
||||||
julia_version = "1.8.5"
|
|
||||||
manifest_format = "2.0"
|
|
||||||
project_hash = "46bad61f58c1a6b455db53aa91fae7351cb279ab"
|
|
||||||
|
|
||||||
[[deps.AbstractAlgebra]]
|
|
||||||
deps = ["GroupsCore", "InteractiveUtils", "LinearAlgebra", "MacroTools", "Markdown", "Random", "RandomExtensions", "SparseArrays", "Test"]
|
|
||||||
git-tree-sha1 = "29e65c331f97db9189ef00a4c7aed8127c2fd2d4"
|
|
||||||
uuid = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
|
|
||||||
version = "0.27.10"
|
|
||||||
|
|
||||||
[[deps.ArgTools]]
|
|
||||||
uuid = "0dad84c5-d112-42e6-8d28-ef12dabb789f"
|
|
||||||
version = "1.1.1"
|
|
||||||
|
|
||||||
[[deps.Artifacts]]
|
|
||||||
uuid = "56f22d72-fd6d-98f1-02f0-08ddc0907c33"
|
|
||||||
|
|
||||||
[[deps.Base64]]
|
|
||||||
uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"
|
|
||||||
|
|
||||||
[[deps.BenchmarkTools]]
|
|
||||||
deps = ["JSON", "Logging", "Printf", "Profile", "Statistics", "UUIDs"]
|
|
||||||
git-tree-sha1 = "d9a9701b899b30332bbcb3e1679c41cce81fb0e8"
|
|
||||||
uuid = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"
|
|
||||||
version = "1.3.2"
|
|
||||||
|
|
||||||
[[deps.Bzip2_jll]]
|
|
||||||
deps = ["Artifacts", "JLLWrappers", "Libdl", "Pkg"]
|
|
||||||
git-tree-sha1 = "19a35467a82e236ff51bc17a3a44b69ef35185a2"
|
|
||||||
uuid = "6e34b625-4abd-537c-b88f-471c36dfa7a0"
|
|
||||||
version = "1.0.8+0"
|
|
||||||
|
|
||||||
[[deps.CRlibm]]
|
|
||||||
deps = ["CRlibm_jll"]
|
|
||||||
git-tree-sha1 = "32abd86e3c2025db5172aa182b982debed519834"
|
|
||||||
uuid = "96374032-68de-5a5b-8d9e-752f78720389"
|
|
||||||
version = "1.0.1"
|
|
||||||
|
|
||||||
[[deps.CRlibm_jll]]
|
|
||||||
deps = ["Artifacts", "JLLWrappers", "Libdl", "Pkg"]
|
|
||||||
git-tree-sha1 = "e329286945d0cfc04456972ea732551869af1cfc"
|
|
||||||
uuid = "4e9b3aee-d8a1-5a3d-ad8b-7d824db253f0"
|
|
||||||
version = "1.0.1+0"
|
|
||||||
|
|
||||||
[[deps.ChainRulesCore]]
|
|
||||||
deps = ["Compat", "LinearAlgebra", "SparseArrays"]
|
|
||||||
git-tree-sha1 = "c6d890a52d2c4d55d326439580c3b8d0875a77d9"
|
|
||||||
uuid = "d360d2e6-b24c-11e9-a2a3-2a2ae2dbcce4"
|
|
||||||
version = "1.15.7"
|
|
||||||
|
|
||||||
[[deps.ChangesOfVariables]]
|
|
||||||
deps = ["ChainRulesCore", "LinearAlgebra", "Test"]
|
|
||||||
git-tree-sha1 = "485193efd2176b88e6622a39a246f8c5b600e74e"
|
|
||||||
uuid = "9e997f8a-9a97-42d5-a9f1-ce6bfc15e2c0"
|
|
||||||
version = "0.1.6"
|
|
||||||
|
|
||||||
[[deps.CodecBzip2]]
|
|
||||||
deps = ["Bzip2_jll", "Libdl", "TranscodingStreams"]
|
|
||||||
git-tree-sha1 = "2e62a725210ce3c3c2e1a3080190e7ca491f18d7"
|
|
||||||
uuid = "523fee87-0ab8-5b00-afb7-3ecf72e48cfd"
|
|
||||||
version = "0.7.2"
|
|
||||||
|
|
||||||
[[deps.CodecZlib]]
|
|
||||||
deps = ["TranscodingStreams", "Zlib_jll"]
|
|
||||||
git-tree-sha1 = "9c209fb7536406834aa938fb149964b985de6c83"
|
|
||||||
uuid = "944b1d66-785c-5afd-91f1-9de20f533193"
|
|
||||||
version = "0.7.1"
|
|
||||||
|
|
||||||
[[deps.CommonSubexpressions]]
|
|
||||||
deps = ["MacroTools", "Test"]
|
|
||||||
git-tree-sha1 = "7b8a93dba8af7e3b42fecabf646260105ac373f7"
|
|
||||||
uuid = "bbf7d656-a473-5ed7-a52c-81e309532950"
|
|
||||||
version = "0.3.0"
|
|
||||||
|
|
||||||
[[deps.Compat]]
|
|
||||||
deps = ["Dates", "LinearAlgebra", "UUIDs"]
|
|
||||||
git-tree-sha1 = "7a60c856b9fa189eb34f5f8a6f6b5529b7942957"
|
|
||||||
uuid = "34da2185-b29b-5c13-b0c7-acf172513d20"
|
|
||||||
version = "4.6.1"
|
|
||||||
|
|
||||||
[[deps.CompilerSupportLibraries_jll]]
|
|
||||||
deps = ["Artifacts", "Libdl"]
|
|
||||||
uuid = "e66e0078-7015-5450-92f7-15fbd957f2ae"
|
|
||||||
version = "1.0.1+0"
|
|
||||||
|
|
||||||
[[deps.Cyclotomics]]
|
|
||||||
deps = ["LRUCache", "Memoize", "Primes", "SparseArrays", "Test"]
|
|
||||||
git-tree-sha1 = "dc2e5fd64c188399434e83fa5c10c6fa4eff962a"
|
|
||||||
uuid = "da8f5974-afbb-4dc8-91d8-516d5257c83b"
|
|
||||||
version = "0.3.2"
|
|
||||||
|
|
||||||
[[deps.DataStructures]]
|
|
||||||
deps = ["Compat", "InteractiveUtils", "OrderedCollections"]
|
|
||||||
git-tree-sha1 = "d1fff3a548102f48987a52a2e0d114fa97d730f0"
|
|
||||||
uuid = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"
|
|
||||||
version = "0.18.13"
|
|
||||||
|
|
||||||
[[deps.Dates]]
|
|
||||||
deps = ["Printf"]
|
|
||||||
uuid = "ade2ca70-3891-5945-98fb-dc099432e06a"
|
|
||||||
|
|
||||||
[[deps.DiffResults]]
|
|
||||||
deps = ["StaticArraysCore"]
|
|
||||||
git-tree-sha1 = "782dd5f4561f5d267313f23853baaaa4c52ea621"
|
|
||||||
uuid = "163ba53b-c6d8-5494-b064-1a9d43ac40c5"
|
|
||||||
version = "1.1.0"
|
|
||||||
|
|
||||||
[[deps.DiffRules]]
|
|
||||||
deps = ["IrrationalConstants", "LogExpFunctions", "NaNMath", "Random", "SpecialFunctions"]
|
|
||||||
git-tree-sha1 = "a4ad7ef19d2cdc2eff57abbbe68032b1cd0bd8f8"
|
|
||||||
uuid = "b552c78f-8df3-52c6-915a-8e097449b14b"
|
|
||||||
version = "1.13.0"
|
|
||||||
|
|
||||||
[[deps.Distributed]]
|
|
||||||
deps = ["Random", "Serialization", "Sockets"]
|
|
||||||
uuid = "8ba89e20-285c-5b6f-9357-94700520ee1b"
|
|
||||||
|
|
||||||
[[deps.DocStringExtensions]]
|
|
||||||
deps = ["LibGit2"]
|
|
||||||
git-tree-sha1 = "2fb1e02f2b635d0845df5d7c167fec4dd739b00d"
|
|
||||||
uuid = "ffbed154-4ef7-542d-bbb7-c09d3a79fcae"
|
|
||||||
version = "0.9.3"
|
|
||||||
|
|
||||||
[[deps.Downloads]]
|
|
||||||
deps = ["ArgTools", "FileWatching", "LibCURL", "NetworkOptions"]
|
|
||||||
uuid = "f43a241f-c20a-4ad4-852c-f6b1247861c6"
|
|
||||||
version = "1.6.0"
|
|
||||||
|
|
||||||
[[deps.ErrorfreeArithmetic]]
|
|
||||||
git-tree-sha1 = "d6863c556f1142a061532e79f611aa46be201686"
|
|
||||||
uuid = "90fa49ef-747e-5e6f-a989-263ba693cf1a"
|
|
||||||
version = "0.5.2"
|
|
||||||
|
|
||||||
[[deps.FastRounding]]
|
|
||||||
deps = ["ErrorfreeArithmetic", "LinearAlgebra"]
|
|
||||||
git-tree-sha1 = "6344aa18f654196be82e62816935225b3b9abe44"
|
|
||||||
uuid = "fa42c844-2597-5d31-933b-ebd51ab2693f"
|
|
||||||
version = "0.3.1"
|
|
||||||
|
|
||||||
[[deps.FileWatching]]
|
|
||||||
uuid = "7b1f6079-737a-58dc-b8bc-7a2ca5c1b5ee"
|
|
||||||
|
|
||||||
[[deps.ForwardDiff]]
|
|
||||||
deps = ["CommonSubexpressions", "DiffResults", "DiffRules", "LinearAlgebra", "LogExpFunctions", "NaNMath", "Preferences", "Printf", "Random", "SpecialFunctions", "StaticArrays"]
|
|
||||||
git-tree-sha1 = "00e252f4d706b3d55a8863432e742bf5717b498d"
|
|
||||||
uuid = "f6369f11-7733-5829-9624-2563aa707210"
|
|
||||||
version = "0.10.35"
|
|
||||||
|
|
||||||
[[deps.Groups]]
|
|
||||||
deps = ["GroupsCore", "KnuthBendix", "LinearAlgebra", "Logging", "OrderedCollections", "PermutationGroups", "Random", "StaticArrays"]
|
|
||||||
git-tree-sha1 = "47967c88672431b6d3624d1cb200abdc15aa0b47"
|
|
||||||
uuid = "5d8bd718-bd84-11e8-3b40-ad14f4a32557"
|
|
||||||
version = "0.7.6"
|
|
||||||
|
|
||||||
[[deps.GroupsCore]]
|
|
||||||
deps = ["Markdown", "Random"]
|
|
||||||
git-tree-sha1 = "9e1a5e9f3b81ad6a5c613d181664a0efc6fe6dd7"
|
|
||||||
uuid = "d5909c97-4eac-4ecc-a3dc-fdd0858a4120"
|
|
||||||
version = "0.4.0"
|
|
||||||
|
|
||||||
[[deps.IntegerMathUtils]]
|
|
||||||
git-tree-sha1 = "f366daebdfb079fd1fe4e3d560f99a0c892e15bc"
|
|
||||||
uuid = "18e54dd8-cb9d-406c-a71d-865a43cbb235"
|
|
||||||
version = "0.1.0"
|
|
||||||
|
|
||||||
[[deps.InteractiveUtils]]
|
|
||||||
deps = ["Markdown"]
|
|
||||||
uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
|
|
||||||
|
|
||||||
[[deps.IntervalArithmetic]]
|
|
||||||
deps = ["CRlibm", "FastRounding", "LinearAlgebra", "Markdown", "Random", "RecipesBase", "RoundingEmulator", "SetRounding", "StaticArrays"]
|
|
||||||
git-tree-sha1 = "c1c88395d09366dae431556bcb598ad08fa1392b"
|
|
||||||
uuid = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
|
|
||||||
version = "0.20.8"
|
|
||||||
|
|
||||||
[[deps.IntervalMatrices]]
|
|
||||||
deps = ["IntervalArithmetic", "LinearAlgebra", "Random", "Reexport", "SparseArrays"]
|
|
||||||
git-tree-sha1 = "b5a981918e38fb40aeea659ec6511187fa488c14"
|
|
||||||
uuid = "5c1f47dc-42dd-5697-8aaa-4d102d140ba9"
|
|
||||||
version = "0.8.3"
|
|
||||||
|
|
||||||
[[deps.InverseFunctions]]
|
|
||||||
deps = ["Test"]
|
|
||||||
git-tree-sha1 = "49510dfcb407e572524ba94aeae2fced1f3feb0f"
|
|
||||||
uuid = "3587e190-3f89-42d0-90ee-14403ec27112"
|
|
||||||
version = "0.1.8"
|
|
||||||
|
|
||||||
[[deps.IrrationalConstants]]
|
|
||||||
git-tree-sha1 = "630b497eafcc20001bba38a4651b327dcfc491d2"
|
|
||||||
uuid = "92d709cd-6900-40b7-9082-c6be49f344b6"
|
|
||||||
version = "0.2.2"
|
|
||||||
|
|
||||||
[[deps.JLLWrappers]]
|
|
||||||
deps = ["Preferences"]
|
|
||||||
git-tree-sha1 = "abc9885a7ca2052a736a600f7fa66209f96506e1"
|
|
||||||
uuid = "692b3bcd-3c85-4b1f-b108-f13ce0eb3210"
|
|
||||||
version = "1.4.1"
|
|
||||||
|
|
||||||
[[deps.JSON]]
|
|
||||||
deps = ["Dates", "Mmap", "Parsers", "Unicode"]
|
|
||||||
git-tree-sha1 = "3c837543ddb02250ef42f4738347454f95079d4e"
|
|
||||||
uuid = "682c06a0-de6a-54ab-a142-c8b1cf79cde6"
|
|
||||||
version = "0.21.3"
|
|
||||||
|
|
||||||
[[deps.JuMP]]
|
|
||||||
deps = ["LinearAlgebra", "MathOptInterface", "MutableArithmetics", "OrderedCollections", "Printf", "SnoopPrecompile", "SparseArrays"]
|
|
||||||
git-tree-sha1 = "4ec0e68fecbbe1b78db2ddf1ac573963ed5adebc"
|
|
||||||
uuid = "4076af6c-e467-56ae-b986-b466b2749572"
|
|
||||||
version = "1.10.0"
|
|
||||||
|
|
||||||
[[deps.KnuthBendix]]
|
|
||||||
deps = ["MacroTools", "ProgressMeter"]
|
|
||||||
git-tree-sha1 = "a5ef62c9f2b4461b246a610b7402f5f2dbffbfaa"
|
|
||||||
uuid = "c2604015-7b3d-4a30-8a26-9074551ec60a"
|
|
||||||
version = "0.4.0"
|
|
||||||
|
|
||||||
[[deps.LRUCache]]
|
|
||||||
git-tree-sha1 = "d862633ef6097461037a00a13f709a62ae4bdfdd"
|
|
||||||
uuid = "8ac3fa9e-de4c-5943-b1dc-09c6b5f20637"
|
|
||||||
version = "1.4.0"
|
|
||||||
|
|
||||||
[[deps.LibCURL]]
|
|
||||||
deps = ["LibCURL_jll", "MozillaCACerts_jll"]
|
|
||||||
uuid = "b27032c2-a3e7-50c8-80cd-2d36dbcbfd21"
|
|
||||||
version = "0.6.3"
|
|
||||||
|
|
||||||
[[deps.LibCURL_jll]]
|
|
||||||
deps = ["Artifacts", "LibSSH2_jll", "Libdl", "MbedTLS_jll", "Zlib_jll", "nghttp2_jll"]
|
|
||||||
uuid = "deac9b47-8bc7-5906-a0fe-35ac56dc84c0"
|
|
||||||
version = "7.84.0+0"
|
|
||||||
|
|
||||||
[[deps.LibGit2]]
|
|
||||||
deps = ["Base64", "NetworkOptions", "Printf", "SHA"]
|
|
||||||
uuid = "76f85450-5226-5b5a-8eaa-529ad045b433"
|
|
||||||
|
|
||||||
[[deps.LibSSH2_jll]]
|
|
||||||
deps = ["Artifacts", "Libdl", "MbedTLS_jll"]
|
|
||||||
uuid = "29816b5a-b9ab-546f-933c-edad1886dfa8"
|
|
||||||
version = "1.10.2+0"
|
|
||||||
|
|
||||||
[[deps.Libdl]]
|
|
||||||
uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb"
|
|
||||||
|
|
||||||
[[deps.LinearAlgebra]]
|
|
||||||
deps = ["Libdl", "libblastrampoline_jll"]
|
|
||||||
uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
|
|
||||||
|
|
||||||
[[deps.LogExpFunctions]]
|
|
||||||
deps = ["ChainRulesCore", "ChangesOfVariables", "DocStringExtensions", "InverseFunctions", "IrrationalConstants", "LinearAlgebra"]
|
|
||||||
git-tree-sha1 = "0a1b7c2863e44523180fdb3146534e265a91870b"
|
|
||||||
uuid = "2ab3a3ac-af41-5b50-aa03-7779005ae688"
|
|
||||||
version = "0.3.23"
|
|
||||||
|
|
||||||
[[deps.Logging]]
|
|
||||||
uuid = "56ddb016-857b-54e1-b83d-db4d58db5568"
|
|
||||||
|
|
||||||
[[deps.MacroTools]]
|
|
||||||
deps = ["Markdown", "Random"]
|
|
||||||
git-tree-sha1 = "42324d08725e200c23d4dfb549e0d5d89dede2d2"
|
|
||||||
uuid = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09"
|
|
||||||
version = "0.5.10"
|
|
||||||
|
|
||||||
[[deps.Markdown]]
|
|
||||||
deps = ["Base64"]
|
|
||||||
uuid = "d6f4376e-aef5-505a-96c1-9c027394607a"
|
|
||||||
|
|
||||||
[[deps.MathOptInterface]]
|
|
||||||
deps = ["BenchmarkTools", "CodecBzip2", "CodecZlib", "DataStructures", "ForwardDiff", "JSON", "LinearAlgebra", "MutableArithmetics", "NaNMath", "OrderedCollections", "Printf", "SnoopPrecompile", "SparseArrays", "SpecialFunctions", "Test", "Unicode"]
|
|
||||||
git-tree-sha1 = "88551cb56065a7bf9276af1d1970d2bd0d4b6ed4"
|
|
||||||
uuid = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
|
|
||||||
version = "1.14.0"
|
|
||||||
|
|
||||||
[[deps.MbedTLS_jll]]
|
|
||||||
deps = ["Artifacts", "Libdl"]
|
|
||||||
uuid = "c8ffd9c3-330d-5841-b78e-0817d7145fa1"
|
|
||||||
version = "2.28.0+0"
|
|
||||||
|
|
||||||
[[deps.Memoize]]
|
|
||||||
deps = ["MacroTools"]
|
|
||||||
git-tree-sha1 = "2b1dfcba103de714d31c033b5dacc2e4a12c7caa"
|
|
||||||
uuid = "c03570c3-d221-55d1-a50c-7939bbd78826"
|
|
||||||
version = "0.4.4"
|
|
||||||
|
|
||||||
[[deps.Mmap]]
|
|
||||||
uuid = "a63ad114-7e13-5084-954f-fe012c677804"
|
|
||||||
|
|
||||||
[[deps.MozillaCACerts_jll]]
|
|
||||||
uuid = "14a3606d-f60d-562e-9121-12d972cd8159"
|
|
||||||
version = "2022.2.1"
|
|
||||||
|
|
||||||
[[deps.MutableArithmetics]]
|
|
||||||
deps = ["LinearAlgebra", "SparseArrays", "Test"]
|
|
||||||
git-tree-sha1 = "3295d296288ab1a0a2528feb424b854418acff57"
|
|
||||||
uuid = "d8a4904e-b15c-11e9-3269-09a3773c0cb0"
|
|
||||||
version = "1.2.3"
|
|
||||||
|
|
||||||
[[deps.NaNMath]]
|
|
||||||
deps = ["OpenLibm_jll"]
|
|
||||||
git-tree-sha1 = "0877504529a3e5c3343c6f8b4c0381e57e4387e4"
|
|
||||||
uuid = "77ba4419-2d1f-58cd-9bb1-8ffee604a2e3"
|
|
||||||
version = "1.0.2"
|
|
||||||
|
|
||||||
[[deps.NetworkOptions]]
|
|
||||||
uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908"
|
|
||||||
version = "1.2.0"
|
|
||||||
|
|
||||||
[[deps.OpenBLAS_jll]]
|
|
||||||
deps = ["Artifacts", "CompilerSupportLibraries_jll", "Libdl"]
|
|
||||||
uuid = "4536629a-c528-5b80-bd46-f80d51c5b363"
|
|
||||||
version = "0.3.20+0"
|
|
||||||
|
|
||||||
[[deps.OpenLibm_jll]]
|
|
||||||
deps = ["Artifacts", "Libdl"]
|
|
||||||
uuid = "05823500-19ac-5b8b-9628-191a04bc5112"
|
|
||||||
version = "0.8.1+0"
|
|
||||||
|
|
||||||
[[deps.OpenSpecFun_jll]]
|
|
||||||
deps = ["Artifacts", "CompilerSupportLibraries_jll", "JLLWrappers", "Libdl", "Pkg"]
|
|
||||||
git-tree-sha1 = "13652491f6856acfd2db29360e1bbcd4565d04f1"
|
|
||||||
uuid = "efe28fd5-8261-553b-a9e1-b2916fc3738e"
|
|
||||||
version = "0.5.5+0"
|
|
||||||
|
|
||||||
[[deps.OrderedCollections]]
|
|
||||||
git-tree-sha1 = "d321bf2de576bf25ec4d3e4360faca399afca282"
|
|
||||||
uuid = "bac558e1-5e72-5ebc-8fee-abe8a469f55d"
|
|
||||||
version = "1.6.0"
|
|
||||||
|
|
||||||
[[deps.Parsers]]
|
|
||||||
deps = ["Dates", "SnoopPrecompile"]
|
|
||||||
git-tree-sha1 = "478ac6c952fddd4399e71d4779797c538d0ff2bf"
|
|
||||||
uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0"
|
|
||||||
version = "2.5.8"
|
|
||||||
|
|
||||||
[[deps.PermutationGroups]]
|
|
||||||
deps = ["AbstractAlgebra", "GroupsCore", "Markdown", "Random"]
|
|
||||||
git-tree-sha1 = "1bfba1a836e2c085270d3f5657803e0902e20564"
|
|
||||||
uuid = "8bc5a954-2dfc-11e9-10e6-cd969bffa420"
|
|
||||||
version = "0.3.3"
|
|
||||||
|
|
||||||
[[deps.Pkg]]
|
|
||||||
deps = ["Artifacts", "Dates", "Downloads", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "REPL", "Random", "SHA", "Serialization", "TOML", "Tar", "UUIDs", "p7zip_jll"]
|
|
||||||
uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
|
|
||||||
version = "1.8.0"
|
|
||||||
|
|
||||||
[[deps.Preferences]]
|
|
||||||
deps = ["TOML"]
|
|
||||||
git-tree-sha1 = "47e5f437cc0e7ef2ce8406ce1e7e24d44915f88d"
|
|
||||||
uuid = "21216c6a-2e73-6563-6e65-726566657250"
|
|
||||||
version = "1.3.0"
|
|
||||||
|
|
||||||
[[deps.Primes]]
|
|
||||||
deps = ["IntegerMathUtils"]
|
|
||||||
git-tree-sha1 = "311a2aa90a64076ea0fac2ad7492e914e6feeb81"
|
|
||||||
uuid = "27ebfcd6-29c5-5fa9-bf4b-fb8fc14df3ae"
|
|
||||||
version = "0.5.3"
|
|
||||||
|
|
||||||
[[deps.Printf]]
|
|
||||||
deps = ["Unicode"]
|
|
||||||
uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7"
|
|
||||||
|
|
||||||
[[deps.Profile]]
|
|
||||||
deps = ["Printf"]
|
|
||||||
uuid = "9abbd945-dff8-562f-b5e8-e1ebf5ef1b79"
|
|
||||||
|
|
||||||
[[deps.ProgressMeter]]
|
|
||||||
deps = ["Distributed", "Printf"]
|
|
||||||
git-tree-sha1 = "d7a7aef8f8f2d537104f170139553b14dfe39fe9"
|
|
||||||
uuid = "92933f4c-e287-5a05-a399-4b506db050ca"
|
|
||||||
version = "1.7.2"
|
|
||||||
|
|
||||||
[[deps.REPL]]
|
|
||||||
deps = ["InteractiveUtils", "Markdown", "Sockets", "Unicode"]
|
|
||||||
uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb"
|
|
||||||
|
|
||||||
[[deps.Random]]
|
|
||||||
deps = ["SHA", "Serialization"]
|
|
||||||
uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
|
|
||||||
|
|
||||||
[[deps.RandomExtensions]]
|
|
||||||
deps = ["Random", "SparseArrays"]
|
|
||||||
git-tree-sha1 = "062986376ce6d394b23d5d90f01d81426113a3c9"
|
|
||||||
uuid = "fb686558-2515-59ef-acaa-46db3789a887"
|
|
||||||
version = "0.4.3"
|
|
||||||
|
|
||||||
[[deps.RecipesBase]]
|
|
||||||
deps = ["SnoopPrecompile"]
|
|
||||||
git-tree-sha1 = "261dddd3b862bd2c940cf6ca4d1c8fe593e457c8"
|
|
||||||
uuid = "3cdcf5f2-1ef4-517c-9805-6587b60abb01"
|
|
||||||
version = "1.3.3"
|
|
||||||
|
|
||||||
[[deps.Reexport]]
|
|
||||||
git-tree-sha1 = "45e428421666073eab6f2da5c9d310d99bb12f9b"
|
|
||||||
uuid = "189a3867-3050-52da-a836-e630ba90ab69"
|
|
||||||
version = "1.2.2"
|
|
||||||
|
|
||||||
[[deps.RoundingEmulator]]
|
|
||||||
git-tree-sha1 = "40b9edad2e5287e05bd413a38f61a8ff55b9557b"
|
|
||||||
uuid = "5eaf0fd0-dfba-4ccb-bf02-d820a40db705"
|
|
||||||
version = "0.2.1"
|
|
||||||
|
|
||||||
[[deps.SHA]]
|
|
||||||
uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce"
|
|
||||||
version = "0.7.0"
|
|
||||||
|
|
||||||
[[deps.Serialization]]
|
|
||||||
uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b"
|
|
||||||
|
|
||||||
[[deps.SetRounding]]
|
|
||||||
git-tree-sha1 = "d7a25e439d07a17b7cdf97eecee504c50fedf5f6"
|
|
||||||
uuid = "3cc68bcd-71a2-5612-b932-767ffbe40ab0"
|
|
||||||
version = "0.2.1"
|
|
||||||
|
|
||||||
[[deps.SnoopPrecompile]]
|
|
||||||
deps = ["Preferences"]
|
|
||||||
git-tree-sha1 = "e760a70afdcd461cf01a575947738d359234665c"
|
|
||||||
uuid = "66db9d55-30c0-4569-8b51-7e840670fc0c"
|
|
||||||
version = "1.0.3"
|
|
||||||
|
|
||||||
[[deps.Sockets]]
|
|
||||||
uuid = "6462fe0b-24de-5631-8697-dd941f90decc"
|
|
||||||
|
|
||||||
[[deps.SparseArrays]]
|
|
||||||
deps = ["LinearAlgebra", "Random"]
|
|
||||||
uuid = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
|
|
||||||
|
|
||||||
[[deps.SpecialFunctions]]
|
|
||||||
deps = ["ChainRulesCore", "IrrationalConstants", "LogExpFunctions", "OpenLibm_jll", "OpenSpecFun_jll"]
|
|
||||||
git-tree-sha1 = "ef28127915f4229c971eb43f3fc075dd3fe91880"
|
|
||||||
uuid = "276daf66-3868-5448-9aa4-cd146d93841b"
|
|
||||||
version = "2.2.0"
|
|
||||||
|
|
||||||
[[deps.StarAlgebras]]
|
|
||||||
deps = ["LinearAlgebra", "SparseArrays"]
|
|
||||||
git-tree-sha1 = "265b89a5dfb38fe94ad48b997a253b2393fce6f1"
|
|
||||||
uuid = "0c0c59c1-dc5f-42e9-9a8b-b5dc384a6cd1"
|
|
||||||
version = "0.2.0"
|
|
||||||
|
|
||||||
[[deps.StaticArrays]]
|
|
||||||
deps = ["LinearAlgebra", "Random", "StaticArraysCore", "Statistics"]
|
|
||||||
git-tree-sha1 = "b8d897fe7fa688e93aef573711cb207c08c9e11e"
|
|
||||||
uuid = "90137ffa-7385-5640-81b9-e52037218182"
|
|
||||||
version = "1.5.19"
|
|
||||||
|
|
||||||
[[deps.StaticArraysCore]]
|
|
||||||
git-tree-sha1 = "6b7ba252635a5eff6a0b0664a41ee140a1c9e72a"
|
|
||||||
uuid = "1e83bf80-4336-4d27-bf5d-d5a4f845583c"
|
|
||||||
version = "1.4.0"
|
|
||||||
|
|
||||||
[[deps.Statistics]]
|
|
||||||
deps = ["LinearAlgebra", "SparseArrays"]
|
|
||||||
uuid = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
|
|
||||||
|
|
||||||
[[deps.SymbolicWedderburn]]
|
|
||||||
deps = ["Cyclotomics", "GroupsCore", "LinearAlgebra", "PermutationGroups", "Primes", "SparseArrays", "StarAlgebras"]
|
|
||||||
git-tree-sha1 = "7afdc5576b8fc49032c1f765c1514e5369fb77fe"
|
|
||||||
repo-rev = "enh/towards_simple_projections"
|
|
||||||
repo-url = "https://github.com/kalmarek/SymbolicWedderburn.jl.git"
|
|
||||||
uuid = "858aa9a9-4c7c-4c62-b466-2421203962a2"
|
|
||||||
version = "0.3.4"
|
|
||||||
|
|
||||||
[[deps.TOML]]
|
|
||||||
deps = ["Dates"]
|
|
||||||
uuid = "fa267f1f-6049-4f14-aa54-33bafae1ed76"
|
|
||||||
version = "1.0.0"
|
|
||||||
|
|
||||||
[[deps.Tar]]
|
|
||||||
deps = ["ArgTools", "SHA"]
|
|
||||||
uuid = "a4e569a6-e804-4fa4-b0f3-eef7a1d5b13e"
|
|
||||||
version = "1.10.1"
|
|
||||||
|
|
||||||
[[deps.Test]]
|
|
||||||
deps = ["InteractiveUtils", "Logging", "Random", "Serialization"]
|
|
||||||
uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
|
|
||||||
|
|
||||||
[[deps.TranscodingStreams]]
|
|
||||||
deps = ["Random", "Test"]
|
|
||||||
git-tree-sha1 = "94f38103c984f89cf77c402f2a68dbd870f8165f"
|
|
||||||
uuid = "3bb67fe8-82b1-5028-8e26-92a6c54297fa"
|
|
||||||
version = "0.9.11"
|
|
||||||
|
|
||||||
[[deps.UUIDs]]
|
|
||||||
deps = ["Random", "SHA"]
|
|
||||||
uuid = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"
|
|
||||||
|
|
||||||
[[deps.Unicode]]
|
|
||||||
uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5"
|
|
||||||
|
|
||||||
[[deps.Zlib_jll]]
|
|
||||||
deps = ["Libdl"]
|
|
||||||
uuid = "83775a58-1f1d-513f-b197-d71354ab007a"
|
|
||||||
version = "1.2.12+3"
|
|
||||||
|
|
||||||
[[deps.libblastrampoline_jll]]
|
|
||||||
deps = ["Artifacts", "Libdl", "OpenBLAS_jll"]
|
|
||||||
uuid = "8e850b90-86db-534c-a0d3-1478176c7d93"
|
|
||||||
version = "5.1.1+0"
|
|
||||||
|
|
||||||
[[deps.nghttp2_jll]]
|
|
||||||
deps = ["Artifacts", "Libdl"]
|
|
||||||
uuid = "8e850ede-7688-5339-a07c-302acd2aaf8d"
|
|
||||||
version = "1.48.0+0"
|
|
||||||
|
|
||||||
[[deps.p7zip_jll]]
|
|
||||||
deps = ["Artifacts", "Libdl"]
|
|
||||||
uuid = "3f19e933-33d8-53b3-aaab-bd5110c3b7a0"
|
|
||||||
version = "17.4.0+0"
|
|
||||||
@ -59,6 +59,7 @@ unit = Δ
|
|||||||
)
|
)
|
||||||
warm = nothing
|
warm = nothing
|
||||||
status = JuMP.OPTIMIZE_NOT_CALLED
|
status = JuMP.OPTIMIZE_NOT_CALLED
|
||||||
|
certified, λ = false, nothing
|
||||||
|
|
||||||
while status ≠ JuMP.OPTIMAL
|
while status ≠ JuMP.OPTIMAL
|
||||||
@time status, warm = PropertyT.solve(
|
@time status, warm = PropertyT.solve(
|
||||||
|
|||||||
@ -69,7 +69,7 @@ solve_in_loop(
|
|||||||
model,
|
model,
|
||||||
wd,
|
wd,
|
||||||
varP;
|
varP;
|
||||||
logdir = "./log/Sp($N,Z)/r=$HALFRADIUS/Adj_C₂-InfΔ",
|
logdir = "./log/Sp($N,Z)/r=$HALFRADIUS/Adj_C₂-$(UPPER_BOUND)Δ",
|
||||||
optimizer = cosmo_optimizer(;
|
optimizer = cosmo_optimizer(;
|
||||||
eps = 1e-10,
|
eps = 1e-10,
|
||||||
max_iters = 20_000,
|
max_iters = 20_000,
|
||||||
|
|||||||
@ -74,7 +74,7 @@ function solve_in_loop(model::JuMP.Model, args...; logdir, optimizer, data)
|
|||||||
end
|
end
|
||||||
|
|
||||||
if flag == true && certified_λ ≥ 0
|
if flag == true && certified_λ ≥ 0
|
||||||
@info "Certification done with λ = $certified_λ" certified_λ rel_change status
|
@info "Certification done with λ = $certified_λ" certified_λ status
|
||||||
return certified_λ
|
return certified_λ
|
||||||
else
|
else
|
||||||
rel_change =
|
rel_change =
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user