KIELER Semantics

• 

  Alexander Schulz-Rosengarten 04 Jul 2021 34ac564ea3dd921ec84d525454dab278bbc12a03

  release: Fixed version in cli version file

  • plugins/de.cau.cs.kieler.core/kieler.version (version 34ac564ea3dd921ec84d525454dab278bbc12a03) (diffs)
• 

  Alexander Schulz-Rosengarten 04 Jul 2021 99097d52969546708f92bf6504bfca0990f485a4

  kicool: Added option print version in CLI

  • build/scripts/configure.py (version 99097d52969546708f92bf6504bfca0990f485a4) (diffs)
  • build/scripts/version.py (version 99097d52969546708f92bf6504bfca0990f485a4) (diffs)
  • plugins/de.cau.cs.kieler.core/build.properties (version 99097d52969546708f92bf6504bfca0990f485a4) (diffs)
  • plugins/de.cau.cs.kieler.core/kieler.version (version 99097d52969546708f92bf6504bfca0990f485a4) (diffs)
  • plugins/de.cau.cs.kieler.core/src/de/cau/cs/kieler/core/KielerVersion.xtend (version 99097d52969546708f92bf6504bfca0990f485a4) (diffs)
  • plugins/de.cau.cs.kieler.core/src/de/cau/cs/kieler/core/Platform.xtend (version 99097d52969546708f92bf6504bfca0990f485a4) (diffs)
  • plugins/de.cau.cs.kieler.kicool/src/de/cau/cs/kieler/kicool/cli/KielerCompilerCLI.xtend (version 99097d52969546708f92bf6504bfca0990f485a4) (diffs)