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

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

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

# 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

General

Lists of journals in scientific computing and applied mathematics.

• Mathematics of Computation

  • http://www.ams.org/publications/journals/journalsframework/aboutmcom

• Foundations of Computational Mathematics:

  • http://www.springer.com/mathematics/computational+science+%26+engineering/journal/10208

mforets

• HSCC 2021

  • https://hscc.acm.org/2021/

• Applied Verification for Continuous and Hybrid Systems

  • https://cps-vo.org/group/ARCH

• FORMATS 2020

  • https://formats-2020.cs.ru.nl/#call
  • Abstract Submission deadline: April 4, 2020

mforets

Expression substitution

# suggested on Slack (20/01/2020)

using ModelingToolkit
using MacroTools: postwalk

function replace(ex::ModelingToolkit.Expression, ps::Pair...)

mforets

# =====================================
# Version using MacroTools + SymEngine
# =====================================

using IntervalMatrices
using SymEngine
using MacroTools: postwalk

subidx(i) = join(Char.(0x2080 .+ convert.(UInt16, digits(i)[end:-1:1])))

mforets

(v1.2) pkg> test NeuralVerification
  Updating registry at `~/.julia/registries/General`
  Updating git-repo `https://github.com/JuliaRegistries/General.git`
   Testing NeuralVerification
 Resolving package versions...
    Status `/tmp/jl_Wfxs1N/Manifest.toml`
  [621f4979] AbstractFFTs v0.5.0
  [1520ce14] AbstractTrees v0.3.1
  [79e6a3ab] Adapt v1.0.0