Issues · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet · GitLab

Customize product welcome screen

#32 · created Apr 10, 2021 by Dennis Hendriks Products TypeEnhancement
- 2
updated Jan 04, 2022
Improve AsciiDoc-generated documentation HTML style

#38 · created Apr 10, 2021 by Dennis Hendriks CIF Chi Products SeText ToolDef TypeEnhancement
- 2
updated May 10, 2022
Improve EMF resources performance when using platform paths

#42 · created Apr 10, 2021 by Dennis Hendriks CIF Chi Common ToolDef TypeEnhancement
- 2
updated Jan 13, 2022
Make it easier to use/call CIF functionality from code

#43 · created Apr 10, 2021 by Dennis Hendriks CIF Common TypeEnhancement
- 5
updated Feb 23, 2022
Very long lines are not rendered in console window and text editor.

#76 · created May 05, 2021 by Ferdie Reijnen v0.6 CIF Common TypeBug
- 1
- 23
updated Mar 20, 2022
Linux command line scripts show JVM UI popup upon failure

#89 · created May 19, 2021 by Dennis Hendriks Products TypeBug
- 7
updated Jan 04, 2022
Users should download products etc via mirrors 1 of 2 tasks completed

#97 · created May 25, 2021 by Dennis Hendriks RelEng TypeEnhancement
- 8
updated Jan 04, 2022
Consider moving documentation sources closer to related code

#102 · created May 27, 2021 by Dennis Hendriks CIF Chi Common Products SeText ToolDef TypeEnhancement
- 2
updated Jan 04, 2022
Generate Chi railroad diagrams using the new railroad diagram generator

#112 · created Jun 08, 2021 by Dennis Hendriks Chi TypeEnhancement
- 1
- 0
updated Jan 25, 2022
Add railroad diagrams to the CIF, SeText and ToolDef documentation.

#113 · created Jun 08, 2021 by Dennis Hendriks CIF SeText ToolDef TypeEnhancement
- 0
updated Jan 25, 2022
Reconsider algebraic variables with int type and constant value getting explicit range

#114 · created Jun 10, 2021 by Dennis Hendriks CIF TypeEnhancement
- 13
updated Jan 04, 2022
Allow merging input variable with concrete object that has a subtype

#115 · created Jun 10, 2021 by Dennis Hendriks CIF TypeEnhancement
- 17
updated Jan 04, 2022
Create CIF linter tool to check for potential modeling mistakes

#119 · created Jun 12, 2021 by Dennis Hendriks CIF TypeEnhancement
- 5
updated Apr 16, 2022
Convert location expressions for CIF to Supremica

#127 · created Jun 22, 2021 by Ferdie Reijnen CIF TypeEnhancement
- 1
updated Jan 04, 2022
CIF to CIF elim def/inst transformation may produce invalid models for assignments with algebraic parameters.

#134 · created Jul 02, 2021 by Ferdie Reijnen CIF TypeBug
- 8
updated Feb 24, 2022
Add controller check for confluence

#145 · created Jul 14, 2021 by Albert Hofkamp CIF TypeEnhancement
- 3
updated Jan 04, 2022
Reconsider CIF to CIF remove requirements

#147 · created Jul 16, 2021 by Ferdie Reijnen CIF TypeBug
- 3
updated Feb 23, 2022
Improve and enforce dependencies license check 1 of 2 tasks completed

#160 · created Aug 19, 2021 by Dennis Hendriks RelEng TypeEnhancement
- 3
updated Jan 04, 2022
Upgrade to Eclipse 2022-03

#176 · created Sep 20, 2021 by Dennis Hendriks v0.6 RelEng TypeEnhancement
- 1
- 3
- 17
updated Apr 03, 2022
Extend CIF language reference manual

#180 · created Sep 22, 2021 by Dennis Hendriks CIF TypeEnhancement
- 0
updated Jan 04, 2022
Extend ToolDef language reference manual

#182 · created Sep 26, 2021 by Dennis Hendriks ToolDef TypeEnhancement
- 0
updated Jan 04, 2022
Finite response checker should support state invariants.

#187 · created Sep 28, 2021 by Ferdie Reijnen CIF TypeEnhancement
- 0
updated Jan 04, 2022
Reconsider requiring curly braces for single-statement if-bodies

#194 · created Sep 29, 2021 by Dennis Hendriks RelEng TypeEnhancement
- 5
updated Jan 04, 2022
Improve BDD variable order heuristic for databased synthesis

#196 · created Oct 01, 2021 by Sander Thuijsman v0.6 CIF TypeEnhancement
- 2
updated May 17, 2022
Efficient enforcement of state invariant requirements in databased synthesis

#198 · created Oct 01, 2021 by Sander Thuijsman CIF TypeEnhancement
- 0
updated Jan 04, 2022
Open large files using Text Editor by default

#199 · created Oct 01, 2021 by Sander Thuijsman v0.6 CIF TypeEnhancement
- 1
- 29
updated Feb 27, 2022
Enable CIF to mCRL2 translation for BDD representation in CIF

#201 · created Oct 04, 2021 by Sander Thuijsman CIF TypeEnhancement
- 4
updated Jan 04, 2022
CIF simulator should support input variables

#203 · created Oct 06, 2021 by Ferdie Reijnen v0.6 CIF TypeEnhancement
- 37
updated Mar 27, 2022
Simplify synthesized supervisor wrt. state plant invariant guards.

#215 · created Oct 31, 2021 by Ferdie Reijnen CIF TypeEnhancement
- 3
updated Jan 04, 2022
Support constants in parametrized automaton definition/instantiation

#220 · created Nov 08, 2021 by Sander Thuijsman CIF TypeEnhancement
- 9
updated Jan 04, 2022
SVG viewer save as suggested file name/path doesn't work as expected

#221 · created Nov 08, 2021 by Dennis Hendriks v0.6 CIF Chi Common TypeBug
- 1
- 12
updated May 13, 2022
CIF to mCRL2 transformation ignores nesting of events

#224 · created Nov 09, 2021 by Arjan van der Meer CIF TypeEnhancement
- 7
updated Apr 15, 2022
CIF to mCRL2 transformation should support tau actions

#226 · created Nov 10, 2021 by Arjan van der Meer CIF TypeEnhancement
- 0
updated Apr 15, 2022
Allow assigning input variables via SVG input mapping

#227 · created Nov 11, 2021 by Ferdie Reijnen v0.6 CIF TypeEnhancement
- 20
updated Mar 27, 2022
CIF to mCRL2 transformation should support conditional updates

#229 · created Nov 11, 2021 by Arjan van der Meer CIF TypeEnhancement
- 0
updated Jan 04, 2022
Write all data-based synthesis statistics to a file

#240 · created Nov 17, 2021 by Martijn Goorden CIF TypeEnhancement
- 8
updated Apr 28, 2022
Alternative to forums for end user questions and discussions

#243 · created Nov 20, 2021 by Dennis Hendriks RelEng TypeEnhancement
- 14
updated Jan 05, 2022
Document AsciiDoc guidelines

#254 · created Nov 30, 2021 by Dennis Hendriks RelEng TypeEnhancement
- 1
- 2
updated Jan 04, 2022
Upgrade to Java 17

#259 · created Dec 09, 2021 by Dennis Hendriks RelEng TypeEnhancement
- 4
updated May 13, 2022
Data-based synthesis could use BDD leak detection

#267 · created Dec 11, 2021 by Dennis Hendriks CIF TypeEnhancement
- 26
updated Mar 17, 2022
Data-based synthesis tool needs complexity reduction

#269 · created Dec 12, 2021 by Dennis Hendriks CIF TypeEnhancement
- 4
updated May 10, 2022
Add more Checkstyle checks for AsciiDoc files

#271 · created Dec 13, 2021 by Dennis Hendriks v0.6 RelEng TypeEnhancement
- 6
updated Apr 30, 2022
CIF code generation to JS/HTML

#272 · created Dec 13, 2021 by Dennis Hendriks CIF TypeEnhancement
- 5
updated Jan 04, 2022
Upgrade maven-surefire-plugin to non-milestone release

#279 · created Dec 19, 2021 by Ferdie Reijnen RelEng TypeEnhancement
- 4
updated Apr 25, 2022
Improve generated PLC code

#281 · created Jan 01, 2022 by Ferdie Reijnen CIF TypeEnhancement
- 0
updated Jan 14, 2022
Use of app.framework.options.EnumOption.getDialogText

#287 · created Jan 05, 2022 by Albert Hofkamp Common TypeEnhancement
- 9
updated Jan 21, 2022
Document setting up a project for unit tests

#291 · created Jan 10, 2022 by Dennis Hendriks RelEng TypeEnhancement
- 0
updated Jan 10, 2022
Option window doesn't fully display some options

#294 · created Jan 16, 2022 by Ferdie Reijnen CIF TypeBug
- 3
updated Jan 16, 2022
CIF event-based language equivalence check output contradicts itself

#297 · created Jan 26, 2022 by Dennis Hendriks CIF TypeBug
- 0
updated Jan 26, 2022
Add warning for duplicated event in state/event exclusion invariant

#299 · created Jan 30, 2022 by Ferdie Reijnen CIF TypeEnhancement
- 2
updated Jan 31, 2022
Document general application options 0 of 1 task completed

#302 · created Feb 03, 2022 by Albert Hofkamp CIF TypeEnhancement
- 1
updated Feb 03, 2022
Improve decoupling of generated parsers and scanners from frontend code.

#307 · created Feb 09, 2022 by Albert Hofkamp CIF Chi Common SeText ToolDef TypeEnhancement
- 18
updated Apr 24, 2022
Enable image diffs for Eclipse ESCET GitLab

#310 · created Feb 20, 2022 by Dennis Hendriks RelEng TypeEnhancement
- 3
updated Mar 22, 2022
Consider warning for /disallowing plant referencing requirements in CIF

#311 · created Feb 20, 2022 by Ferdie Reijnen v0.6 CIF TypeEnhancement
- 1
- 9
updated May 02, 2022
CIF data-based synthesis ignores restriction in case of forward application.

#313 · created Feb 20, 2022 by Ferdie Reijnen CIF TypeBug
- 0
updated Feb 20, 2022
Overview issue for multi-level synthesis 3 of 7 tasks completed

#318 · created Feb 22, 2022 by Albert Hofkamp CIF TypeEnhancement
- 7
updated May 10, 2022
Add sub-plant application

#319 · created Feb 22, 2022 by Albert Hofkamp v0.6 CIF TypeEnhancement
- 21
updated Apr 25, 2022
Dev documentation doesn't say how to make a new workspace

#321 · created Feb 22, 2022 by Albert Hofkamp RelEng TypeEnhancement
- 11
updated Feb 23, 2022
False positive on rejecting a push with multiple branches

#322 · created Feb 23, 2022 by Albert Hofkamp RelEng TypeBug
- 6
updated Feb 25, 2022
Eclipse is hiding imported projects

#328 · created Mar 02, 2022 by Albert Hofkamp RelEng TypeEnhancement
- 12
updated Mar 15, 2022
Rename Application.runTest

#331 · created Mar 16, 2022 by Dennis Hendriks Common TypeEnhancement
- 0
updated Mar 16, 2022
Release review for v0.6

#338 · created Mar 29, 2022 by Dennis Hendriks v0.6 RelEng TypeEnhancement
- 0
updated Mar 29, 2022
Release v0.6-M1

#340 · created Mar 29, 2022 by Dennis Hendriks v0.6 RelEng TypeEnhancement
- 0
updated Mar 29, 2022
Release v0.6-RC1

#341 · created Mar 29, 2022 by Dennis Hendriks v0.6 RelEng TypeEnhancement
- 0
updated Mar 29, 2022
Release v0.6

#342 · created Mar 29, 2022 by Dennis Hendriks v0.6 RelEng TypeEnhancement
- 0
updated Mar 29, 2022
SeText-based text editors unusable with dark theme

#347 · created Apr 07, 2022 by Albert Hofkamp CIF Chi SeText ToolDef TypeEnhancement
- 7
updated Apr 11, 2022
Reconsider style of generated CIF metamodel images

#349 · created Apr 10, 2022 by Ferdie Reijnen CIF TypeEnhancement
- 0
updated Apr 10, 2022
Remove import sign on inheritance line of CIF metamodel diagram

#350 · created Apr 10, 2022 by Ferdie Reijnen CIF TypeBug
- 5
updated Apr 11, 2022
CIF to mCRL2 should linearize the input specification

#352 · created Apr 15, 2022 by Dennis Hendriks CIF TypeEnhancement
- 1
- 0
updated Apr 15, 2022
Add marking actions to CIF to mCRL2 output

#353 · created Apr 15, 2022 by Dennis Hendriks CIF TypeEnhancement
- 0
updated Apr 15, 2022
Update CIF documentation for recent Inkscape versions

#357 · created Apr 17, 2022 by Dennis Hendriks v0.6 CIF TypeBug
- 0
updated Apr 17, 2022
Upgrade to Tycho 3.0

#359 · created Apr 21, 2022 by Dennis Hendriks RelEng TypeEnhancement
- 0
updated Apr 21, 2022
Consider integrating license check into the build

#360 · created Apr 22, 2022 by Dennis Hendriks RelEng TypeEnhancement
- 1
updated Apr 22, 2022
CIF data-based synthesis performance test models

#364 · created May 02, 2022 by Dennis Hendriks v0.6 CIF TypeEnhancement
- 14
updated May 19, 2022
Implement `cif2dsm` computation

#368 · created May 10, 2022 by Albert Hofkamp v0.6 CIF TypeEnhancement
- 1
- 11
updated May 17, 2022
Fix outdated comments in SynthesisToCifConverter regarding explicit kinds

#369 · created May 18, 2022 by Dennis Hendriks CIF TypeBug
- 1
updated May 18, 2022

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