Merge requests · Eclipse Titan

Minor improvement to remove an unneccessary method

titan.EclipsePlug-ins!1309 · created Jul 15, 2022 by Miklos Magyari
- Merged
- Approved
updated Jul 15, 2022
Initial implementation of editor breadcrumbs (issue #493)

titan.EclipsePlug-ins!1308 · created Jul 15, 2022 by Miklos Magyari
- Merged
- Approved
updated Jul 15, 2022
Removed obsolete vm argument from regtest launcher

titan.EclipsePlug-ins!1307 · created Jul 14, 2022 by Miklos Magyari
- Merged
- Approved
updated Jul 14, 2022
Implemented visitor accept for dynamic match templates and properties

titan.EclipsePlug-ins!1306 · created Jul 14, 2022 by Miklos Magyari
- Merged
- Approved
updated Jul 14, 2022
Fixed dynamic matching 'value' reference handling

titan.EclipsePlug-ins!1305 · created Jul 14, 2022 by Miklos Magyari
- Closed
updated Jul 14, 2022
Fixed dynamic matching 'value' reference handling

titan.EclipsePlug-ins!1304 · created Jul 14, 2022 by Miklos Magyari
- Closed
updated Jul 14, 2022
Fixed dynamic matching 'value' reference handling

titan.EclipsePlug-ins!1303 · created Jul 14, 2022 by Miklos Magyari
- Merged
- Approved
updated Jul 14, 2022
Fixed semantic tests after error messages change

titan.EclipsePlug-ins!1302 · created Jul 14, 2022 by Miklos Magyari
- Merged
- Approved
updated Jul 14, 2022
Synching class properties with titan core nr. 5

titan.EclipsePlug-ins!1301 · created Jul 14, 2022 by Miklos Magyari
- Merged
- Approved
updated Jul 14, 2022
Fixed scoping issue for property functions

titan.EclipsePlug-ins!1300 · created Jul 14, 2022 by Miklos Magyari
- Merged
- Approved
updated Jul 14, 2022
Synching class properties with titan core nr. 4

titan.EclipsePlug-ins!1299 · created Jul 13, 2022 by Miklos Magyari
- Merged
- Approved
updated Jul 13, 2022
Synching class properties with titan core nr. 4

titan.EclipsePlug-ins!1298 · created Jul 13, 2022 by Miklos Magyari
- Closed
updated Jul 13, 2022
Synching class properties with titan core nr. 3

titan.EclipsePlug-ins!1297 · created Jul 13, 2022 by Miklos Magyari
- Merged
- Approved
updated Jul 13, 2022
getType() is overridden in the base function class

titan.EclipsePlug-ins!1296 · created Jul 12, 2022 by Miklos Magyari
- Merged
- Approved
updated Jul 13, 2022
Synching class properties with titan core nr. 2

titan.EclipsePlug-ins!1295 · created Jul 12, 2022 by Miklos Magyari
- Merged
- Approved
updated Jul 12, 2022
Synching class properties with titan core nr. 1

titan.EclipsePlug-ins!1294 · created Jul 12, 2022 by Miklos Magyari
- Merged
updated Jul 12, 2022
One more try to fix the font disposal issue for Stylers

titan.EclipsePlug-ins!1293 · created Jul 12, 2022 by Miklos Magyari
- Merged
- Approved
updated Jul 12, 2022
More fixes related to font disposal

titan.EclipsePlug-ins!1292 · created Jul 12, 2022 by Miklos Magyari
- Merged
- Approved
updated Jul 12, 2022
Fixing class names (issue #477)

titan.EclipsePlug-ins!1291 · created Jul 11, 2022 by Adam Knapp
- Merged
updated Jul 11, 2022
content assist: renaming constants and classes to better names (issue #477)

titan.EclipsePlug-ins!1290 · created Jul 11, 2022 by Arpad Lovassy
- Merged
- Approved
updated Jul 11, 2022