Update Milestone qualifier
Update milestone qualifier
Frama-C evaluation
Merge pull request #252 from vprevosto/master

Frama-C evaluation
Qualification process description
Merge branch 'master' of github.com:openETCS/toolchain
D7.3 review
Frama-C summary
Merge pull request #255 from vprevosto/master

Frama-C summary
#246 Lowered memory settings
#246 Included JRE in Tycho-Build

There is a feature for every platform including the JRE. The JRE is set in the openETCS.ini via touchpoint instructions. This appraoch allows to update users JRE by updating the feature. Since the JRE is not placed as a root file this mechanism also works in windows machines.
Merge remote-tracking branch 'upstream/master'