Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
443-Add-scaling-to-SVG-Visualizer
c4f0606e
·
#443 Small code improvements.
·
Nov 18, 2023
develop
default
protected
ad8de8d0
·
Merge branch...
·
Nov 02, 2023
prototype-export-to-web
5db15374
·
Added eclipse run configuration to build CIF Simulator webapp.
·
Jul 23, 2023
add-default-variable-values
b29c7cc8
·
#418 Fix default intiial value of the integer type.
·
Apr 28, 2023
523-replace-cif-data-based-synthesis-plant-invariant-application-simplify
622525fd
·
#523 Update test output.
·
Apr 27, 2023
553-event-based-synthesis-tool-should-warn-about-synthesizing-specifications-without-requirements
0c258431
·
#553 Event-based synthesis: warn if no requirement automata.
·
Apr 27, 2023
360-integrate-license-check-into-the-build
f87cf36e
·
Merge remote-tracking branch 'origin/develop' into 360-integrate-license-check-into-the-build
·
Apr 25, 2023
master
c89caf74
·
Merge branch 'develop' into 'master'
·
Mar 31, 2023
534-fail-build-on-java-code-not-formatted-according-to-the-escet-formatter-profile
bdd6a1e8
·
#534 Maven Formatter plugin: don't consider generated sources.
·
Feb 22, 2023
382-add-plcgen0
7d1f8460
·
#382 Add dummy test.
·
Aug 29, 2022
310-enable-image-diffs-for-eclipse-escet-gitlab
ea8a2ea9
·
#310 Revert "#310 Changed an image, for testing purposes."
·
Feb 20, 2022
227-allow-assigning-input-variables-via-SVG-integration
e8636f7f
·
Merge branch 'develop' into 227-allow-assigning-input-variables-via-SVG-integration
·
Dec 20, 2021