Merge requests · Eclipse Titan

Fixes to port reference checking (issue #641)

titan.core!395 · created Feb 28, 2024 by Botond Baranyi
Standard uplift
- Merged
- Approved
updated Feb 29, 2024
Fixes the bug that comes to be when the number of parallel processing units is...

titan.EclipsePlug-ins!918 · created Dec 26, 2021 by Kristof Szabados
- Merged
updated Dec 26, 2021
fixes log into multiple files

titan.EclipsePlug-ins!394 · created Jun 22, 2018 by Eclipse Webmaster
- Merged
updated Jun 23, 2018
fixes in result type and sending

titan.misc!21 · created Jul 26, 2021 by Gergo Ujhelyi
- Merged
- Approved
updated Jul 27, 2021
fixes in per n rules

titan.EclipsePlug-ins!534 · created Jul 18, 2019 by Eclipse Webmaster
- Merged
updated Jul 18, 2019
fixes in module parameter and more set_param functions

titan.EclipsePlug-ins!439 · created Oct 15, 2018 by Eclipse Webmaster
- Merged
- Approved
updated Oct 16, 2018
fixes in lexer

titan.EclipsePlug-ins!531 · created Jul 16, 2019 by Eclipse Webmaster
- Merged
updated Jul 16, 2019
fixes in integer raw encode/decode

titan.EclipsePlug-ins!355 · created Apr 05, 2018 by Eclipse Webmaster
- Merged
- Approved
updated Apr 05, 2018
fixes in enum and record generator

titan.EclipsePlug-ins!377 · created May 28, 2018 by Eclipse Webmaster
- Merged
- Approved
updated May 28, 2018
Fixes in code completion

titan.language-server!311 · created Sep 14, 2023 by Csilla Farkas
- Merged
updated Sep 15, 2023
Fixes for the reserved word use code smell

titan.language-server!484 · created Jun 21, 2024 by Miklos Magyari
- Merged
- Approved
updated Jun 21, 2024
fixes for text2ttcn

titan.EclipsePlug-ins!501 · created May 09, 2019 by Eclipse Webmaster
- Merged
updated May 09, 2019
Fixes for supporting incremental project parsing

titan.language-server!41 · created Feb 06, 2023 by Miklos Magyari
- Merged
- Approved
updated Feb 06, 2023
Fixes for semantic modifiers

titan.language-server!77 · created Feb 21, 2023 by Miklos Magyari
- Merged
- Approved
updated Feb 21, 2023
Fixes for selective code splitting feature (issue #695 #726)

titan.core!437 · created May 31, 2024 by Adam Knapp
- Merged
- Approved
updated May 31, 2024
fixes for patterns

titan.EclipsePlug-ins!526 · created Jul 08, 2019 by Eclipse Webmaster
- Merged
updated Jul 08, 2019
Fixes for hover info feature

titan.EclipsePlug-ins!937 · created Jan 10, 2022 by Adam Knapp
IDE
- Merged
updated Jan 10, 2022
Fixes for counting references

titan.language-server!90 · created Feb 23, 2023 by Miklos Magyari
- Merged
- Approved
updated Feb 23, 2023
Fixes for configuration and project build

titan.language-server!87 · created Feb 23, 2023 by Miklos Magyari
- Merged
- Approved
updated Feb 23, 2023
Fixes and improvements related to location (issue #56 #59)

titan.language-server!535 · created Sep 24, 2024 by Adam Knapp
- Merged
updated Sep 25, 2024