mforets

# originally from @ueliwechsler
# ------------------------------------


# this file should be loaded into `MathematicalSystems/src/macros.jl`

using MacroTools # for the @capture macro 
using InteractiveUtils # for subtypes
export @system

mforets

using MathematicalSystems, LazySets, Test

# ========
# Setup
# ========

n = 3; m = 2; l = 3
A = A1 = rand(n,n)
b = b1 = rand(n)
B = B1 = rand(n,m)

mforets

using LazySets, TaylorModels
import IntervalArithmetic
const IA = IntervalArithmetic

const zeroI = IA.Interval(0.0) # [0.0, 0.0]
const oneI = IA.Interval(1.0) # [1.0, 1.0]
const symI = IA.Interval(-1.0, 1.0)
@inline zeroBox(m) = IntervalBox(zeroI, m)
@inline symBox(m) = IntervalBox(symI, m)

mforets

Powershell

• https://www.faqforge.com/powershell/how-to-copy-and-paste-on-powershell-in-windows-10/

List the PATH in PowerShell

See https://www.build-business-websites.co.uk/set-path-environment-variable-windows-powershell/

(Get-ItemProperty -Path 'Registry::HKEY_LOCAL_MACHINE\System\CurrentControlSet\Control\Session Manager\Environment' -Name PATH).Path

mforets

Benchmark Report for TaylorModels

Job Properties

• Time of benchmark: 22 Jun 2019 - 16:36
• Package commit: dirty
• Julia commit: 980eda
• Julia command flags: None
• Environment variables: None

Results

mforets

julia> compile_package("CDDLib", force = false)
  Updating registry at `~/.julia/registries/General`
  Updating git-repo `https://github.com/JuliaRegistries/General.git`
┌ Warning: Some registries failed to update:
│     — /Users/forets/.julia/registries/General — failed to fetch from repo
└ @ Pkg.Types /Users/osx/buildbot/slave/package_osx64/build/usr/share/julia/stdlib/v1.1/Pkg/src/Types.jl:1269
 Resolving package versions...
  Updating `~/.julia/packages/PackageCompiler/oT98U/packages/CDDLib/Project.toml`
  [b99e7846] + BinaryProvider v0.5.4
  [d9be37ee] + Homebrew v0.7.1

mforets

```julia
$ cat Manifest.toml 
# This file is machine-generated - editing it directly is not advised

[[ARCH2018_RE]]
deps = ["BenchmarkTools", "LinearAlgebra", "MAT", "PkgBenchmark", "SparseArrays"]
path = "/Users/forets/.julia/dev/ARCH2018_RE"
uuid = "e3d1bd10-b34e-537f-8d3c-e8e875181a5a"
version = "0.0.0"

mforets

```julia
Verimags-MBP:Reachability forets$ julia6
               _
   _       _ _(_)_     |  A fresh approach to technical computing
  (_)     | (_) (_)    |  Documentation: https://docs.julialang.org
   _ _   _| |_  __ _   |  Type "?help" for help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 0.6.4 (2018-07-09 19:09 UTC)
 _/ |\__'_|_|_|\__'_|  |  Official http://julialang.org/ release
|__/                   |  x86_64-apple-darwin14.5.0

mforets

(v1.1) pkg> status
    Status `~/.julia/environments/v1.1/Project.toml`
  [e3d1bd10] ARCH2018_RE v0.0.0 [`~/.julia/dev/ARCH2018_RE`]
  [1de812f4] AffineArithmetic v0.0.0 [`~/.julia/dev/AffineArithmetic`]
  [6e4b80f9] BenchmarkTools v0.4.2+ #master (https://github.com/JuliaCI/BenchmarkTools.jl.git)
  [afc6e731] BernsteinExpansions v0.0.0 [`~/.julia/dev/BernsteinExpansions`]
  [ad839575] Blink v0.10.1
  [3391f64e] CDDLib v0.4.1
  [336ed68f] CSV v0.4.3
  [159f3aea] Cairo v0.5.6

mforets

$ git diff
diff --git a/REQUIRE b/REQUIRE
index ba1d010..87bc2e0 100644
--- a/REQUIRE
+++ b/REQUIRE
@@ -4,3 +4,4 @@ TaylorSeries v0.8.1
 IntervalArithmetic v0.15.1
 TaylorIntegration v0.4.0
 RecipesBase