Merge requests · Eclipse Titan

OOP: synch with titan core (16) (issue #487)

titan.language-server!23 · created Jan 27, 2023 by Miklos Magyari
- Merged
- Approved
updated Jan 27, 2023
Added file decoration and user notification on tpdView (issue #5)

titan.vs-code-extension!14 · created Jan 27, 2023 by Csilla Farkas
- Merged
updated Jan 27, 2023
OOP: synch with titan core (16) (issue #487)

titan.EclipsePlug-ins!1384 · created Jan 27, 2023 by Miklos Magyari
- Merged
- Approved
updated Jan 27, 2023
Added activate/deactivate tpd file feature (issue #5)

titan.vs-code-extension!13 · created Jan 26, 2023 by Csilla Farkas
- Merged
updated Jan 26, 2023
Refactor TpdTreeProvider (issue #5)

titan.vs-code-extension!12 · created Jan 25, 2023 by Csilla Farkas
- Merged
updated Jan 26, 2023
Send request only for known file types (issue #4)

titan.vs-code-extension!11 · created Jan 25, 2023 by Csilla Farkas
- Merged
updated Jan 25, 2023
Added file/folder exclude (issue #5)

titan.vs-code-extension!10 · created Jan 23, 2023 by Csilla Farkas
- Merged
- Approved
updated Jan 23, 2023
Correcting tests for newer versions of libxml2 part2

titan.core!301 · created Jan 18, 2023 by Adam Knapp
- Merged
- Approved
updated Jan 18, 2023
Correcting tests for newer version of libxml2

titan.core!300 · created Jan 16, 2023 by Adam Knapp
- Merged
- Approved
updated Jan 16, 2023
Implemented shifting and rotation operations for string elements (#510)

titan.EclipsePlug-ins!1383 · created Jan 12, 2023 by Adam Knapp
- Merged
updated Jan 12, 2023
Do not try to use the NULL pointer

titan.core!299 · created Jan 12, 2023 by Gábor Szalai
- Merged
- Approved
updated Jan 12, 2023
Copyright update to 2023

titan.language-server!22 · created Jan 11, 2023 by Adam Knapp
- Merged
updated Jan 12, 2023
Copyright update to 2023

titan.misc!67 · created Jan 11, 2023 by Adam Knapp
- Merged
updated Jan 12, 2023
Copyright update to 2023

titan.ObjectOriented.StandardCollections!2 · created Jan 11, 2023 by Adam Knapp
- Merged
updated Jan 12, 2023
Copyright update to 2023

titan.core!298 · created Jan 11, 2023 by Adam Knapp
- Merged
- Approved
updated Jan 11, 2023
Copyright update to 2023

titan.EclipsePlug-ins!1382 · created Jan 11, 2023 by Adam Knapp
- Merged
updated Jan 11, 2023
Copyright update to 2023

titan.vs-code-extension!9 · created Jan 11, 2023 by Adam Knapp
- Merged
updated Jan 11, 2023
Updating git url

titan.vs-code-extension!8 · created Jan 11, 2023 by Adam Knapp
- Merged
updated Jan 11, 2023
Minor addition to the compilation warning fix

titan.core!297 · created Jan 11, 2023 by Botond Baranyi
- Merged
- Approved
updated Jan 11, 2023
Fixed some compilation warnings

titan.core!296 · created Jan 10, 2023 by Botond Baranyi
- Merged
- Approved
updated Jan 10, 2023