Release 1.2.7.1 (#317)

* Release 1.2.7.1

* Move codename to gradle.properties

* Fix help parsing of config version

Author: lupino3

CHANGELOG.md

@@ -1,11 +1,9 @@
 # EduMIPS64 ChangeLog
 
-## 1.2.8 () - ?
-### Added
-
+## 1.2.7.1 (13/04/2020) - Hope
 ### Fixed
-
-### Changed
+- div.d incorrectly emits SEVERE logging statement (Issue #315)
+- Issues with v1.2.7 packages (Issue #311)
 
 ## 1.2.7 (11/04/2020) - Hope
 ### Fixed

RELEASE_NOTES.md

@@ -1,16 +1,14 @@
-# EduMIPS64 version 1.2.7
+# EduMIPS64 version 1.2.7.1
 
-*11th of April, 2020*
+*13th of April, 2020*
 
 EduMIPS64 is a GPL MIPS64 Instruction Set Architecture (ISA) simulator and graphical debugger.
 
 ## Notes for this release:
 
-This is version 1.2.7 of EduMIPS64, a bug-fix release. Its codename is Hope, because that's what helps us during the COVID-19 lockdown, and also as a reference to the upcoming Easter.
+This is version 1.2.7.1 of EduMIPS64, a minor bug-fix release. Its codename is Hope, because that's what helps us during the COVID-19 lockdown, and also as a reference to the upcoming Easter.
 
-This release most notably fixes issue #308, which exposed 2 bugs related to EduMIPS64's FPU.
-
-We are now using GitHub Actions instead of Azure Pipelines as a CI system.
+This release fixes 2 minor issues introduced in 1.2.7.
 
 Please keep in mind that this is still EXPERIMENTAL SOFTWARE. It may
 BURN YOUR HARD DISK, DESTROY ALL YOUR DATA and even GO OUT WITH YOUR
@@ -22,12 +20,7 @@ EduMIPS64 is hosted on GitHub: www.github.com/EduMIPS64/edumips64.
 
 Our web site is www.edumips.org, and our development blog is http://edumips64.blogspot.com.
 
-## New in this release since version 1.2.6
-
+## New in this release since version 1.2.7
 ### Fixed
-- RAW stall in combination with FPU caused instructions to disappear (Issue #304)
-- Some instructions not showing correctly in Cycles UI (Issue #304)
-
-### Changed
-- Using GitHub Actions instead of Azure Pipelines as CI.
-- Added timeouts to tests
+- div.d incorrectly emits SEVERE logging statement (Issue #315)
+- Issues with v1.2.7 packages (Issue #311)

build.gradle.kts

@@ -27,7 +27,7 @@ dependencies {
 application {
   mainClassName = "org.edumips64.Main"  
 }
-val codename = "?"
+val codename: String by project
 val version: String by project
 
 // Specify Java source/target version.

docs/user/common_conf.py

@@ -3,7 +3,7 @@
 # Get the version from build.gradle.kts
 import re
 
-regexp = re.compile(r'version\s*=\s*(\d+\.\d+\.\d+)')
+regexp = re.compile(r'version\s*=\s*(.*)')
 with open('../../../../gradle.properties') as f:
     for line in f:
         if regexp.match(line):

gradle.properties

@@ -1 +1,2 @@
-version=1.2.8
+version=1.2.7.1
+codename="Hope"