Merge requests · Eclipse Titan

Indentation action fix (issue #500)

titan.EclipsePlug-ins!1367 · created Sep 21, 2022 by Adam Knapp
- Merged
updated Sep 21, 2022
Fixed possible stack overflow

titan.EclipsePlug-ins!1366 · created Sep 16, 2022 by Miklos Magyari
- Merged
updated Sep 16, 2022
Temporarily disabled code minings

titan.EclipsePlug-ins!1365 · created Sep 09, 2022 by Miklos Magyari
- Merged
- Approved
updated Sep 09, 2022
OOP: improvements for classof and class casting part 2

titan.EclipsePlug-ins!1364 · created Sep 08, 2022 by Miklos Magyari
- Merged
- Approved
updated Sep 08, 2022
OOP: improvements for classof and class casting

titan.EclipsePlug-ins!1363 · created Sep 08, 2022 by Miklos Magyari
- Merged
- Approved
updated Sep 08, 2022
Naming of forked processes: message fix (issue #607)

titan.core!274 · created Sep 07, 2022 by Adam Knapp
- Merged
- Approved
updated Sep 07, 2022
Refactored 'of class' operator to an expression

titan.EclipsePlug-ins!1362 · created Sep 07, 2022 by Miklos Magyari
- Merged
- Approved
updated Sep 07, 2022
Naming of forked processes (issue #499)

titan.EclipsePlug-ins!1361 · created Sep 06, 2022 by Adam Knapp
- Merged
- Approved
updated Sep 06, 2022
Fixing index out of bound exception

titan.EclipsePlug-ins!1360 · created Sep 06, 2022 by Adam Knapp
- Merged
updated Sep 06, 2022
OOP: synch with titan core (15) (issue #487)

titan.EclipsePlug-ins!1359 · created Sep 06, 2022 by Miklos Magyari
- Merged
- Approved
updated Sep 06, 2022
Removed ClassOfExpression; minor OfClass value improvements

titan.EclipsePlug-ins!1358 · created Sep 06, 2022 by Miklos Magyari
- Merged
- Approved
updated Sep 06, 2022
OOP: synch with titan core (14) (issue #487)

titan.EclipsePlug-ins!1357 · created Sep 02, 2022 by Miklos Magyari
- Merged
- Approved
updated Sep 02, 2022
OOP: synch with titan core (13) (issue #487)

titan.EclipsePlug-ins!1356 · created Sep 01, 2022 by Miklos Magyari
- Merged
- Approved
updated Sep 01, 2022
OOP: improvements for select class statements

titan.EclipsePlug-ins!1355 · created Sep 01, 2022 by Miklos Magyari
- Merged
- Approved
updated Sep 01, 2022
Not_a_number related bugfix 2 (issue #498)

titan.EclipsePlug-ins!1354 · created Aug 30, 2022 by Adam Knapp
- Merged
updated Aug 30, 2022
Not_a_number bugfix 2 (issue #622)

titan.core!273 · created Aug 29, 2022 by Adam Knapp
- Merged
- Approved
updated Aug 29, 2022
Not_a_number related bugfix (issue #498)

titan.EclipsePlug-ins!1353 · created Aug 29, 2022 by Adam Knapp
- Merged
updated Aug 29, 2022
Not_a_number related bugfix (issue #622)

titan.core!272 · created Aug 29, 2022 by Adam Knapp
- Merged
- Approved
updated Aug 29, 2022
Over-indexing bugfix (issue #631)

titan.core!271 · created Aug 29, 2022 by Adam Knapp
- Merged
- Approved
updated Aug 29, 2022
Over-indexing bugfix (issue #497)

titan.EclipsePlug-ins!1352 · created Aug 29, 2022 by Adam Knapp
- Merged
updated Aug 29, 2022