Merge requests · Eclipse Projects

#319 Add sub-plant creation functionality (small improvements)

eclipse/escet/escet!741 · created Dec 27, 2023 by Dennis Hendriks v3.0 319-add-subplant-3
CIF TypeEnhancement
- Merged
- 30
- Approved
updated Jan 03, 2024
Draft: Introduce mapapi lanegroup into rls

eclipse/openpass/road-logic-suite!27 · created Dec 25, 2023 by Xiao Pan
- Closed
- 1
updated Feb 21, 2024
#725 Generated CIF simulator debug code misses exit argument for application.run

eclipse/escet/escet!740 · created Dec 25, 2023 by Ferdie Reijnen v3.0
CIF TypeBug
- Merged
- Approved
updated Dec 25, 2023
[#239] Unify settings for all projects

eclipse/subversive/subversive!23 · created Dec 24, 2023 by Alexander Fedorov 5.0.0
- Merged
- 1
updated Dec 24, 2023
[#240] Move all bundles and tests to Java 11 BREE

eclipse/subversive/subversive!22 · created Dec 24, 2023 by Alexander Fedorov 5.0.0
- Merged
- 1
updated Dec 24, 2023
#723 JavaDoc fixes: '{@Link ...}' to '{@link ...}'.

eclipse/escet/escet!739 · created Dec 23, 2023 by Dennis Hendriks v3.0
CIF ToolDef TypeBug
- Merged
- 3
- Approved
updated Dec 24, 2023
#715 JS/HTML codegen: fix calls to various real-typed stdlib functions.

eclipse/escet/escet!738 · created Dec 23, 2023 by Dennis Hendriks v3.0
CIF TypeBug
- Merged
- 2
- Approved
updated Dec 25, 2023
#715 JS/HTML code generation: print model state

eclipse/escet/escet!737 · created Dec 23, 2023 by Dennis Hendriks v3.0
CIF TypeBug
- Merged
- 3
- Approved
updated Dec 24, 2023
#714 CIF state annotations: ensure all state annotations within an automaton are different

eclipse/escet/escet!736 · created Dec 22, 2023 by Dennis Hendriks v3.0
CIF TypeEnhancement
- Merged
- 16
- Approved
updated Jan 03, 2024
Update LICENSE

eclipse/xfsc/tsa/tests!26 · created Dec 22, 2023 by Kalin Canov
- Merged
updated Dec 22, 2023
Functionality of Authorization with Keycloak image

eclipse/xfsc/train/tspa!16 · created Dec 22, 2023 by Isaac Henderson Johnson Jeyakumar
- Merged
- 38
updated Jan 08, 2024
Resolve "[Test] Proof Chains in JSON-LD"

eclipse/xfsc/tsa/tests!25 · created Dec 22, 2023 by Georgi Michev
- Merged
- Approved
updated Dec 22, 2023
Removed deprecation warnings

eclipse/xfsc/train/dns-zone-manager!23 · created Dec 22, 2023 by Juan Vargas
- Merged
updated Jan 16, 2024
#719 Prepare Git repo for v3.0 development

eclipse/escet/escet!735 · created Dec 22, 2023 by Dennis Hendriks v3.0
RelEng/DevOps TypeEnhancement
- Merged
- Approved
updated Dec 22, 2023
Merging challanges from #8 in AIOD look

eclipse/graphene/portal-marketplace!3 · created Dec 22, 2023 by Danial Hezarkhani aiod
- Merged
- Approved
updated Dec 22, 2023
Merging challanges from #8 in KI-NRW look

eclipse/graphene/portal-marketplace!2 · created Dec 22, 2023 by Danial Hezarkhani ki-nrw-lab
- Merged
- Approved
updated Dec 22, 2023
#653 develop to master for v2.0

eclipse/escet/escet!734 · created Dec 22, 2023 by Dennis Hendriks v2.0 master
RelEng/DevOps TypeEnhancement
- Merged
updated Dec 22, 2023
Refactor proof manager

eclipse/xfsc/ocm/ocm-engine!24 · created Dec 22, 2023 by Konstantin Tsabolov
- Merged
updated Jan 25, 2024
Resolve "[Test] Policy Changes Notification"

eclipse/xfsc/tsa/tests!24 · created Dec 22, 2023 by Georgi Michev
- Merged
- Approved
updated Dec 22, 2023
[#212] Update license to EPL 2.0

eclipse/subversive/subversive!21 · created Dec 22, 2023 by Alexander Fedorov 5.0.0
- Merged
- 1
updated Dec 24, 2023