Merge requests · Eclipse Projects / Eclipse Titan / titan.core

Modified default JDK path (JDKDIR variable)

!21 · created Apr 04, 2016 by Eclipse Webmaster
- Closed
- 0
updated Apr 04, 2016
modified after internal review

!76 · created Jun 02, 2016 by Jeno Attila Balasko
- Merged
- 0
updated Jun 02, 2016
Minor name changes in negative conformance tests

!107 · created Apr 06, 2017 by Eclipse Webmaster
- Merged
- 1
updated Apr 06, 2017
minor formatting for port

!132 · created Aug 17, 2018 by Eclipse Webmaster
- Merged
- 0
updated Aug 17, 2018
Minor fixes in SoC_TITAN document and added a missing test

!126 · created Apr 25, 2018 by Eclipse Webmaster
- Merged
- 1
updated Apr 25, 2018
Minor addition to the compilation warning fix

!297 · created Jan 11, 2023 by Botond Baranyi
- Merged
- Approved
- 0
updated Jan 11, 2023
migration into gitlab and typos and cygwin update

!165 · created May 12, 2021 by Jeno Attila Balasko
- Merged
- +2
- Approved
- 0
updated May 12, 2021
Merge pull request #1 from eclipse/master

!14 · created Mar 25, 2016 by Eclipse Webmaster
- Closed
- 0
updated Mar 25, 2016
Merge pull request #1 from eclipse/master

!11 · created Mar 24, 2016 by Eclipse Webmaster
- Closed
- 1
updated Mar 24, 2016
Merge pull request #1 from eclipse/master

!3 · created Mar 02, 2016 by Eclipse Webmaster
- Closed
- 2
updated Mar 03, 2016
Makefile changes to protect original compiler flags

!81 · created Jul 05, 2016 by Eclipse Webmaster
- Merged
- 1
updated Jul 05, 2016
Made location information for parameter default value assignments more accurate (issue #581)

!237 · created Mar 17, 2022 by Botond Baranyi
- Merged
- Approved
- 0
updated Mar 18, 2022
log result when TC finishes with verdict inconc

!143 · created Nov 30, 2018 by Eclipse Webmaster
- Merged
- 2
updated Dec 03, 2018
Link updates in the documents &1

!163 · created May 12, 2021 by Adam Knapp
Documentation
- Merged
- Approved
- 1
- 0
updated May 12, 2021
libedit-devel added to package list

!146 · created Oct 26, 2020 by Eclipse Webmaster
- Merged
- Approved
- 1
updated Oct 26, 2020
Lengthto fix (issue #554)

!266 · created Jul 07, 2022 by Adam Knapp
- Merged
- Approved
- 0
updated Jul 07, 2022
Legacy switch added for unions with unbound selected alternatives (ar…

!27 · created Apr 06, 2016 by Eclipse Webmaster
- Merged
- 1
updated Apr 06, 2016
just editorial change

!28 · created Apr 07, 2016 by Jeno Attila Balasko
- Merged
- 1
updated Apr 07, 2016
Just a test

!17 · created Mar 30, 2016 by Eclipse Webmaster
- Merged
- 1
updated Mar 30, 2016
JSON dec: implemented the 'default' attribute defined in the standard CR 7968 (issue #547)

!166 · created May 18, 2021 by Botond Baranyi
- Merged
- +3
- Approved
- 0
updated May 18, 2021