Skip to content

Instantly share code, notes, and snippets.

:atom:
Nothing ventured, nothing gained

Marcelo Forets mforets

:atom:
Nothing ventured, nothing gained
Block or report user

Report or block mforets

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@mforets
mforets / conferences_scicomp.md
Last active Jan 15, 2020
conferences_scicomp
View conferences_scicomp.md
View system_macro.jl
# 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
View system_macro_tests.jl
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
mforets / TM_to_Zonotope.jl
Created Dec 5, 2019
Convert TM to zonotop
View TM_to_Zonotope.jl
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
mforets / xps.md
Last active Jan 8, 2020
Windows commands
View xps.md
@mforets
mforets / TaylorModels_Daisy_Results.md
Created Jun 22, 2019
TaylorModels.jl daisy benchmarks
View TaylorModels_Daisy_Results.md

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
mforets / precompile_CDDLib.jl
Last active May 7, 2019
Precompiling CDDLib
View precompile_CDDLib.jl
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
mforets / project_and_manifest.jl
Created Apr 6, 2019
Project and Manifes files
View project_and_manifest.jl
```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
mforets / install.jl
Created Apr 4, 2019
ARCH2018-AFF Installation
View install.jl
```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
You can’t perform that action at this time.