Skip to content

Instructions for creating this RE

Jump to bottom
Christian Schilling edited this page Jul 6, 2022 · 5 revisions

The following code shows how we built the Julia environment for this RE.

First we cd to the ARCH2020_NLN_RE repository's folder and open julia in the REPL. Then we type the following commands to install the specified package versions.

julia> ]

(@v1.4) pkg> activate .
 Activating new environment at `~/Projects/ARCH2020_NLN_RE/Project.toml`

(ARCH2020_NLN_RE) pkg> add IntervalArithmetic#nonrecursive_powers

(ARCH2020_NLN_RE) pkg> add LazySets#mforets/union

(ARCH2020_NLN_RE) pkg> add ReachabilityAnalysis#v0.7.2

At this point, we will find the files ARCH2020_NLN_RE/Project.toml and ARCH2020_NLN_RE/Manifest.toml with the newly created environments.

In the following section we show some intermediate results obtained with these commands.

Details

julia> ]

(@v1.4) pkg> activate .
 Activating new environment at `~/Projects/ARCH2020_NLN_RE/Project.toml`

(ARCH2020_NLN_RE) pkg> st
Status `~/Projects/ARCH2020_NLN_RE/Project.toml`
  (no changes since last commit)

(ARCH2020_NLN_RE) pkg> add IntervalArithmetic#nonrecursive_powers
   Updating git-repo `https://github.com/JuliaIntervals/IntervalArithmetic.jl.git`
   Updating registry at `~/.julia/registries/General`
   Updating git-repo `https://github.com/JuliaRegistries/General.git`
  Resolving package versions...
   Updating `~/Projects/ARCH2020_NLN_RE/Project.toml`
  [d1acc4aa] + IntervalArithmetic v0.16.1 #nonrecursive_powers (https://github.com/JuliaIntervals/IntervalArithmetic.jl.git)
   Updating `~/Projects/ARCH2020_NLN_RE/Manifest.toml`
 ....

(ARCH2020_NLN_RE) pkg> st
Status `~/Projects/ARCH2020_NLN_RE/Project.toml`
  [d1acc4aa] IntervalArithmetic v0.16.1 #nonrecursive_powers (https://github.com/JuliaIntervals/IntervalArithmetic.jl.git)

(ARCH2020_NLN_RE) pkg> add LazySets#mforets/union
   Updating git-repo `https://github.com/JuliaReach/LazySets.jl.git`
  Resolving package versions...
   Updating `~/Projects/ARCH2020_NLN_RE/Project.toml`
  [b4f0291d] + LazySets v1.36.2 #mforets/union (https://github.com/JuliaReach/LazySets.jl.git)
   Updating `~/Projects/ARCH2020_NLN_RE/Manifest.toml`
...

(ARCH2020_NLN_RE) pkg> add ReachabilityAnalysis#v0.7.2
   Updating git-repo `https://github.com/JuliaReach/ReachabilityAnalysis.jl.git`
  Resolving package versions...
  Installed XML2_jll ────────── v2.9.10+0
  Installed VectorizationBase ─ v0.12.11
  Installed Intervals ───────── v1.3.0
  Installed SIMDPirates ─────── v0.8.9
Downloading artifact: XML2
######################################################################## 100.0%#=#=-#  #
   Updating `~/Projects/ARCH2020_NLN_RE/Project.toml`
  [1e97bd63] + ReachabilityAnalysis v0.7.2 #v0.7.2 (https://github.com/JuliaReach/ReachabilityAnalysis.jl.git)
   Updating `~/Projects/ARCH2020_NLN_RE/Manifest.toml`

(ARCH2020_NLN_RE) pkg> st
Status `~/Projects/ARCH2020_NLN_RE/Project.toml`
  [d1acc4aa] IntervalArithmetic v0.16.1 #nonrecursive_powers (https://github.com/JuliaIntervals/IntervalArithmetic.jl.git)
  [b4f0291d] LazySets v1.36.2 #mforets/union (https://github.com/JuliaReach/LazySets.jl.git)
  [1e97bd63] ReachabilityAnalysis v0.7.2 #v0.7.2 (https://github.com/JuliaReach/ReachabilityAnalysis.jl.git)
Clone this wiki locally