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

#378 Add advanced variable ordering option to data-based synthesis tool

!498 · created Feb 06, 2023 by Dennis Hendriks v0.9 CIF TypeEnhancement
- MERGED
- Approved
- 34
updated Feb 14, 2023
#378 CIF data-based synthesis variable ordering and reordering in one go (2nd attempt)

!477 · created Jan 14, 2023 by Dennis Hendriks v0.9 CIF TypeEnhancement
- MERGED
- Approved
- 12
updated Jan 17, 2023
#378 CIF data-based synthesis variable orders in separate classes

!457 · created Dec 29, 2022 by Dennis Hendriks v0.9 CIF TypeEnhancement
- MERGED
- Approved
- 0
updated Jan 05, 2023
#378 More parameters for CIF data-based synthesis variable ordering algorithms

!434 · created Dec 10, 2022 by Dennis Hendriks v0.8 CIF TypeEnhancement
- MERGED
- Approved
- 4
updated Dec 13, 2022
#379 CIF data-based synthesis variable ordering new default

!538 · created Mar 22, 2023 by Dennis Hendriks v0.9 CIF TypeEnhancement
- MERGED
- Approved
- 1
updated Mar 22, 2023
#37 Fix CIF simulator for empty initial predicates initialization.

!31 · created Apr 11, 2021 by Ferdie Reijnen
- MERGED
- 3
updated Apr 13, 2021
#380 Added linearized hyper-edge creator for CIF data-based synthesis

!419 · created Nov 20, 2022 by Dennis Hendriks v0.8 CIF TypeEnhancement
- MERGED
- Approved
- 14
updated Nov 27, 2022
#381 Third party dependencies license check update (2022-06-12)

!329 · created Jun 12, 2022 by Ferdie Reijnen v0.6 RelEng/DevOps TypeBug
- MERGED
- 0
updated Jun 12, 2022
#385 Improve/update release process instructions

!338 · created Jun 25, 2022 by Dennis Hendriks v0.6 196-add-wes-metric-for-dcsh RelEng/DevOps TypeEnhancement
- MERGED
- Approved
- 6
updated Jun 28, 2022
#385 Improve/update release process instructions (2nd attempt)

!339 · created Jun 27, 2022 by Dennis Hendriks v0.6 RelEng/DevOps TypeEnhancement
- MERGED
- 0
updated Jun 27, 2022
#386 Make cross-docset links to ESCET website version-specific

!342 · created Jul 03, 2022 by Dennis Hendriks v0.6 CIF Chi RelEng/DevOps ToolDef TypeEnhancement
- MERGED
- Approved
- 7
updated Jul 04, 2022
#387 Add README and CODE_OF_CONDUCT files and missing trademarks

!341 · created Jun 27, 2022 by Dennis Hendriks v0.6 RelEng/DevOps TypeBug
- MERGED
- 12
updated Jul 01, 2022
#388 ESCET runtime launch configuration improvements

!463 · created Jan 01, 2023 by Dennis Hendriks v0.9 RelEng/DevOps TypeEnhancement
- MERGED
- 3
updated Jan 04, 2023
#389 develop to master for v0.6-RC2

!344 · created Jul 04, 2022 by Dennis Hendriks v0.6 master RelEng/DevOps TypeEnhancement
- MERGED
- 0
updated Jul 04, 2022
#389 Updated release notes for v0.6-RC2.

!343 · created Jul 04, 2022 by Dennis Hendriks v0.6 RelEng/DevOps TypeEnhancement
- MERGED
- 0
updated Jul 04, 2022
#390 develop to master for v0.7

!378 · created Sep 30, 2022 by Dennis Hendriks v0.7 master RelEng/DevOps TypeEnhancement
- MERGED
- 0
updated Sep 30, 2022
#390 Update release notes for v0.7.

!377 · created Sep 29, 2022 by Dennis Hendriks v0.7 RelEng/DevOps TypeEnhancement
- MERGED
- Approved
- 1
updated Sep 30, 2022
#391 develop to master for v0.7-M1

!366 · created Sep 04, 2022 by Dennis Hendriks v0.7 master RelEng/DevOps TypeEnhancement
- MERGED
- 0
updated Sep 04, 2022
#391 Updated release notes for v0.7-M1.

!365 · created Sep 04, 2022 by Dennis Hendriks v0.7 RelEng/DevOps TypeEnhancement
- MERGED
- 1
updated Sep 04, 2022
#392 develop to master for v0.7-RC1

!375 · created Sep 28, 2022 by Dennis Hendriks v0.7 master RelEng/DevOps TypeEnhancement
- MERGED
- 0
updated Sep 28, 2022

Prev
1
…
10
11
12
13
14
15
16
17
18
…
26
Next

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