Merge requests · Eclipse Titan

Slight improvements to the broadcast test (#765)

titan.core!535 · created May 15, 2025 by Botond Baranyi
Standard uplift
updated May 15, 2025
Slight improvements to the broadcast test (#765)

titan.core!534 · created May 15, 2025 by Botond Baranyi
- Closed
updated May 15, 2025
Slight improvements to the broadcast test (#765)

titan.core!533 · created May 15, 2025 by Botond Baranyi
- Closed
updated May 15, 2025
small code refactoring after code review

titan.EclipsePlug-ins!19 · created Apr 22, 2016 by Jeno Attila Balasko
- Merged
- 1
updated Apr 22, 2016
small editorial change

titan.core!70 · created May 26, 2016 by Jeno Attila Balasko
- Merged
updated May 26, 2016
small editorial change only

titan.EclipsePlug-ins!16 · created Apr 20, 2016 by Jeno Attila Balasko
- Merged
- 1
updated Apr 20, 2016
Small fixes to sequence/set PER encoding (issue #691)

titan.core!335 · created May 31, 2023 by Botond Baranyi
- Merged
- Approved
updated May 31, 2023
small printout correction

titan.EclipsePlug-ins!34 · created Apr 29, 2016 by Jeno Attila Balasko
- Merged
- 1
updated Apr 29, 2016
Solaris 10 x86 definition conflict. #undef ERR (req: Thomas Herrlin)

titan.core!33 · created Apr 14, 2016 by Jeno Attila Balasko
- Merged
updated Apr 14, 2016
Some cleanup and removal of deprecated type

titan.language-server!158 · created May 04, 2023 by Miklos Magyari
- Merged
- Approved
updated May 04, 2023
Some code cleanup

titan.EclipsePlug-ins!1380 · created Dec 08, 2022 by Adam Knapp
- Merged
updated Dec 08, 2022
Some code smell fixes (issue #56)

titan.language-server!582 · created Oct 24, 2024 by Adam Knapp
- Merged
updated Oct 25, 2024
Some fixes and improvements of selective code splitting and selective code splitting for TPDs (issue #695)

titan.core!402 · created Mar 13, 2024 by Adam Knapp
- Merged
- Approved
updated Mar 13, 2024
some fixes in universal charstring and in patterns

titan.EclipsePlug-ins!482 · created Apr 05, 2019 by Eclipse Webmaster
- Merged
updated Apr 05, 2019
Some formatting improvements of documents

titan.EclipsePlug-ins!1151 · created May 05, 2022 by Adam Knapp
Documentation
- Merged
updated May 05, 2022
Some improvements and fixes (issue #67 #68)

titan.language-server!621 · created Dec 12, 2024 by Adam Knapp
- Merged
updated Dec 12, 2024
some improvements in reference rule

titan.EclipsePlug-ins!537 · created Jul 23, 2019 by Eclipse Webmaster
- Merged
updated Jul 23, 2019
Some improvements of docs

titan.EclipsePlug-ins!603 · created Nov 09, 2020 by Eclipse Webmaster
- Merged
- Approved
updated Nov 10, 2020
Some improvements of proposals (issue #459)

titan.EclipsePlug-ins!989 · created Jan 31, 2022 by Adam Knapp
IDE
- Merged
updated Jan 31, 2022
Some improvements of the docs

titan.EclipsePlug-ins!687 · created Jul 02, 2021 by Adam Knapp
Documentation Plug-ins
updated Jul 02, 2021