Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • eclipse/escet/escet
  • droy2/escet
  • ameer/escet
  • frankvlaar/escet
  • bartwesselink/escet
  • mreniers/escet
  • sthuijsman/escet
  • jverbakel/escet
  • pvberkel/escet
  • riklubking/escet
  • mbaubek/escet
  • wytseoortwijn/escet
  • mgoorden7u4/escet
  • robertb/escet-cif
  • fgurr/escet
  • ribafish/eclipse-escet
  • timokopmels/escet
  • tbeijloos/escet
  • brentelia/escet
19 results
Show changes
Commits on Source (9257)
9,157 additional commits have been omitted to prevent performance issues.
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 1528 additions and 215 deletions
.gitattributes
View file @ 0df015af
################################################################################
# Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
# Copyright (c) 2010, 2025 Contributors to the Eclipse Foundation
#
# See the NOTICE file(s) distributed with this work for additional
# information regarding copyright ownership.
......@@ -20,28 +20,32 @@
*.sh text eol=lf
Makefile text eol=lf
# Denote all files that are truly binary.
# Denote all files that are truly binary. For images, do allow image diff.
*.7z binary
*.bmp binary
*.bmp binary diff
*.class binary
*.doc binary
*.docx binary
*.eps binary
*.exe binary
*.fig binary
*.gif binary
*.gif binary diff
*.gz binary
*.ico binary
*.icns binary
*.ico binary diff
*.jar binary
*.jpg binary
*.jpeg binary diff
*.jpg binary diff
*.mp3 binary
*.pdf binary
*.png binary
*.png binary diff
*.ppt binary
*.pptx binary
*.ps binary
*.slx binary
*.tar binary
*.tgz binary
*.tiff binary diff
*.xls binary
*.xlsx binary
*.webp binary diff
*.zip binary
.gitconfig
View file @ 0df015af
################################################################################
# Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
# Copyright (c) 2010, 2025 Contributors to the Eclipse Foundation
#
# See the NOTICE file(s) distributed with this work for additional
# information regarding copyright ownership.
......
.gitignore
View file @ 0df015af
################################################################################
# Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
# Copyright (c) 2010, 2025 Contributors to the Eclipse Foundation
#
# See the NOTICE file(s) distributed with this work for additional
# information regarding copyright ownership.
......@@ -10,9 +10,10 @@
# SPDX-License-Identifier: MIT
#################################################################################
/**/target/
/target/
/*/*/target/
/**/.polyglot.*
/**/.META-INF_MANIFEST.MF
/**/feature.xml.takari_issue_192
/**/pom.tycho
/**/.polyglot.feature.xml
.mvn/.develocity/develocity-workspace-id
.mvn/develocity.xml 0 → 100644
View file @ 0df015af
<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!--
Copyright (c) 2025 Contributors to the Eclipse Foundation
See the NOTICE file(s) distributed with this work for additional
information regarding copyright ownership.
This program and the accompanying materials are made available under the terms
of the MIT License which is available at https://opensource.org/licenses/MIT
SPDX-License-Identifier: MIT
-->
<develocity
xmlns="https://www.gradle.com/develocity-maven" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="https://www.gradle.com/develocity-maven https://www.gradle.com/schema/develocity-maven.xsd">
<server>
<url>https://develocity-staging.eclipse.org</url>
</server>
<projectId>escet</projectId>
<buildScan>
<obfuscation>
<ipAddresses>0.0.0.0</ipAddresses>
</obfuscation>
<publishing>
<onlyIf>
<![CDATA[authenticated]]>
</onlyIf>
</publishing>
<backgroundBuildScanUpload>#{isFalse(env['JENKINS_URL'])}</backgroundBuildScanUpload>
</buildScan>
<buildCache>
<local>
<enabled>false</enabled>
</local>
<remote>
<enabled>false</enabled>
<storeEnabled>#{isTrue(env['JENKINS_URL'])}</storeEnabled>
</remote>
</buildCache>
</develocity>
.mvn/extensions.xml
View file @ 0df015af
<!--
Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
Copyright (c) 2010, 2025 Contributors to the Eclipse Foundation
See the NOTICE file(s) distributed with this work for additional
information regarding copyright ownership.
......@@ -10,9 +10,22 @@
SPDX-License-Identifier: MIT
-->
<extensions>
<!-- Enable Tycho pom-less build. -->
<extension>
<groupId>org.eclipse.tycho.extras</groupId>
<artifactId>tycho-pomless</artifactId>
<version>1.7.0</version>
<groupId>org.eclipse.tycho</groupId>
<artifactId>tycho-build</artifactId>
<version>4.0.9</version>
</extension>
<!-- Enable Develocity. -->
<extension>
<groupId>com.gradle</groupId>
<artifactId>develocity-maven-extension</artifactId>
<version>1.23</version>
</extension>
<extension>
<groupId>com.gradle</groupId>
<artifactId>common-custom-user-data-maven-extension</artifactId>
<version>2.0.1</version>
</extension>
</extensions>
.mvn/maven.config 0 → 100644
View file @ 0df015af
-Dtycho.pomless.aggregator.names=releng,chi,cif,common,setext,thirdparty,tooldef,product
.project
View file @ 0df015af
......@@ -16,7 +16,7 @@
</natures>
<filteredResources>
<filter>
<id>1579099775841</id>
<id>1611684471976</id>
<name></name>
<type>10</type>
<matcher>
......@@ -25,7 +25,7 @@
</matcher>
</filter>
<filter>
<id>1579099775841</id>
<id>1611684472031</id>
<name></name>
<type>10</type>
<matcher>
......@@ -34,7 +34,7 @@
</matcher>
</filter>
<filter>
<id>1579099775857</id>
<id>1611684472034</id>
<name></name>
<type>10</type>
<matcher>
......@@ -43,16 +43,16 @@
</matcher>
</filter>
<filter>
<id>1579099775857</id>
<id>1611684472036</id>
<name></name>
<type>10</type>
<matcher>
<id>org.eclipse.ui.ide.multiFilter</id>
<arguments>1.0-name-matches-false-false-products</arguments>
<arguments>1.0-name-matches-false-false-product</arguments>
</matcher>
</filter>
<filter>
<id>1579099775873</id>
<id>1611684472038</id>
<name></name>
<type>10</type>
<matcher>
......@@ -61,7 +61,7 @@
</matcher>
</filter>
<filter>
<id>1579099775873</id>
<id>1611684472041</id>
<name></name>
<type>10</type>
<matcher>
......@@ -70,7 +70,16 @@
</matcher>
</filter>
<filter>
<id>1579099775888</id>
<id>1611684472043</id>
<name></name>
<type>10</type>
<matcher>
<id>org.eclipse.ui.ide.multiFilter</id>
<arguments>1.0-name-matches-false-false-thirdparty</arguments>
</matcher>
</filter>
<filter>
<id>1611684472045</id>
<name></name>
<type>10</type>
<matcher>
......
CODE_OF_CONDUCT.asciidoc 0 → 100644
View file @ 0df015af
= Community Code of Conduct
**Version 1.2** +
**August 19, 2020**
== Our Pledge
In the interest of fostering an open and welcoming environment, we as community members, contributors, committers, and project leaders pledge to make participation in our project and our community a harassment-free experience for everyone, regardless of age, body size, disability, ethnicity, sex characteristics, gender identity and expression, level of experience, education, socio-economic status, nationality, personal appearance, race, religion, or sexual identity and orientation.
== Our Standards
Examples of behavior that contributes to creating a positive environment include:
* Using welcoming and inclusive language.
* Being respectful of differing viewpoints and experiences.
* Gracefully accepting constructive criticism.
* Focusing on what is best for the community.
* Showing empathy towards other community members.
Examples of unacceptable behavior by participants include:
* The use of sexualized language or imagery and unwelcome sexual attention or advances.
* Trolling, insulting/derogatory comments, and personal or political attacks.
* Public or private harassment.
* Publishing others' private information, such as a physical or electronic address, without explicit permission.
* Other conduct which could reasonably be considered inappropriate in a professional setting.
== Our Responsibilities
With the support of the Eclipse Foundation staff (the "`Staff`"), project committers and leaders are responsible for clarifying the standards of acceptable behavior and are expected to take appropriate and fair corrective action in response to any instances of unacceptable behavior.
Project committers and leaders have the right and responsibility to remove, edit, or reject comments, commits, code, wiki edits, issues, and other contributions that are not aligned to this Code of Conduct, or to ban temporarily or permanently any contributor for other behaviors that they deem inappropriate, threatening, offensive, or harmful.
== Scope
This Code of Conduct applies within all project spaces, and it also applies when an individual is representing the Eclipse Foundation project or its community in public spaces.
Examples of representing a project or community include posting via an official social media account, or acting as a project representative at an online or offline event.
Representation of a project may be further defined and clarified by project committers, leaders, or the Eclipse Management Organization (EMO).
== Enforcement
Instances of abusive, harassing, or otherwise unacceptable behavior may be reported by contacting the Staff at codeofconduct@eclipse.org.
All complaints will be reviewed and investigated and will result in a response that is deemed necessary and appropriate to the circumstances.
The Staff is obligated to maintain confidentiality with regard to the reporter of an incident.
Further details of specific enforcement policies may be posted separately.
Project committers or leaders who do not follow the Code of Conduct in good faith may face temporary or permanent repercussions as determined by the Staff.
== Attribution
This Code of Conduct is adapted from the https://www.contributor-covenant.org[Contributor Covenant], version 1.4, available at https://www.contributor-covenant.org/version/1/4/code-of-conduct/[https://www.contributor-covenant.org/version/1/4/code-of-conduct.html].
CONTRIBUTING.asciidoc
View file @ 0df015af
# Contributing to Eclipse ESCET
= Contributing to Eclipse ESCET(TM)
Thanks for your interest in this project.
Contributions are always welcome!
== Project description
## Project description
The Eclipse Supervisory Control Engineering Toolkit (Eclipse ESCET) project
provides a toolkit for the development of supervisory controllers. The toolkit
has a strong focus on industrial applicability, e.g. to cyber physical
systems. The toolkit includes tooling to support the entire development
process of (supervisory) controllers, including among others specification,
supervisory controller synthesis, simulation-based validation and
visualization, formal verification, real-time testing, and code generation.
The Eclipse Supervisory Control Engineering Toolkit (Eclipse ESCET(TM)) project provides a toolkit for the development of supervisory controllers.
The toolkit has a strong focus on industrial applicability, e.g. to cyber-physical systems.
The toolkit includes tooling to support the entire development process of (supervisory) controllers, including among others specification, supervisory controller synthesis, simulation-based validation and visualization, formal verification, real-time testing, and code generation.
For more information, see:
* Project home: https://projects.eclipse.org/projects/technology.escet
* Website: https://eclipse.org/escet
* Website: https://eclipse.dev/escet
* GitLab: https://gitlab.eclipse.org/eclipse/escet/escet
* Project home: https://projects.eclipse.org/projects/technology.escet
## Developer resources
== Developer resources
For more information regarding source code management, builds, setting up a
developer environment, coding standards, how to contribute, and more, see:
For more information regarding source code management, builds, setting up a developer environment, coding standards, how to contribute, and more, see the Eclipse ESCET development documentation at:
* https://projects.eclipse.org/projects/technology.escet/developer
* https://eclipse.dev/escet/development
The project maintains the following source code repositories:
* https://gitlab.eclipse.org/eclipse/escet/escet.git
* Main repository: https://gitlab.eclipse.org/eclipse/escet/escet.git
* Website repository: https://gitlab.eclipse.org/eclipse/escet/escet-website.git
These can also be accessed via a web interface:
* https://gitlab.eclipse.org/eclipse/escet/escet
* Main repository: https://gitlab.eclipse.org/eclipse/escet/escet
* Website repository: https://gitlab.eclipse.org/eclipse/escet/escet-website
This project uses GitLab to track ongoing development and issues:
The main repository has released content in its `master` branch, and current developments go into the `develop` branch.
New website versions are deployed from the build of the main repository.
Changes should therefore be made to the main repository, rather than directly to the website repository.
* https://gitlab.eclipse.org/eclipse/escet/escet/-/milestones
* https://gitlab.eclipse.org/eclipse/escet/escet/-/issues
This project uses GitLab to track ongoing development and issues:
Be sure to search for existing issues before you create another one. Remember
that contributions are always welcome!
* https://gitlab.eclipse.org/eclipse/escet/escet/-/milestones
* https://gitlab.eclipse.org/eclipse/escet/escet/-/issues
To contribute source code (e.g. patches), please use GitLab:
Since the website repository does not have its own issue tracker, issues for the website should be made on the main repository as well.
Be sure to search for existing issues before you create another one.
Remember that contributions are always welcome!
* https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests
To contribute source code (e.g. patches) via GitLab, see:
* https://eclipse.dev/escet/development/development/contributing.html
## Eclipse Contributor Agreement
To create issues, reply to issues, contribute patches and merge requests, etc, you need an Eclipse Foundation account.
It can easily be created at https://accounts.eclipse.org/user/register.
Before your contribution can be accepted by the project team, contributors must
electronically sign the Eclipse Contributor Agreement (ECA).
Please start each commit message with the issue number, e.g. `#NNN Commit summary.` for issue `NNN`.
* https://www.eclipse.org/legal/ECA.php
The main repository can be built using the `build.sh` or `build.cmd` script located in the root of that repository.
Commits that are provided by non-committers must have a Signed-off-by field in
the footer indicating that the author is aware of the terms by which the
contribution has been provided to the project. The non-committer must
additionally have an Eclipse Foundation account and must have a signed Eclipse
Contributor Agreement (ECA) on file.
== Eclipse Contributor Agreement
For more information, please see the Eclipse Committer Handbook:
Before your contribution can be accepted by the project team, contributors must electronically sign the Eclipse Contributor Agreement (ECA).
* https://www.eclipse.org/projects/handbook/#resources-commit
* https://www.eclipse.org/legal/ECA.php
Commits that are provided by non-committers must have a Signed-off-by field in the footer indicating that the author is aware of the terms by which the contribution has been provided to the project.
The non-committer must additionally have an Eclipse Foundation account and must have a signed Eclipse Contributor Agreement (ECA) on file.
## Contact
For more information, please see the Eclipse Committer Handbook:
Contact the project developers via the project's 'dev' list.
* https://www.eclipse.org/projects/handbook/#resources-commit
* https://accounts.eclipse.org/mailing-list/escet-dev
== Contact
As an end user, you can ask questions on the project's forum:
Check out our contact options at:
* https://www.eclipse.org/forums/index.php/f/527/
* https://eclipse.dev/escet/contact-and-support.html
DEPENDENCIES.txt 0 → 100644
View file @ 0df015af
This diff is collapsed.
Jenkinsfile 0 → 100644
View file @ 0df015af
//////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2010, 2025 Contributors to the Eclipse Foundation
//
// See the NOTICE file(s) distributed with this work for additional
// information regarding copyright ownership.
//
// This program and the accompanying materials are made available
// under the terms of the MIT License which is available at
// https://opensource.org/licenses/MIT
//
// SPDX-License-Identifier: MIT
//////////////////////////////////////////////////////////////////////////////
def secrets = [
[path: 'cbi/technology.escet/develocity.eclipse.org', secretValues: [
[envVar: 'DEVELOCITY_ACCESS_KEY', vaultKey: 'api-token']
]
]
]
pipeline {
agent {
// The 'ubuntu-2404' pod template allows UI tests.
kubernetes {
inheritFrom 'ubuntu-2404'
}
}
tools {
jdk 'openjdk-jdk21-latest'
maven 'apache-maven-3.9.9'
}
options {
// Don't have multiple concurrent builds for the same branch, tag or merge request.
// Prevents multiple nightlies being deployed at the same time, leading to various issues.
disableConcurrentBuilds()
// Don't keep too many builds, as it costs a lot of disk space.
buildDiscarder(logRotator(
// Number of builds to keep.
numToKeepStr: '5',
// Number of builds for which to keep the artifacts.
artifactNumToKeepStr: '1'
))
// Prevent hanging builds from running forever, blocking other builds.
timeout(time: 2, unit: 'HOURS')
// Use timestamps in the log output of the build, to see how long parts of the build take.
timestamps()
}
stages {
stage('Initialize GPG') {
steps {
withCredentials([file(credentialsId: 'secret-subkeys.asc', variable: 'KEYRING')]) {
sh '''
# Only sign certain branches. See similar condition below for details.
if [[ "$GIT_BRANCH" == "master" ||
"$GIT_BRANCH" == "develop" ||
"$TAG_NAME" =~ ^v[0-9]+\\.[0-9]+.*$ ]]
then
gpg --batch --import "${KEYRING}"
for fpr in $(gpg --list-keys --with-colons | awk -F: \'/fpr:/ {print $10}\' | sort -u); do
echo -e "5\ny\n" | gpg --batch --command-fd 0 --expert --edit-key ${fpr} trust;
done
fi
'''
}
}
}
stage('Build & Test') {
steps {
withCredentials([string(credentialsId: 'gpg-passphrase', variable: 'KEYRING_PASSPHRASE')]) {
withVault([vaultSecrets: secrets]) {
wrap([$class: 'Xvnc', takeScreenshot: false, useXauthority: true]) {
sh '''
# Print versions.
java -version
mvn -version
git --version
# Print environment.
printenv
# Check license headers are present for all files, where relevant.
set +e
./misc/license-header/license-header-check.bash
set -e
# Get Git last commit date.
GIT_DATE_EPOCH=$(git log -1 --format=%cd --date=raw | cut -d ' ' -f 1)
GIT_DATE=$(date -d @$GIT_DATE_EPOCH -u +%Y%m%d-%H%M%S)
# Configure 'jenkins' profile for build.
BUILD_ARGS="-Pjenkins"
# Configure 'sign' profile for build.
# Sign 'master' branch, to allow checking release signing before deployment.
# Sign 'develop' branch, to deploy signed nightly releases.
# Sign releases. Determined based on release version tag name.
# This condition must match a similar condition above.
if [[ "$GIT_BRANCH" == "master" ||
"$GIT_BRANCH" == "develop" ||
"$TAG_NAME" =~ ^v[0-9]+\\.[0-9]+.*$ ]]
then
BUILD_ARGS="$BUILD_ARGS -Psign"
BUILD_ARGS="$BUILD_ARGS -Dgpg.passphrase=${KEYRING_PASSPHRASE}"
fi
# Override the 'escet.version.enduser' property for releases. Remains 'dev' otherwise.
if [[ "$GIT_BRANCH" == "develop" ]]; then
BUILD_ARGS="$BUILD_ARGS -Descet.version.enduser=nightly-$GIT_DATE"
elif [[ "$TAG_NAME" =~ ^v[0-9]+\\.[0-9]+.*$ ]]; then
BUILD_ARGS="$BUILD_ARGS -Descet.version.enduser=$TAG_NAME"
fi
# Override the 'escet.deploy.folder.name' property for releases. Remains '' otherwise.
if [[ "$GIT_BRANCH" == "develop" ]]; then
BUILD_ARGS="$BUILD_ARGS -Descet.deploy.folder.name=nightly"
elif [[ "$TAG_NAME" =~ ^v[0-9]+\\.[0-9]+.*$ ]]; then
BUILD_ARGS="$BUILD_ARGS -Descet.deploy.folder.name=$TAG_NAME"
fi
# Override the 'escet.version.qualifier' property for Jenkins builds.
# It starts with 'v' and the Git date, followed by a qualifier postfix.
# For most releases, the qualifier postfix is the postfix of the version tag (if any).
# For nightly releases, the qualifier postfix is '-nightly'.
# For non-releases, the qualifier postfix is '-dev'.
if [[ "$GIT_BRANCH" == "develop" ]]; then
QUALIFIER_POSTFIX=-nightly
elif [[ "$TAG_NAME" =~ ^v[0-9]+\\.[0-9]+.*$ ]]; then
QUALIFIER_POSTFIX=$(echo "$TAG_NAME" | sed -e 's/^[^-]*//g')
else
QUALIFIER_POSTFIX=-dev
fi
BUILD_ARGS="$BUILD_ARGS -Descet.version.qualifier=v$GIT_DATE$QUALIFIER_POSTFIX"
# Perform build.
export MAVEN_OPTS="-Xmx1500m"
./build.sh $BUILD_ARGS
'''
}}}
}
post {
success {
// Website.
archiveArtifacts 'releng/org.eclipse.escet.releng.website/target/eclipse-escet-*-website.zip'
// Update site.
archiveArtifacts 'product/org.eclipse.escet.product/target/*-updatesite.zip'
// Product.
archiveArtifacts 'product/org.eclipse.escet.product/target/products/*-linux*.tar.gz'
archiveArtifacts 'product/org.eclipse.escet.product/target/products/*-mac*.dmg'
archiveArtifacts 'product/org.eclipse.escet.product/target/products/*-win*.zip'
// Code coverage.
archiveArtifacts 'releng/org.eclipse.escet.releng.tests/target/eclipse-escet-jacoco-aggregate.zip'
}
failure {
// Build problems report.
archiveArtifacts \
artifacts: 'releng/org.eclipse.escet.releng.problemreporter.run/target/build-problems-report.html',
allowEmptyArchive: true
}
}
}
stage('Deploy') {
when {
anyOf {
branch 'develop';
tag pattern: "v\\d+\\.\\d+.*", comparator: "REGEXP"
}
}
environment {
DOWNLOADS_PATH = "/home/data/httpd/download.eclipse.org/escet"
DOWNLOADS_URL = "genie.escet@projects-storage.eclipse.org:${DOWNLOADS_PATH}"
WEBSITE_GIT_URL = "git@gitlab.eclipse.org:eclipse/escet/escet-website.git"
RELEASE_VERSION = "${env.BRANCH_NAME == 'develop' ? 'nightly' : env.TAG_NAME}"
}
steps {
// Deploy downloads.
sh '''
# Prepare update site (extracted).
mkdir -p deploy/update-site/
unzip -q product/org.eclipse.escet.product/target/*-updatesite.zip -d deploy/update-site/
'''
sshagent (['projects-storage.eclipse.org-bot-ssh']) {
// Remove any existing directory for this release.
sh 'ssh genie.escet@projects-storage.eclipse.org rm -rf ${DOWNLOADS_PATH}/${RELEASE_VERSION}/'
// Create directory for this release.
sh 'ssh genie.escet@projects-storage.eclipse.org mkdir -p ${DOWNLOADS_PATH}/${RELEASE_VERSION}/'
// Upload website (archive).
sh 'scp -r releng/org.eclipse.escet.releng.website/target/eclipse-escet-*-website.zip ${DOWNLOADS_URL}/${RELEASE_VERSION}/'
// Upload update site (archive).
sh 'scp -r product/org.eclipse.escet.product/target/*-updatesite.zip ${DOWNLOADS_URL}/${RELEASE_VERSION}/'
// Upload update site (extracted).
sh 'ssh genie.escet@projects-storage.eclipse.org mkdir -p ${DOWNLOADS_PATH}/${RELEASE_VERSION}/update-site/'
sh 'scp -r deploy/update-site/* ${DOWNLOADS_URL}/${RELEASE_VERSION}/update-site/'
// Upload product (archives).
sh 'scp -r product/org.eclipse.escet.product/target/products/*-linux*.tar.gz ${DOWNLOADS_URL}/${RELEASE_VERSION}/'
sh 'scp -r product/org.eclipse.escet.product/target/products/*-mac*.dmg ${DOWNLOADS_URL}/${RELEASE_VERSION}/'
sh 'scp -r product/org.eclipse.escet.product/target/products/*-win*.zip ${DOWNLOADS_URL}/${RELEASE_VERSION}/'
}
// Deploy website.
sshagent(['gitlab-bot-ssh']) {
sh '''
# Make a shallow clone of the website Git repo.
mkdir -p deploy/www
git clone --depth 1 --no-tags ${WEBSITE_GIT_URL} deploy/www
# Add website to Git repo checkout.
# Replace existing release with same name if present, e.g. an existing 'nightly'.
rm -rf deploy/www/${RELEASE_VERSION}
mkdir -p deploy/www/${RELEASE_VERSION}
unzip -q releng/org.eclipse.escet.releng.website/target/eclipse-escet-*-website.zip -d deploy/www/${RELEASE_VERSION}/
# Go to website repo checkout.
cd deploy/www
# Add website to '.versions' file, if not already present.
if ! grep -Fxq "${RELEASE_VERSION}" .versions; then
echo "${RELEASE_VERSION}" >> .versions
fi
# Commit and push changes to website Git repo.
git config user.email "escet-bot@eclipse.org"
git config user.name "genie.escet"
git config push.default simple # Required to silence Git push warning.
git add -A
git commit -q -m "Website release ${RELEASE_VERSION}." -m "Generated from commit ${GIT_COMMIT}."
git push
'''
}
}
}
}
post {
// Send an e-mail on unsuccessful builds (unstable, failure, aborted).
unsuccessful {
emailext subject: 'Build $BUILD_STATUS $PROJECT_NAME #$BUILD_NUMBER!',
body: '''Check console output at $BUILD_URL to view the results.''',
recipientProviders: [culprits(), requestor()]
}
// Send an e-mail on fixed builds (back to normal).
fixed {
emailext subject: 'Build $BUILD_STATUS $PROJECT_NAME #$BUILD_NUMBER!',
body: '''Check console output at $BUILD_URL to view the results.''',
recipientProviders: [culprits(), requestor()]
}
}
}
LICENSE.txt
View file @ 0df015af
Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
Copyright (c) 2010, 2025 Contributors to the Eclipse Foundation
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
......
NOTICE.asciidoc
View file @ 0df015af
# Notices for Eclipse ESCET
= Notices for Eclipse ESCET(TM)
This content is produced and maintained by the Eclipse Supervisory Control
Engineering Toolkit (Eclipse ESCET) project.
This content is produced and maintained by the Eclipse Supervisory Control Engineering Toolkit (Eclipse ESCET(TM)) project.
* Project home: https://projects.eclipse.org/projects/technology.escet
* Website: https://eclipse.org/escet
* Issue tracker: https://gitlab.eclipse.org/eclipse/escet/escet/-/issues
* Downloads: https://download.eclipse.org/escet
* Archived downloads: https://archive.eclipse.org/escet
* Forum: https://www.eclipse.org/forums/index.php/f/527/
* Developers mailing list: https://accounts.eclipse.org/mailing-list/escet-dev
* GitLab development server: https://gitlab.eclipse.org/eclipse/escet/escet
* Jenkins build server: https://ci.eclipse.org/escet/
* Website: https://eclipse.dev/escet
* Downloads: https://eclipse.dev/escet/download.html
* GitLab development server: https://gitlab.eclipse.org/eclipse/escet/escet
* Issue tracker: https://gitlab.eclipse.org/eclipse/escet/escet/-/issues
* Developers mailing list: https://accounts.eclipse.org/mailing-list/escet-dev
* Jenkins build server: https://ci.eclipse.org/escet/
* Project home: https://projects.eclipse.org/projects/technology.escet
== Trademarks
## Trademarks
Eclipse ESCET and ESCET are trademarks of the Eclipse Foundation. Eclipse,
and the Eclipse Logo are registered trademarks of the Eclipse Foundation.
Eclipse ESCET and ESCET are trademarks of the Eclipse Foundation. Eclipse, and the Eclipse Logo are registered trademarks of the Eclipse Foundation.
Other names may be trademarks of their respective owners.
## Copyright
== Copyright
All content is the property of the respective authors or their employers.
For more information regarding authorship of content, please consult the
listed source code repository logs.
For more information regarding authorship of content, please consult the listed source code repository logs.
## Declared Project Licenses
== Declared Project Licenses
This program and the accompanying materials are made available under the
terms of the MIT License which is available at
https://opensource.org/licenses/MIT
This program and the accompanying materials are made available under the terms of the MIT License which is available at https://opensource.org/licenses/MIT
SPDX-License-Identifier: MIT
## Source Code
== Source Code
The project maintains the following source code repositories:
* https://gitlab.eclipse.org/eclipse/escet/escet.git
* https://gitlab.eclipse.org/eclipse/escet/escet.git
* https://gitlab.eclipse.org/eclipse/escet/escet-website.git
These can also be accessed via a web interface:
* https://gitlab.eclipse.org/eclipse/escet/escet
## Third-party Content
com.github.javabdd
* Project: https://github.com/com-github-javabdd/com.github.javabdd
* Source: https://github.com/com-github-javabdd/com.github.javabdd
* License: GNU Library General Public License v2 (LGPLv2) or later
io.github.java-diff-utils
* Project: https://github.com/java-diff-utils/java-diff-utils
* Source: https://github.com/java-diff-utils/java-diff-utils
* License: Apache License 2.0
javax.inject
* License: Apache License 2.0
org.apache.batik
* License: Apache License 2.0
org.apache.commons.exec
* License: Apache License 2.0
org.apache.commons.io
* License: Apache License 2.0
org.apache.commons.lang
* License: Apache License 2.0
org.apache.commons.lang3
* License: Apache License 2.0
org.apache.commons.math3
* License: Apache License 2.0
org.apache.xalan
* License: Apache License 2.0
org.apache.xerces
* License: Apache License 2.0
org.eclipse.sdk
* License: Eclipse Public License 2.0
org.eclipse.emf
* License: Eclipse Public License 2.0
org.junit
* License: Eclipse Public License 1.0
* License: Common Public License Version 1.0
org.knowm.xchart
* Project: https://knowm.org/open-source/xchart/
* Source: https://github.com/knowm/XChart
* License: Apache License 2.0
org.w3c.css.sac
* https://gitlab.eclipse.org/eclipse/escet/escet
* https://gitlab.eclipse.org/eclipse/escet/escet-website
* License: Apache License 2.0, Public Domain, W3C
See `CONTRIBUTING.asciidoc` for more information.
org.w3c.dom.svg
== Third-party Content
* License: Apache License 2.0
For a complete list of all dependencies, see the `DEPENDENCIES.txt` file.
## Cryptography
== Cryptography
Content may contain encryption software. The country in which you are
currently may have restrictions on the import, possession, and use, and/or
re-export to another country, of encryption software. BEFORE using any
encryption software, please check the country's laws, regulations and
policies concerning the import, possession, or use, and re-export of
encryption software, to see if this is permitted.
Content may contain encryption software.
The country in which you are currently may have restrictions on the import, possession, and use, and/or re-export to another country, of encryption software.
BEFORE using any encryption software, please check the country's laws, regulations and policies concerning the import, possession, or use, and re-export of encryption software, to see if this is permitted.
README.asciidoc 0 → 100644
View file @ 0df015af
= Welcome to the Eclipse ESCET(TM) main repository
The Eclipse Supervisory Control Engineering Toolkit (Eclipse ESCET(TM)) project provides a toolkit for the development of supervisory controllers.
The toolkit has a strong focus on industrial applicability, e.g. to cyber-physical systems.
The toolkit includes tooling to support the entire development process of (supervisory) controllers, including among others specification, supervisory controller synthesis, simulation-based validation and visualization, formal verification, real-time testing, and code generation.
For more information, see:
* Website: https://eclipse.dev/escet
* GitLab: https://gitlab.eclipse.org/eclipse/escet/escet
* Project home: https://projects.eclipse.org/projects/technology.escet
SECURITY.asciidoc 0 → 100644
View file @ 0df015af
= Security Policy
The Eclipse ESCET(TM) project follows the https://www.eclipse.org/security/policy[Eclipse Foundation Security Policy].
Vulnerabilities are tracked by the Eclipse Foundation security team, in cooperation with the Eclipse ESCET project's security team.
Fixing vulnerabilities is taken care of by the Eclipse ESCET project's security team, with assistance and guidance of the Eclipse Foundation security team.
== Supported Versions
Whenever the Eclipse ESCET project fixes a vulnerability, it will be included in the next release.
== Reporting a Vulnerability
For information on how to report a vulnerability, see the corresponding Eclipse Project Handbook https://www.eclipse.org/projects/handbook/#vulnerability-reporting[section].
If you opt to report the vulnerability directly to the Eclipse ESCET project, you can create a confidential issue in the Eclipse ESCET GitLab repository located at https://gitlab.eclipse.org/eclipse/escet/escet.
Note that such issues may be visible to Eclipse ESCET contributors that are not in the Eclipse Foundation security team, nor in the Eclipse ESCET security team.
build-clean.launch 0 → 100644
View file @ 0df015af
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.eclipse.m2e.Maven2LaunchConfigurationType">
<intAttribute key="M2_COLORS" value="0"/>
<booleanAttribute key="M2_DEBUG_OUTPUT" value="false"/>
<stringAttribute key="M2_GOALS" value="clean"/>
<booleanAttribute key="M2_NON_RECURSIVE" value="false"/>
<booleanAttribute key="M2_OFFLINE" value="false"/>
<stringAttribute key="M2_PROFILES" value=""/>
<listAttribute key="M2_PROPERTIES"/>
<stringAttribute key="M2_RUNTIME" value="EMBEDDED"/>
<booleanAttribute key="M2_SKIP_TESTS" value="false"/>
<intAttribute key="M2_THREADS" value="1"/>
<booleanAttribute key="M2_UPDATE_SNAPSHOTS" value="false"/>
<stringAttribute key="M2_USER_SETTINGS" value=""/>
<booleanAttribute key="M2_WORKSPACE_RESOLUTION" value="false"/>
<booleanAttribute key="org.eclipse.debug.core.ATTR_FORCE_SYSTEM_CONSOLE_ENCODING" value="false"/>
<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${workspace}"/>
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_ATTR_USE_ARGFILE" value="false"/>
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_SHOW_CODEDETAILS_IN_EXCEPTION_MESSAGES" value="true"/>
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_CLASSPATH_ONLY_JAR" value="false"/>
<stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21/"/>
<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:/org.eclipse.escet.root}"/>
</launchConfiguration>
build-docs.launch
View file @ 0df015af
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.eclipse.m2e.Maven2LaunchConfigurationType">
<booleanAttribute key="M2_DEBUG_OUTPUT" value="false"/>
<stringAttribute key="M2_GOALS" value="clean package --projects releng/org.eclipse.escet.target,chi/org.eclipse.escet.chi.documentation,cif/org.eclipse.escet.cif.documentation,products/org.eclipse.escet.documentation,setext/org.eclipse.escet.setext.documentation,tooldef/org.eclipse.escet.tooldef.documentation --also-make-dependents"/>
<booleanAttribute key="M2_NON_RECURSIVE" value="false"/>
<booleanAttribute key="M2_OFFLINE" value="false"/>
<stringAttribute key="M2_PROFILES" value=""/>
<listAttribute key="M2_PROPERTIES">
<listEntry value="tycho.pomless.aggregator.names=releng,chi,cif,common,setext,tooldef,products"/>
</listAttribute>
<stringAttribute key="M2_RUNTIME" value="EMBEDDED"/>
<booleanAttribute key="M2_SKIP_TESTS" value="false"/>
<intAttribute key="M2_THREADS" value="1"/>
<booleanAttribute key="M2_UPDATE_SNAPSHOTS" value="true"/>
<stringAttribute key="M2_USER_SETTINGS" value=""/>
<booleanAttribute key="M2_WORKSPACE_RESOLUTION" value="false"/>
<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${workspace}"/>
<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:/org.eclipse.escet.root}"/>
<intAttribute key="M2_COLORS" value="0"/>
<booleanAttribute key="M2_DEBUG_OUTPUT" value="false"/>
<stringAttribute key="M2_GOALS" value="clean package --projects chi/org.eclipse.escet.chi.documentation,cif/org.eclipse.escet.cif.documentation,releng/org.eclipse.escet.releng.dev.documentation,releng/org.eclipse.escet.releng.project.documentation,tooldef/org.eclipse.escet.tooldef.documentation --also-make"/>
<booleanAttribute key="M2_NON_RECURSIVE" value="false"/>
<booleanAttribute key="M2_OFFLINE" value="false"/>
<stringAttribute key="M2_PROFILES" value=""/>
<listAttribute key="M2_PROPERTIES">
<listEntry value="jacoco.skip=true"/>
<listEntry value="escet.asciidoc.check.failBuild=true"/>
<listEntry value="escet.asciidoctor.problems.failBuild=true"/>
</listAttribute>
<stringAttribute key="M2_RUNTIME" value="EMBEDDED"/>
<booleanAttribute key="M2_SKIP_TESTS" value="true"/>
<intAttribute key="M2_THREADS" value="1"/>
<booleanAttribute key="M2_UPDATE_SNAPSHOTS" value="true"/>
<stringAttribute key="M2_USER_SETTINGS" value=""/>
<booleanAttribute key="M2_WORKSPACE_RESOLUTION" value="false"/>
<booleanAttribute key="org.eclipse.debug.core.ATTR_FORCE_SYSTEM_CONSOLE_ENCODING" value="false"/>
<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${workspace}"/>
<mapAttribute key="org.eclipse.debug.core.environmentVariables">
<mapEntry key="JAVA_HOME" value="${system_property:java.home}"/>
</mapAttribute>
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_ATTR_USE_ARGFILE" value="false"/>
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_SHOW_CODEDETAILS_IN_EXCEPTION_MESSAGES" value="true"/>
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_CLASSPATH_ONLY_JAR" value="false"/>
<stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21/"/>
<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:/org.eclipse.escet.root}"/>
</launchConfiguration>
build.cmd
View file @ 0df015af
@echo off
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
:: Copyright (c) 2010, 2025 Contributors to the Eclipse Foundation
::
:: See the NOTICE file(s) distributed with this work for additional
:: information regarding copyright ownership.
......@@ -12,4 +12,4 @@
:: SPDX-License-Identifier: MIT
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
.\mvn_escet.cmd clean verify
mvn clean verify %*
build.launch
View file @ 0df015af
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.eclipse.m2e.Maven2LaunchConfigurationType">
<booleanAttribute key="M2_DEBUG_OUTPUT" value="false"/>
<stringAttribute key="M2_GOALS" value="clean verify"/>
<booleanAttribute key="M2_NON_RECURSIVE" value="false"/>
<booleanAttribute key="M2_OFFLINE" value="false"/>
<stringAttribute key="M2_PROFILES" value=""/>
<listAttribute key="M2_PROPERTIES">
<listEntry value="tycho.pomless.aggregator.names=releng,chi,cif,common,setext,tooldef,products"/>
</listAttribute>
<stringAttribute key="M2_RUNTIME" value="EMBEDDED"/>
<booleanAttribute key="M2_SKIP_TESTS" value="false"/>
<intAttribute key="M2_THREADS" value="1"/>
<booleanAttribute key="M2_UPDATE_SNAPSHOTS" value="false"/>
<stringAttribute key="M2_USER_SETTINGS" value=""/>
<booleanAttribute key="M2_WORKSPACE_RESOLUTION" value="false"/>
<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${workspace}"/>
<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:/org.eclipse.escet.root}"/>
<intAttribute key="M2_COLORS" value="0"/>
<booleanAttribute key="M2_DEBUG_OUTPUT" value="false"/>
<stringAttribute key="M2_GOALS" value="clean verify"/>
<booleanAttribute key="M2_NON_RECURSIVE" value="false"/>
<booleanAttribute key="M2_OFFLINE" value="false"/>
<stringAttribute key="M2_PROFILES" value=""/>
<listAttribute key="M2_PROPERTIES"/>
<stringAttribute key="M2_RUNTIME" value="EMBEDDED"/>
<booleanAttribute key="M2_SKIP_TESTS" value="false"/>
<intAttribute key="M2_THREADS" value="1"/>
<booleanAttribute key="M2_UPDATE_SNAPSHOTS" value="false"/>
<stringAttribute key="M2_USER_SETTINGS" value=""/>
<booleanAttribute key="M2_WORKSPACE_RESOLUTION" value="false"/>
<booleanAttribute key="org.eclipse.debug.core.ATTR_FORCE_SYSTEM_CONSOLE_ENCODING" value="false"/>
<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${workspace}"/>
<mapAttribute key="org.eclipse.debug.core.environmentVariables">
<mapEntry key="JAVA_HOME" value="${system_property:java.home}"/>
</mapAttribute>
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_ATTR_USE_ARGFILE" value="false"/>
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_SHOW_CODEDETAILS_IN_EXCEPTION_MESSAGES" value="true"/>
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_CLASSPATH_ONLY_JAR" value="false"/>
<stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21/"/>
<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:/org.eclipse.escet.root}"/>
</launchConfiguration>
build.sh
View file @ 0df015af
#!/usr/bin/env sh
################################################################################
# Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
# Copyright (c) 2010, 2025 Contributors to the Eclipse Foundation
#
# See the NOTICE file(s) distributed with this work for additional
# information regarding copyright ownership.
......@@ -12,4 +12,4 @@
# SPDX-License-Identifier: MIT
################################################################################
./mvn_escet.sh clean verify
mvn clean verify $*

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent