Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / dslab-epfl / svshi

Formal verification for smart infrastructure (buildings, cities, etc.)

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dslab-epfl%2Fsvshi

Stars: 8
Forks: 2
Open Issues: 2

License: mit
Language: Python
Repo Size: 33 MB
Dependencies: 800

Created: over 2 years ago
Updated: 27 days ago
Last pushed: over 1 year ago
Last synced: 27 days ago

Files

Readme

Dependencies

src/simulator-knx/requirements/requirements.txt pypi

Flask ==2.1.3
aioconsole ==0.4.1
aioreactive ==0.15.0
apscheduler ==3.9.1
argparse ==1.4.0
astral ==2.2
asyncio ==3.4.3
bs4 ==0.0.1
lxml ==4.9.1
numpy ==1.22.3
pyglet ==1.5.23
pynput ==1.7.6
pytest ==7.1.1
pytest-asyncio ==0.18.2
pytest-cov ==3.0.0
pytest-mock ==3.7.0
requests ==2.27.1
schedule ==1.1.0
xknx ==0.19.2

src/svshi_gui/package.json npm

@cypress/vite-dev-server ^2.2.2 development
@cypress/vue ^3.1.1 development
@types/node ^16.11.26 development
@vitejs/plugin-vue ^2.3.1 development
@vitejs/plugin-vue-jsx ^1.3.9 development
@vue/tsconfig ^0.1.3 development
cypress ^9.5.3 development
start-server-and-test ^1.14.0 development
typescript ~4.6.3 development
vite ^2.9.1 development
vue-tsc ^0.33.9 development
axios ^0.26.1
is-ip ^4.0.0
jszip ^3.9.1
vue ^3.2.31
vue-json-component ^0.4.1
vue-json-viewer ^3.0.4
vue-select ^4.0.0-beta.3
vue-spinner ^1.0.4
vue3-tabs-component ^1.0.7
vue3-tree-vue ^1.0.15

prototypes/door_lock/requirements.txt pypi

slack_sdk ==3.13.0

prototypes/info/requirements.txt pypi

slack_sdk ==3.13.0

prototypes/ventilation/requirements.txt pypi

gcsa *

src/core/res/endToEnd/pipeline1_app_one_valid/expected_library/test_app_one/requirements.txt pypi

numpy ==1.22.0

src/core/res/endToEnd/pipeline1_app_one_valid/test_app_one_valid_filled/requirements.txt pypi

numpy ==1.22.0

src/core/res/endToEnd/pipeline2_app_one_invalid_bindings/test_app_one_valid_filled/requirements.txt pypi

numpy ==1.22.0

src/core/res/endToEnd/pipeline3_app_one_app_two_valid/expected_app_library_one/test_app_one/requirements.txt pypi

numpy ==1.22.0

src/core/res/endToEnd/pipeline3_app_one_app_two_valid/expected_app_library_one_two/test_app_one/requirements.txt pypi

numpy ==1.22.0

src/core/res/endToEnd/pipeline3_app_one_app_two_valid/expected_app_library_one_two_after_update/test_app_one/requirements.txt pypi

numpy ==1.22.0

src/core/res/endToEnd/pipeline3_app_one_app_two_valid/test_app_one_valid_filled/requirements.txt pypi

numpy ==1.22.0

src/core/res/endToEnd/pipeline4_app_one_app_two_invalid/expected_app_library_one_two_compile_error_invalid_bindings/test_app_one/requirements.txt pypi

numpy ==1.22.0

src/core/res/endToEnd/pipeline4_app_one_app_two_invalid/expected_app_library_one_two_valid/test_app_one/requirements.txt pypi

numpy ==1.22.0

src/core/res/endToEnd/pipeline4_app_one_app_two_invalid/expected_app_library_one_two_verification_error/test_app_one/requirements.txt pypi

numpy ==1.22.0

src/core/res/endToEnd/pipeline4_app_one_app_two_invalid/expected_library_one/test_app_one/requirements.txt pypi

numpy ==1.22.0

src/core/res/endToEnd/pipeline4_app_one_app_two_invalid/test_app_one_valid_filled/requirements.txt pypi

numpy ==1.22.0

src/core/res/endToEnd/pipelines_regression/app_state_plus_equal/door_lock/requirements.txt pypi

slack_sdk ==3.13.0

src/core/res/endToEnd/pipelines_regression/app_state_plus_equal/expected_app_library/door_lock/requirements.txt pypi

slack_sdk ==3.13.0

src/core/res/endToEnd/pipelines_regression/app_state_shared_bug/expected_app_library_one_two/test_app_one/requirements.txt pypi

numpy ==1.22.0

src/core/res/endToEnd/pipelines_regression/app_state_shared_bug/test_app_one/requirements.txt pypi

numpy ==1.22.0

src/requirements.txt pypi

crosshair-tool ==0.0.20

src/requirements_without_crosshair.txt pypi

astor ==0.8.1
pytest ==7.1.2
pytest-asyncio ==0.18.3
pytest-cov ==3.0.0
pytest-mock ==3.7.0
xknx ==0.21.2

.github/workflows/ci.yml actions

actions/checkout v3 composite
actions/setup-java v3.4.1 composite
actions/setup-python v4.2.0 composite
codecov/codecov-action v3 composite

Dockerfile docker

ubuntu 22.04 build

src/simulator-knx/Dockerfile docker

docker_opengl ubuntu22.04 build

src/simulator-knx/docker_opengl_image/Dockerfile docker

ubuntu 22.04 build

src/web_service/Dockerfile docker

ubuntu 22.04 build

src/web_service/frontend/svshi-web-service-frontend/package.json npm

@types/node ^18.6.3 development
@vitejs/plugin-vue ^3.0.1 development
@vitejs/plugin-vue-jsx ^2.0.0 development
vite ^3.0.1 development
@fortawesome/fontawesome-svg-core ^6.1.1
@fortawesome/free-brands-svg-icons ^6.1.1
@fortawesome/free-regular-svg-icons ^6.1.1
@fortawesome/free-solid-svg-icons ^6.1.1
@fortawesome/vue-fontawesome ^3.0.0
jszip ^3.9.1
vue ^3.2.31
vue-spinner ^1.0.4
vue3-tabs-component ^1.0.7

src/core/res/endToEnd/pipeline5_check/expected_library_one/test_app_one/requirements.txt pypi

numpy ==1.22.0 test

src/core/res/endToEnd/pipelines_regression/invalid_proto_device_type/test_app_one/requirements.txt pypi

numpy ==1.22.0 development

src/simulator-knx/knx-simulator-gui/package.json npm

@types/node ^16.11.41 development
@vitejs/plugin-vue ^2.3.3 development
@vitejs/plugin-vue-jsx ^1.3.10 development
@vue/tsconfig ^0.1.3 development
npm-run-all ^4.1.5 development
typescript ~4.7.4 development
vite ^2.9.12 development
vue-tsc ^0.38.1 development
vue ^3.2.37
vue-router ^4.0.16

src/simulator-knx/knx-simulator-gui/package-lock.json npm

198 dependencies

src/svshi_gui/package-lock.json npm

362 dependencies

src/web_service/frontend/svshi-web-service-frontend/package-lock.json npm

141 dependencies