Code

Fix affine system corner case#223

Code

Merged

mforets merged 6 commits intomasterJuliaReach/MathematicalSystems.jl:masterfrom

ueliwechsler/221JuliaReach/MathematicalSystems.jl:ueliwechsler/221Copy head branch name to clipboard

Dec 8, 2020

Commits

Commits on Dec 4, 2020

• initialize

  

  ueliwechsler

  committed
  b421a5b

  Copy full SHA for b421a5b

• add fix for x' = x + [1.0] and tests

  

  ueliwechsler

  committed
  a4ce07b

  Copy full SHA for a4ce07b

• Merge branch 'ueliwechsler/221' of https://github.com/JuliaReach/MathematicalSystems.jl into ueliwechsler/221

  

  ueliwechsler

  committed
  d3c4469

  Copy full SHA for d3c4469

• adjust comments

  

  ueliwechsler

  committed
  fe38822

  Copy full SHA for fe38822

• improve comment

  

  ueliwechsler

  committed
  4dd543e

  Copy full SHA for 4dd543e

Commits on Dec 8, 2020

• Apply suggestions from code review

  Show description for c4cbc4a
  

  ueliwechsler

  and

  schillic

  authored
  c4cbc4a

  Copy full SHA for c4cbc4a