You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
[ Warning: julia version requirement for project not satisfied
ERROR: Unsatisfiable requirements detected for package IntervalArithmetic [d1acc4aa]:
IntervalArithmetic [d1acc4aa] log:
├─possible versions are: [0.14.0, 0.15.0-0.15.2, 0.16.0-0.16.7] or uninstalled
├─restricted to versions 0.16.0-0.16 by an explicit requirement, leaving only versions 0.16.0-0.16.7
└─restricted by julia compatibility requirements to versions: [0.14.0, 0.15.0-0.15.2] or uninstalled — no versions left
method of abstract type
[ Info: Precompiling ReachabilityAnalysis [1e97bd63-91d1-579d-8e8d-501d2b57c93f]
ERROR: LoadError: LoadError: cannot add methods to an abstract type
Stacktrace:
[1] top-level scope at .julia/dev/ReachabilityAnalysis/src/Flowpipes/flowpipes.jl:130
[2] include at ./boot.jl:328 [inlined]
[3] include_relative(::Module, ::String) at ./loading.jl:1094
[4] include at ./Base.jl:31 [inlined]
[5] include(::String) at .julia/dev/ReachabilityAnalysis/src/ReachabilityAnalysis.jl:1
[6] top-level scope at .julia/dev/ReachabilityAnalysis/src/ReachabilityAnalysis.jl:15
[7] include at ./boot.jl:328 [inlined]
[8] include_relative(::Module, ::String) at ./loading.jl:1094
[9] include(::Module, ::String) at ./Base.jl:31
[10] top-level scope at none:2
[11] eval at ./boot.jl:330 [inlined]
[12] eval(::Expr) at ./client.jl:432
[13] top-level scope at ./none:3
in expression starting at .julia/dev/ReachabilityAnalysis/src/Flowpipes/flowpipes.jl:130
in expression starting at .julia/dev/ReachabilityAnalysis/src/ReachabilityAnalysis.jl:15
ERROR: Failed to precompile ReachabilityAnalysis [1e97bd63-91d1-579d-8e8d-501d2b57c93f] to .julia/compiled/v1.2/ReachabilityAnalysis/fYI0z.ji.
The text was updated successfully, but these errors were encountered:
The text was updated successfully, but these errors were encountered: