Code

#46 - Fix piracy with contains#50

Code

Open

schillic wants to merge 2 commits intomasterJuliaReach/MathematicalPredicates.jl:masterfrom schillic/46JuliaReach/MathematicalPredicates.jl:schillic/46Copy head branch name to clipboard

+18-24

Commits

Commits on Mar 1, 2024

• remove 'contains' function

  schillic

  committed
  6e94b77

  Copy full SHA for 6e94b77

Commits on Mar 2, 2024

• rename set functions

  schillic

  committed
  40861dc

  Copy full SHA for 40861dc