Repository navigation

Path condition - #91

Merged

gsvgit merged 8 commits into

Mar 20, 2025

Merged

Path condition#91
gsvgit merged 8 commits into
mlSearcherfrom
path_condition

Commits on Mar 20, 2025
- Run VSharp building on pull request and push.
  Anya497
  committed
  b2b8676
- Refresh versions.
  Anya497
  committed
  d6c320a
- Setup dotnet7.
  Anya497
  committed
  b428cf6
- Build in Release mode.
  Anya497
  committed
  3f9d710
- Add path condition vertex type. Support path condition processing. Refactor.
  Anya497
  committed
  1dd6401
- Reset dictionary with path condition vertices. Refactor.
  Anya497
  committed
  64b5bf5
- Update path condition. Refactor.
  Anya497
  committed
  b362106
- Pass path condition instead its size. Make PC not internal to use its methods.
  Anya497
  committed
  1f6e3f0