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

#37 Fix CIF simulator for empty initial predicates initialization.

!31 · created Apr 11, 2021 by Ferdie Reijnen
- Merged
- 3
updated Apr 13, 2021
#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
#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
#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 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 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
#377 Legacy hyper-edge creator: consider location invariants.

!551 · created Apr 02, 2023 by Dennis Hendriks v0.10
CIF TypeBug
- Merged
- Approved
- 3
updated Apr 05, 2023
#375 Add scripts to benchmark data-based synthesis to CIF benchmarks.

!405 · created Nov 09, 2022 by Dennis Hendriks v0.8
CIF TypeEnhancement
- Merged
- 1
updated Nov 19, 2022
#374 Use default maximum available memory for product as determined by JVM

!328 · created Jun 10, 2022 by Dennis Hendriks v0.6
Products TypeEnhancement
- Merged
- Approved
- 8
updated Jun 16, 2022
#372 Updated DEPENDENCIES.txt for changed output of license check tool.

!325 · created Jun 04, 2022 by Dennis Hendriks v0.6
RelEng/DevOps TypeBug
- Merged
- 0
updated Jun 04, 2022
#371 Improved CIF data-based synthesis variable ordering API

!324 · created May 27, 2022 by Dennis Hendriks v0.6
CIF TypeEnhancement
- Merged
- 43
updated May 31, 2022
#370 Generalized CIF to Supremica precondition checks to reusable checks.

!326 · created Jun 05, 2022 by Dennis Hendriks v0.6
CIF TypeEnhancement
- Merged
- 46
updated Jun 13, 2022
#36 AsciiDoc multi-page HTML generation for website and Eclipse help

!134 · created Sep 20, 2021 by Dennis Hendriks v0.3
CIF Chi Products SeText ToolDef TypeEnhancement
- Merged
- 7
updated Sep 27, 2021
#369 Fix outdated comments in SynthesisToCifConverter regarding explicit kinds

!330 · created Jun 12, 2022 by Ferdie Reijnen v0.6
CIF TypeBug
- Merged
- Approved
- 0
updated Jun 12, 2022
#368 Implement `cif2dmm` computation, 3rd attempt

!470 · created Jan 05, 2023 by Albert Hofkamp v0.9
CIF TypeEnhancement
- Merged
- Approved
- 207
updated Jan 18, 2023
#368 Implement cif2dmm

!349 · created Jul 08, 2022 by Albert Hofkamp
CIF TypeEnhancement
- Closed
- 290
updated Jan 18, 2023
#368 Extend and add checker classes for cif2dmm

!386 · created Oct 11, 2022 by Albert Hofkamp v0.8
CIF TypeEnhancement
- Merged
- Approved
- 29
updated Oct 14, 2022
#367 Improved website style. Cleaned up unused CSS styles.

!318 · created May 07, 2022 by Dennis Hendriks v0.6
RelEng/DevOps TypeEnhancement
- Merged
- Approved
- 2
updated May 12, 2022
#365 Update paper references in AsciiDoc files

!316 · created May 04, 2022 by Ferdie Reijnen v0.6
CIF Chi RelEng/DevOps ToolDef TypeBug
- Merged
- Approved
- 0
updated May 06, 2022
#364 Small fix in lithography_init CIF benchmark model _source.txt file.

!533 · created Mar 14, 2023 by Dennis Hendriks v0.9
CIF TypeEnhancement
- Merged
- Approved
- 0
updated Mar 17, 2023

Prev
1
…
13
14
15
16
17
18
19
20
21
…
30
Next

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