search

JuliaReach / SetPropagation-FEM-JuliaCon21

Computing Reachable Sets of Semi-Discrete Solid Dynamics Equations with ReachabilityAnalysis.jl
http://juliareach.com
MIT License
1 stars 0 forks source link

Broken examples on Windows #16

Closed PetrKryslUCSD closed 2 years ago

PetrKryslUCSD commented 3 years ago 
   Installed IterativeSolvers ──────── v0.9.2                                                                                                                                    
   Installed LightGraphs ───────────── v1.3.5                                                                                                                                    
   Installed RecursiveFactorization ── v0.2.5                                                                                                                                    
   Installed FastBroadcast ─────────── v0.1.11                                                                                                                                   
   Installed SparseDiffTools ───────── v1.17.2                                                                                                                                   
   Installed IntervalMatrices ──────── v0.6.6                                                                                                                                    
   Installed CRlibm ────────────────── v0.8.0                                                                                                                                    
   Installed Distributions ─────────── v0.25.25                                                                                                                                  
   Installed ChangesOfVariables ────── v0.1.1                                                                                                                                    
   Installed DensityInterface ──────── v0.3.3                                                                                                                                    
  Downloaded artifact: GLPK                                                                                                                                                      
  Downloaded artifact: Bzip2                                                                                                                                                     
  Downloaded artifact: Rmath                                                                                                                                                     
    Updating `C:\Users\pkonl\Documents\00WIP\SetPropagation-FEM-Examples\Project.toml`                                                                                           
  [23992714] + MAT v0.10.1                                                                                                   
  [1e97bd63] + ReachabilityAnalysis v0.14.17                                                                                 
    Updating `C:\Users\pkonl\Documents\00WIP\SetPropagation-FEM-Examples\Manifest.toml`                                      
  [79e6a3ab] + Adapt v3.3.1                                                                                                  
  [ec485272] + ArnoldiMethod v0.1.0                                                                                          
  [4fba245c] + ArrayInterface v3.1.40                                                                                        
  [6e4b80f9] + BenchmarkTools v1.2.0                                                                                         
  [b99e7846] + BinaryProvider v0.5.10                                                                                        
  [62783981] + BitTwiddlingConvenienceFunctions v0.1.1                                                                       
  [a74b3585] + Blosc v0.7.1                                                                                                  
  [e1450e63] + BufferedStreams v1.0.0                                                                                        
  [2a0fbf3d] + CPUSummary v0.1.6                                                                                             
  [96374032] + CRlibm v0.8.0                                                                                                 
  [49dc2e85] + Calculus v0.5.1                                                                                               
  [d360d2e6] + ChainRulesCore v1.11.1                                                                                        
  [9e997f8a] + ChangesOfVariables v0.1.1                                                                                     
  [fb6a15b2] + CloseOpenIntervals v0.1.4                                                                                     
  [523fee87] + CodecBzip2 v0.7.2                                                                                             
  [944b1d66] + CodecZlib v0.7.0                                                                                              
  [38540f10] + CommonSolve v0.2.0                                                                                            
  [bbf7d656] + CommonSubexpressions v0.3.0                                                                                   
  [34da2185] + Compat v3.40.0                                                                                                
  [187b0558] + ConstructionBase v1.3.0                                                                                       
  [754358af] + DEDataArrays v0.2.0                                                                                           
  [9a962f9c] + DataAPI v1.9.0                                                                                                
  [864edb3b] + DataStructures v0.18.10                                                                                       
  [e2d170a0] + DataValueInterfaces v1.0.0                                                                                    
  [b429d917] + DensityInterface v0.3.3                                                                                       
  [2b5f629d] + DiffEqBase v6.76.0                                                                                            
  [163ba53b] + DiffResults v1.0.3                                                                                            
  [b552c78f] + DiffRules v1.4.0                                                                                              
  [b4f34e82] + Distances v0.10.6                                                                                             
  [31c24e10] + Distributions v0.25.25                                                                                        
  [ffbed154] + DocStringExtensions v0.8.6                                                                                    
  [90fa49ef] + ErrorfreeArithmetic v0.5.2                                                                                    
  [6912e4f1] + Espresso v0.6.1                                                                                               
  [d4d017d3] + ExponentialUtilities v1.10.1                                                                                  
  [e2ba6199] + ExprTools v0.1.6                                                                                              
  [7034ab61] + FastBroadcast v0.1.11                                                                                         
  [9aa1b823] + FastClosures v0.3.2                                                                                           
  [fa42c844] + FastRounding v0.2.0                                                                                           
  [1a297f60] + FillArrays v0.12.7                                                                                            
  [6a86dc24] + FiniteDiff v2.8.1                                                                                             
  [53c48c17] + FixedPointNumbers v0.8.4                                                                                      
  [f6369f11] + ForwardDiff v0.10.22                                                                                          
  [069b7b12] + FunctionWrappers v1.1.2                                                                                       
  [60bf3e95] + GLPK v0.13.0                                                                                                  
  [3c7084bd] + GLPKMathProgInterface v0.5.0                                                                                  
  [f67ccb44] + HDF5 v0.15.7                                                                                                  
  [cd3eb016] + HTTP v0.9.16                                                                                                  
  [3e5b6fbb] + HostCPUFeatures v0.1.5                                                                                        
  [0e44f5e4] + Hwloc v2.0.0                                                                                                  
  [2207ec0c] + HybridSystems v0.3.5                                                                                          
  [615f187c] + IfElse v0.1.1                                                                                                 
  [d25df0c9] + Inflate v0.1.2                                                                                                
  [83e8ac13] + IniFile v0.5.0                                                                                                
  [842dd82b] + InlineStrings v1.0.1                                                                                          
  [d1acc4aa] + IntervalArithmetic v0.18.2                                                                                    
  [5c1f47dc] + IntervalMatrices v0.6.6                                                                                       
  [d2bf35a9] + IntervalRootFinding v0.5.10                                                                                   
  [d8418881] + Intervals v1.5.0                                                                                              
  [3587e190] + InverseFunctions v0.1.2                                                                                       
  [92d709cd] + IrrationalConstants v0.1.1                                                                                    
  [42fd0dbc] + IterativeSolvers v0.9.2                                                                                       
  [82899510] + IteratorInterfaceExtensions v1.0.0                                                                            
  [692b3bcd] + JLLWrappers v1.3.0                                                                                            
  [682c06a0] + JSON v0.21.2                                                                                                  
  [7d188eb4] + JSONSchema v0.3.4                                                                                             
  [4076af6c] + JuMP v0.21.10                                                                                                 
  [2ee39098] + LabelledArrays v1.6.6                                                                                         
  [10f19ff3] + LayoutPointers v0.1.4                                                                                         
  [b4f0291d] + LazySets v1.53.2                                                                                              
  [093fc24a] + LightGraphs v1.3.5                                                                                            
  [d3d80556] + LineSearches v7.1.1                                                                                           
  [2ab3a3ac] + LogExpFunctions v0.3.5                                                                                        
  [bdcacae8] + LoopVectorization v0.12.95                                                                                    
  [23992714] + MAT v0.10.1                                                                                                   
  [1914dd2f] + MacroTools v0.5.9                                                                                             
  [d125e4d3] + ManualMemory v0.1.6                                                                                           
  [dbb5928d] + MappedArrays v0.3.0                                                                                           
  [b8f27783] + MathOptInterface v0.9.22                                                                                      
  [fdba3010] + MathProgBase v0.7.8                                                                                           
  [d14a8603] + MathematicalSystems v0.11.10                                                                                  
  [739be429] + MbedTLS v1.0.3                                                                                                
  [e1d29d7a] + Missings v1.0.2                                                                                               
  [78c3b35d] + Mocking v0.7.3                                                                                                
  [46d2c3a1] + MuladdMacro v0.2.2                                                                                            
  [102ac46a] + MultivariatePolynomials v0.3.18                                                                               
  [d8a4904e] + MutableArithmetics v0.2.22                                                                                    
  [d41bc354] + NLSolversBase v7.8.2                                                                                          
  [2774e3e8] + NLsolve v4.5.1                                                                                                
  [77ba4419] + NaNMath v0.3.5                                                                                                
  [8913a72c] + NonlinearSolve v0.3.11                                                                                        
  [6fe1bfb0] + OffsetArrays v1.10.8                                                                                          
  [bac558e1] + OrderedCollections v1.4.1                                                                                     
  [1dea7af3] + OrdinaryDiffEq v5.67.0                                                                                        
  [90014a1f] + PDMats v0.11.3                                                                                                
  [d96e819e] + Parameters v0.12.3                                                                                            
  [69de0a69] + Parsers v2.1.2                                                                                                
  [f517fe37] + Polyester v0.5.4                                                                                              
  [1d0040c9] + PolyesterWeave v0.1.2                                                                                         
  [f27b6e38] + Polynomials v2.0.17                                                                                           
  [d236fae5] + PreallocationTools v0.2.0                                                                                     
  [21216c6a] + Preferences v1.2.2                                                                                            
  [92933f4c] + ProgressMeter v1.7.1                                                                                          
  [1fd47b50] + QuadGK v2.4.2                                                                                                 
  [1e97bd63] + ReachabilityAnalysis v0.14.17                                                                                 
  [3cdcf5f2] + RecipesBase v1.1.2                                                                                            
  [731186ca] + RecursiveArrayTools v2.20.0                                                                                   
  [f2c3362d] + RecursiveFactorization v0.2.5                                                                                 
  [189a3867] + Reexport v1.2.2                                                                                               
  [ae029012] + Requires v1.1.3                                                                                               
  [79098fc4] + Rmath v0.7.0                                                                                                  
  [5eaf0fd0] + RoundingEmulator v0.2.1                                                                                       
  [3cdde19b] + SIMDDualNumbers v0.1.0                                                                                        
  [94e857df] + SIMDTypes v0.1.0                                                                                              
  [476501e8] + SLEEFPirates v0.6.28                                                                                          
  [0bca4576] + SciMLBase v1.19.4                                                                                             
  [3cc68bcd] + SetRounding v0.2.1                                                                                            
  [efcf1570] + Setfield v0.8.0                                                                                               
  [699a6c99] + SimpleTraits v0.9.4                                                                                           
  [a2af1166] + SortingAlgorithms v1.0.1                                                                                      
  [47a9eef4] + SparseDiffTools v1.17.2                                                                                       
  [276daf66] + SpecialFunctions v1.8.1                                                                                       
  [aedffcd0] + Static v0.4.0                                                                                                 
  [90137ffa] + StaticArrays v1.2.13                                                                                          
  [82ae8749] + StatsAPI v1.0.0                                                                                               
  [2913bbd2] + StatsBase v0.33.12                                                                                            
  [4c63d2b9] + StatsFuns v0.9.12                                                                                             
  [7792a7ef] + StrideArraysCore v0.2.9                                                                                       
  [3783bdb8] + TableTraits v1.0.1                                                                                            
  [bd369af6] + Tables v1.6.0                                                                                                 
  [92b13dbe] + TaylorIntegration v0.8.9                                                                                      
  [314ce334] + TaylorModels v0.4.2                                                                                           
  [6aa5eb33] + TaylorSeries v0.11.2                                                                                          
  [8290d209] + ThreadingUtilities v0.4.6                                                                                     
  [f269a46b] + TimeZones v1.6.2                                                                                              
  [3bb67fe8] + TranscodingStreams v0.9.6                                                                                     
  [a2a6695c] + TreeViews v0.3.0                                                                                              
  [d5829a12] + TriangularSolve v0.1.8                                                                                        
  [5c2747f8] + URIs v1.3.0                                                                                                   
  [3a884ed6] + UnPack v1.0.2                                                                                                 
  [3d5dd08c] + VectorizationBase v0.21.21                                                                                    
  [19fa3120] + VertexSafeGraphs v0.1.2                                                                                       
  [700de1a5] + ZygoteRules v0.2.2                                                                                            
  [0b7ba130] + Blosc_jll v1.21.0+0                                                                                           
  [6e34b625] + Bzip2_jll v1.0.8+0                                                                                            
  [e8aa6df9] + GLPK_jll v4.64.0+0                                                                                            
  [0234f1f7] + HDF5_jll v1.12.0+1                                                                                            
  [e33a78d0] + Hwloc_jll v2.5.0+0                                                                                            
  [5ced341a] + Lz4_jll v1.9.3+0                                                                                              
  [458c3c95] + OpenSSL_jll v1.1.10+0                                                                                         
  [efe28fd5] + OpenSpecFun_jll v0.5.5+0                                                                                      
  [3161d3a3] + Zstd_jll v1.5.0+0                                                                                             
  [56f22d72] + Artifacts                                                                                                     
  [ade2ca70] + Dates                                                                                                         
  [8bb1440f] + DelimitedFiles                                                                                                
  [8ba89e20] + Distributed                                                                                                   
  [f43a241f] + Downloads                                                                                                     
  [9fa8497b] + Future                                                                                                        
  [b77e0a4c] + InteractiveUtils                                                                                              
  [4af54fe1] + LazyArtifacts                                                                                                 
  [b27032c2] + LibCURL                                                                                                       
  [76f85450] + LibGit2                                                                                                       
  [8f399da3] + Libdl                                                                                                         
  [37e2e46d] + LinearAlgebra                                                                                                 
  [56ddb016] + Logging                                                                                                       
  [d6f4376e] + Markdown                                                                                                      
  [a63ad114] + Mmap                                                                                                          
  [ca575930] + NetworkOptions                                                                                                
  [44cfe95a] + Pkg                                                                                                           
  [de0858da] + Printf                                                                                                        
  [9abbd945] + Profile                                                                                                       
  [3fa0cd96] + REPL                                                                                                          
  [9a3f8284] + Random                                                                                                        
  [ea8e919c] + SHA                                                                                                           
  [9e88b42a] + Serialization                                                                                                 
  [1a1011a3] + SharedArrays                                                                                                  
  [6462fe0b] + Sockets                                                                                                       
  [2f01184e] + SparseArrays                                                                                                  
  [10745b16] + Statistics                                                                                                    
  [4607b0f0] + SuiteSparse                                                                                                   
  [fa267f1f] + TOML                                                                                                          
  [a4e569a6] + Tar                                                                                                           
  [8dfed614] + Test                                                                                                          
  [cf7118a7] + UUIDs                                                                                                         
  [4ec0a83e] + Unicode                                                                                                       
  [e66e0078] + CompilerSupportLibraries_jll                                                                                  
  [781609d7] + GMP_jll                                                                                                       
  [deac9b47] + LibCURL_jll                                                                                                   
  [29816b5a] + LibSSH2_jll                                                                                                   
  [c8ffd9c3] + MbedTLS_jll                                                                                                   
  [14a3606d] + MozillaCACerts_jll                                                                                            
  [4536629a] + OpenBLAS_jll                                                                                                  
  [05823500] + OpenLibm_jll                                                                                                  
  [83775a58] + Zlib_jll                                                                                                      
  [8e850b90] + libblastrampoline_jll                                                                                         
  [8e850ede] + nghttp2_jll                                                                                                   
  [3f19e933] + p7zip_jll                                                                                                     
    Building CRlibm ───→ `C:\Users\pkonl\.julia\scratchspaces\44cfe95a-1eb2-52ea-b672-e2afdf69b78f\9d1c22cff9c04207f336b8e64840d0bd40d86e0e\build.log`                                                                                                    
    Building TimeZones → `C:\Users\pkonl\.julia\scratchspaces\44cfe95a-1eb2-52ea-b672-e2afdf69b78f\8de32288505b7db196f36d27d7236464ef50dba1\build.log`                                                                                                    
    Building GLPK ─────→ `C:\Users\pkonl\.julia\scratchspaces\44cfe95a-1eb2-52ea-b672-e2afdf69b78f\86573ecb852e303b209212046af44871f1c0e49c\build.log`                                                                                                    

julia> include("runall.jl")                                                                                                  
Running examples...                                                                                                          

 (1/5) Running single-degree-of-freedom (SDOF) model...                                                                      

[ Info: Precompiling ReachabilityAnalysis [1e97bd63-91d1-579d-8e8d-501d2b57c93f]                                             
┌ Warning: CRlibm is falling back to use MPFR; it will have                                                                  
│         the same functionality, but with slower execution.                                                                 
│         This is currently the only option on Windows.                                                                      
└ @ CRlibm C:\Users\pkonl\.julia\packages\CRlibm\NFCH5\src\CRlibm.jl:24                                                      
[ Info: CRlibm is shadowing MPFR.                                                                                            
WARNING: Method definition isdisjoint(ReachabilityAnalysis.AbstractReachSet{N} where N, Union{IntervalArithmetic.Interval{T} 
where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:223 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:225.                                                                      
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(ReachabilityAnalysis.AbstractReachSet{N} where N, Union{IntervalArithmetic.Interval{T} 
where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}, ReachabilityAnalysis.AbstractDisjointnessMethod) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:223 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:225.                     
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(Union{IntervalArithmetic.Interval{T} where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}, ReachabilityAnalysis.AbstractReachSet{N} where N) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:224 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:226.                                                                      
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(Union{IntervalArithmetic.Interval{T} where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}, ReachabilityAnalysis.AbstractReachSet{N} where N, ReachabilityAnalysis.AbstractDisjointnessMethod) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:224 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:226.                     
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(ReachabilityAnalysis.AbstractReachSet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:229 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:230.                                                                                                                         
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(ReachabilityAnalysis.AbstractReachSet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N, ReachabilityAnalysis.AbstractDisjointnessMethod) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:229 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:230.                                                                        
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(AbstractArray{var"#s14", 1} where var"#s14"<:(ReachabilityAnalysis.AbstractReachSet{N} 
where N), Union{IntervalArithmetic.Interval{T} where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:233 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:235.                       
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(AbstractArray{var"#s13", 1} where var"#s13"<:(ReachabilityAnalysis.AbstractReachSet{N} 
where N), Union{IntervalArithmetic.Interval{T} where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}, ReachabilityAnalysis.AbstractDisjointnessMethod) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:233 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:235.                                                                                                   
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(Union{IntervalArithmetic.Interval{T} where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}, AbstractArray{var"#s14", 1} where var"#s14"<:(ReachabilityAnalysis.AbstractReachSet{N} where N)) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:234 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:236.                       
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(Union{IntervalArithmetic.Interval{T} where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}, AbstractArray{var"#s13", 1} where var"#s13"<:(ReachabilityAnalysis.AbstractReachSet{N} where N), ReachabilityAnalysis.AbstractDisjointnessMethod) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:234 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\ReachSets\AbstractReachSet.jl:236.                                                                                                   
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(ReachabilityAnalysis.AbstractFlowpipe, Union{IntervalArithmetic.Interval{T} where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\AbstractFlowpipe.jl:238 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\AbstractFlowpipe.jl:240.                                                                                 
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(ReachabilityAnalysis.AbstractFlowpipe, Union{IntervalArithmetic.Interval{T} where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}, ReachabilityAnalysis.AbstractDisjointnessMethod) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\AbstractFlowpipe.jl:238 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\AbstractFlowpipe.jl:240.                                
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(Union{IntervalArithmetic.Interval{T} where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}, ReachabilityAnalysis.AbstractFlowpipe) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\AbstractFlowpipe.jl:239 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\AbstractFlowpipe.jl:241.                                                                                 
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(Union{IntervalArithmetic.Interval{T} where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}, ReachabilityAnalysis.AbstractFlowpipe, ReachabilityAnalysis.AbstractDisjointnessMethod) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\AbstractFlowpipe.jl:239 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\AbstractFlowpipe.jl:241.                                
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(ReachabilityAnalysis.AbstractFlowpipe, ReachabilityAnalysis.AbstractFlowpipe) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\AbstractFlowpipe.jl:243 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\AbstractFlowpipe.jl:244.                  
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(ReachabilityAnalysis.AbstractFlowpipe, ReachabilityAnalysis.AbstractFlowpipe, ReachabilityAnalysis.AbstractDisjointnessMethod) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\AbstractFlowpipe.jl:243 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\AbstractFlowpipe.jl:244.                                                                                              
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(ReachabilityAnalysis.ReachSolution{FT, ST} where ST<:ReachabilityAnalysis.AbstractPost 
where FT<:ReachabilityAnalysis.AbstractFlowpipe, Union{IntervalArithmetic.Interval{T} where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\solutions.jl:148 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\solutions.jl:150.                                                                                                                           
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(ReachabilityAnalysis.ReachSolution{FT, ST} where ST<:ReachabilityAnalysis.AbstractPost 
where FT<:ReachabilityAnalysis.AbstractFlowpipe, Union{IntervalArithmetic.Interval{T} where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}, ReachabilityAnalysis.AbstractDisjointnessMethod) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\solutions.jl:148 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\solutions.jl:150.                                                                          
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(Union{IntervalArithmetic.Interval{T} where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}, ReachabilityAnalysis.ReachSolution{FT, ST} where ST<:ReachabilityAnalysis.AbstractPost where FT<:ReachabilityAnalysis.AbstractFlowpipe) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\solutions.jl:149 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\solutions.jl:151.                                                                                                                           
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(Union{IntervalArithmetic.Interval{T} where T<:Real, IntervalArithmetic.IntervalBox{N, T} where T where N, LazySets.LazySet{N} where N, LazySets.UnionSet{N, S1, S2} where S2<:LazySets.LazySet{N} where S1<:LazySets.LazySet{N} where N, LazySets.UnionSetArray{N, S} where S<:LazySets.LazySet{N} where N, ReachabilityAnalysis.AbstractReachSet{N} where N}, ReachabilityAnalysis.ReachSolution{FT, ST} where ST<:ReachabilityAnalysis.AbstractPost where FT<:ReachabilityAnalysis.AbstractFlowpipe, ReachabilityAnalysis.AbstractDisjointnessMethod) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\solutions.jl:149 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\solutions.jl:151.                                                                          
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(ReachabilityAnalysis.ReachSolution{FT, ST} where ST<:ReachabilityAnalysis.AbstractPost 
where FT<:ReachabilityAnalysis.AbstractFlowpipe, ReachabilityAnalysis.ReachSolution{FT, ST} where ST<:ReachabilityAnalysis.AbstractPost where FT<:ReachabilityAnalysis.AbstractFlowpipe) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\solutions.jl:153 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\solutions.jl:154.                                                                                        
  ** incremental compilation may be fatally broken for this module **                                                        

WARNING: Method definition isdisjoint(ReachabilityAnalysis.ReachSolution{FT, ST} where ST<:ReachabilityAnalysis.AbstractPost 
where FT<:ReachabilityAnalysis.AbstractFlowpipe, ReachabilityAnalysis.ReachSolution{FT, ST} where ST<:ReachabilityAnalysis.AbstractPost where FT<:ReachabilityAnalysis.AbstractFlowpipe, ReachabilityAnalysis.AbstractDisjointnessMethod) in module ReachabilityAnalysis at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\solutions.jl:153 overwritten at C:\Users\pkonl\.julia\packages\ReachabilityAnalysis\SBVik\src\Flowpipes\solutions.jl:154.                                       
  ** incremental compilation may be fatally broken for this module **                                                        

ERROR: LoadError: ArgumentError: Package StructuralDynamicsODESolvers not found in current path:                             
- Run `import Pkg; Pkg.add("StructuralDynamicsODESolvers")` to install the StructuralDynamicsODESolvers package.             

Stacktrace:                                                                                                                  
 [1] require(into::Module, mod::Symbol)                                                                                      
   @ Base .\loading.jl:967                                                                                                   
 [2] include(fname::String)                                                                                                  
   @ Base.MainInclude .\client.jl:451                                                                                        
 [3] top-level scope                                                                                                         
   @ C:\Users\pkonl\Documents\00WIP\SetPropagation-FEM-Examples\examples\SDOF\SDOF_Preliminaries.jl:1                        
 [4] include                                                                                                                 
   @ .\client.jl:451 [inlined]                                                                                               
 [5] main()                                                                                                                  
   @ Main C:\Users\pkonl\Documents\00WIP\SetPropagation-FEM-Examples\runall.jl:30                                            
 [6] top-level scope                                                                                                         
   @ C:\Users\pkonl\Documents\00WIP\SetPropagation-FEM-Examples\runall.jl:69                                                 
 [7] include(fname::String)                                                                                                  
   @ Base.MainInclude .\client.jl:451                                                                                        
 [8] top-level scope                                                                                                         
   @ REPL[2]:1                                                                                                               
in expression starting at C:\Users\pkonl\Documents\00WIP\SetPropagation-FEM-Examples\examples\SDOF\SDOF_Model.jl:3           
in expression starting at C:\Users\pkonl\Documents\00WIP\SetPropagation-FEM-Examples\examples\SDOF\SDOF_Preliminaries.jl:1   
in expression starting at C:\Users\pkonl\Documents\00WIP\SetPropagation-FEM-Examples\runall.jl:69                            

julia>
mforets commented 2 years ago

Thanks for your input and sorry for the very late reply.

We have added a Manifest.toml file to the examples repo (https://github.com/JuliaReach/SetPropagation-FEM-Examples#how-to-run-this-package). We have tried it on a Windows machine running Julia v1.7 and it worked.