refactor: delete unnecessary oasis/build files

imitator-model-checker · Oct 2, 2024 · 4a433ec · 4a433ec
1 parent f45496e
commit 4a433ec
Show file tree

Hide file tree

Showing 9 changed files with 0 additions and 503 deletions.
diff --git a/build-patator.sh b/build-patator.sh
diff --git a/build.sh b/build.sh
diff --git a/gen_imitator_distr.py b/gen_imitator_distr.py
diff --git a/gen_oasis.py b/gen_oasis.py
diff --git a/gen_oasis_distr.py b/gen_oasis_distr.py
diff --git a/oasis-config b/oasis-config