Merge requests · Eclipse Titan

rename directory

titan.EclipsePlug-ins!605 · created Nov 13, 2020 by Eclipse Webmaster
- Merged
- 3
updated Nov 13, 2020
Fixing issues of previous pull request

titan.EclipsePlug-ins!616 · created Dec 30, 2020 by Eclipse Webmaster
- Merged
- 1
updated Jan 03, 2021
mctr headless runner improvements

titan.EclipsePlug-ins!620 · created Mar 25, 2021 by Eclipse Webmaster
- Merged
- 2
updated Mar 30, 2021
Exactly the version 4.3 of ANTLR Runtime is required

titan.EclipsePlug-ins!613 · created Dec 08, 2020 by Eclipse Webmaster
- Merged
- 1
updated Dec 08, 2020
activate AdvancedRedirects

titan.EclipsePlug-ins!612 · created Dec 02, 2020 by Eclipse Webmaster
- Merged
updated Dec 02, 2020
timestamp and batch execute

titan.EclipsePlug-ins!614 · created Dec 14, 2020 by Eclipse Webmaster
- Merged
- Approved
updated Dec 15, 2020
Eliminating todos and fixmes

titan.EclipsePlug-ins!615 · created Dec 23, 2020 by Eclipse Webmaster
- Merged
- 1
updated Dec 27, 2020
implement missing mctr cli functions

titan.EclipsePlug-ins!619 · created Feb 12, 2021 by Eclipse Webmaster
- Merged
- 1
updated Feb 15, 2021
add interactive mode to cli

titan.EclipsePlug-ins!610 · created Dec 02, 2020 by Eclipse Webmaster
- Merged
- Approved
updated Dec 02, 2020
activate commProcedure/AdvancedRedirects

titan.EclipsePlug-ins!611 · created Dec 02, 2020 by Eclipse Webmaster
- Closed
updated Dec 02, 2020
Product number and version related improvements

titan.EclipsePlug-ins!609 · created Nov 29, 2020 by Eclipse Webmaster
- Merged
updated Dec 02, 2020
fixed waiting bug in batchmode

titan.EclipsePlug-ins!607 · created Nov 24, 2020 by Eclipse Webmaster
- Merged
updated Nov 27, 2020
add images and sequence charts

titan.EclipsePlug-ins!606 · created Nov 20, 2020 by Eclipse Webmaster
- Merged
- Approved
updated Nov 20, 2020
Minor fix

titan.EclipsePlug-ins!622 · created Apr 14, 2021 by Eclipse Webmaster
- Merged
- 2
updated Apr 19, 2021
If only one of them is null, that will lead to null pointer exception.

titan.EclipsePlug-ins!623 · created Apr 14, 2021 by Eclipse Webmaster
- Merged
- 2
updated Apr 19, 2021
Product identity check updated

titan.EclipsePlug-ins!608 · created Nov 25, 2020 by Eclipse Webmaster
- Merged
updated Nov 27, 2020
Fixed JSON decoding at Java side (bug 568645)

titan.EclipsePlug-ins!604 · created Nov 11, 2020 by Eclipse Webmaster
- Merged
updated Nov 11, 2020
change destroy_all_components

titan.EclipsePlug-ins!600 · created Oct 29, 2020 by Eclipse Webmaster
- Merged
- Approved
updated Oct 29, 2020
Some improvements of docs

titan.EclipsePlug-ins!603 · created Nov 09, 2020 by Eclipse Webmaster
- Merged
- Approved
updated Nov 10, 2020
refactor MainController

titan.EclipsePlug-ins!598 · created Oct 26, 2020 by Eclipse Webmaster
- Merged
- Approved
updated Oct 27, 2020