Service to Discover SVSHI with simulator!

# Service to discover SVSHI

This release brings a whole new service that helps users discovering SVSHI and write and test their apps on the simulator!

Special thanks to @leoalz for his precious help with the simulator development!

What's Changed

• Release 2.0 by @samuelchassot in dslab-epfl/svshi_private#215
• correct a bug that made IOType wrong in the ETS Parser (#208) by @samuelchassot in dslab-epfl/svshi_private#218
• Bump actions/setup-python from 4.1.0 to 4.2.0 by @dependabot in dslab-epfl/svshi_private#220
• Develop the Web service for SVSHI by @samuelchassot in dslab-epfl/svshi_private#217
• Release 2.1 by @samuelchassot in dslab-epfl/svshi_private#221

New SVSHI: new verification, new GUI, KNX Simulator and more!

Thanks a lot to @asrv @lmontand @isisdaude @LJRoffler @leoalz for the work on this important release!

What's Changed

• Release by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/174
• Internal datetime by @LJRoffler in https://github.com/dslab-epfl/svshi/pull/164
• Joint timer by @LJRoffler in https://github.com/dslab-epfl/svshi/pull/177
• Feature: centralised file system by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/169
• can now uninstall all apps at once by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/179
• Searchable physical structure when doing bindings by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/181
• Bugs that appeared when running by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/182
• Prototypes filesystem by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/183
• Bump actions/setup-python from 3 to 4.0.0 by @dependabot in https://github.com/dslab-epfl/svshi/pull/190
• [FEATURE] GUI show the current state of the system by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/186
• forbid the use of time module in apps by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/191
• Let input a JSON file instead of a .knxproj file when generating bindings and compiling by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/192
• [Feature] isolate unchecked/slow functions by @lmontand in https://github.com/dslab-epfl/svshi/pull/178
• add simulator to svshi-private by @leoalz in https://github.com/dslab-epfl/svshi/pull/163
• Bump actions/setup-java from 3.3.0 to 3.4.0 by @dependabot in https://github.com/dslab-epfl/svshi/pull/198
• Improve GUI style and UX by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/196
• New device types by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/203
• Feature: new syntax of trigger_if_not_running for better auto-completion by @lmontand in https://github.com/dslab-epfl/svshi/pull/201
• Bump lxml from 4.8.0 to 4.9.1 in /src/simulator-knx/requirements by @dependabot in https://github.com/dslab-epfl/svshi/pull/205
• Improve KNX ETS proj file parser by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/204
• Correct a bug that made IOType wrong in the ETS Parser by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/208
• check for apps that are missing mandatory files by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/212
• Extended_verification_module by @asrv in https://github.com/dslab-epfl/svshi/pull/172
• Device mapper + renaming of prototipycal devices by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/206
• Bump actions/setup-python from 4.0.0 to 4.1.0 by @dependabot in https://github.com/dslab-epfl/svshi/pull/210
• Bump actions/setup-java from 3.4.0 to 3.4.1 by @dependabot in https://github.com/dslab-epfl/svshi/pull/211
• Add a periodic task to read devices at runtime by @samuelchassot in https://github.com/dslab-epfl/svshi/pull/213

New Contributors

• @LJRoffler made their first contribution in https://github.com/dslab-epfl/svshi/pull/164
• @lmontand made their first contribution in https://github.com/dslab-epfl/svshi/pull/178
• @leoalz made their first contribution in https://github.com/dslab-epfl/svshi/pull/163

Full Changelog: v1.4.1...v2.0.0

What's Changed

• Release 2.0 by @samuelchassot in #12

Full Changelog: v1.4.1...v2.0.0

Docker and GUI improvements

This version mainly correct a bug in the Docker preventing it from connecting to a KNX IP interface.
It also added improvements to the GUI for a smoother experience.

What's Changed

• Bug internal by @samuelchassot in dslab-epfl/svshi_private#162
• new local folder for temp folders all at the same place by @samuelchassot in dslab-epfl/svshi_private#166
• Docker deployment, GUI bug and version bumps by @samuelchassot in dslab-epfl/svshi_private#165
• 170 feature gui get current url to connect to svshi by @samuelchassot in dslab-epfl/svshi_private#171

Full Changelog: v1.4.0...v1.4.1

v1.4.0 - GUI is here!

Full Changelog: https://github.com/dslab-epfl/svshi/compare/v1.3.4...v1.4.0## What's Changed

• Leo's typo by @samuelchassot in dslab-epfl/svshi_private#132
• Bump actions/setup-python from 2 to 3 by @dependabot in dslab-epfl/svshi_private#135
• Bump actions/checkout from 2 to 3 by @dependabot in dslab-epfl/svshi_private#136
• Requirements by @samuelchassot in dslab-epfl/svshi_private#134
• Refactor the logging system of the runtime and add limit to the by @samuelchassot in dslab-epfl/svshi_private#137
• Bump codecov/codecov-action from 2 to 3 by @dependabot in dslab-epfl/svshi_private#141
• Bump dependency versions by @samuelchassot in dslab-epfl/svshi_private#142
• Bump actions/setup-java from 2 to 3.1.1 by @dependabot in dslab-epfl/svshi_private#144
• Bump actions/setup-java from 3.1.1 to 3.2.0 by @dependabot in dslab-epfl/svshi_private#148
• Bug that made the verification module handling incorrectly the unchecked functions postconditions by @samuelchassot in dslab-epfl/svshi_private#149
• HTTP interface for the Core by @samuelchassot in dslab-epfl/svshi_private#147
• Bump actions/setup-java from 3.2.0 to 3.3.0 by @dependabot in dslab-epfl/svshi_private#152
• Gui by @samuelchassot in dslab-epfl/svshi_private#155
• Shared time by @asrv in dslab-epfl/svshi_private#146
• docker file more separate commands so that raspberry takes more advantage of the cache by @samuelchassot in dslab-epfl/svshi_private#161
• Generate a system_behaviour function that is all iterations functions in one by @samuelchassot in dslab-epfl/svshi_private#160

New Contributors

• @asrv made their first contribution in dslab-epfl/svshi_private#146

v1.3.4

What's Changed

• Install apps' requirements from Scala core module by @samuelchassot and @Gondolav in https://github.com/dslab-epfl/svshi/pull/131
• Bug fixes and improvements