Code

Outsource ZeroSet to its own module#3557

Code

Merged

schillic merged 6 commits intomasterJuliaReach/LazySets.jl:masterfrom schillic/ZeroSetJuliaReach/LazySets.jl:schillic/ZeroSetCopy head branch name to clipboardJul 9, 2024

+337-253

Commits

Commits on Jul 7, 2024

• move ZeroSet.jl to subfolder

  schillic

  committed
  a44cde7

Commits on Jul 8, 2024

• add ZeroSetModule

  schillic

  committed
  206f116

• outsource struct and operations to files

  schillic

  committed
  662b9cc

• outsource binary operation to module

  schillic

  committed
  206da57

• update docs page for ZeroSet

  schillic

  committed
  057fbca

• add tests

  schillic

  committed
  2796dce