alpha160

ChangeLog

@@ -1,7 +1,28 @@
+2024-04-16  Steven Eker  <eker@pup>
+
+	* tests/BuiltIn/stringOps.maude: added
+
+2024-04-08  Steven Eker  <eker@pup>
+
+	* tests/Misc/initialEqualityPredicate.maude: added more examples
+
+2024-04-01  Steven Eker  <eker@pup>
+
+	* INSTAL: remove refs to gmp-6.2.1
+
+	* tests/ResolvedBugs/stringToRatConversionMarch2024.maude: added
+
+2024-03-19  Steven Eker  <eker@pup>
+
+	* INSTALL: update GMP section on the register x18 issue
+
+==================================Maude160===========================================
+
 2024-03-19  Steven Eker  <eker@pup>
 
 	* README.md: updated web links
 
+
 2024-03-13  Steven Eker  <eker@pup>
 
 	* README.md: added Maude 3.4 details

INSTALL

@@ -87,8 +87,8 @@ make install
 GMP
 ---
 curl -LJO https://gmplib.org/download/gmp/gmp-6.3.0.tar.xz
-tar xvf gmp-6.2.1.tar.xz
-cd gmp-6.2.1
+tar xvf gmp-6.3.0.tar.xz
+cd gmp-6.3.0
 mkdir Opt
 cd Opt
 
@@ -240,9 +240,12 @@ make install
 
 GMP
 ---
-curl -LJO https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz
-tar xvf gmp-6.2.1.tar.xz
-cd gmp-6.2.1
+Note that 6.3.0 or later is needed for Apple silicon because of the
+register x18 issue.
+
+curl -LJO https://gmplib.org/download/gmp/gmp-6.3.0.tar.xz
+tar xvf gmp-6.3.0.tar.xz
+cd gmp-6.3.0
 mkdir HighSierra
 cd HighSierra
 

NEWS

@@ -1,7 +1,17 @@
+Overview of Changes in alpha160 (2023-05-02)
+============================================
+* initial equality operator handles more cases
+* fixed bug in rat() string to rational conversion operator
+* extra built-in operators on characters and strings
+* fixed build issue on 32-bit platforms
+* fixed potential memory corruption in vu-narrow
+* check for unsafe variable names in vu-narrow
+* allow term disjunctions in vu-narrow at the object level
+
 Overview of Changes in Maude 3.4 (alpha159) (2023-03-19)
 ========================================================
 * set print latex on/off command
-* fixed loop mode latex bug
+* fixed loop mode LaTeX bug
 
 Overview of Changes in Maude 3.4 beta (alpha158) (2023-03-12)
 =============================================================

configure

@@ -1,6 +1,6 @@
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.
-# Generated by GNU Autoconf 2.69 for Maude 3.4.
+# Generated by GNU Autoconf 2.69 for Maude alpha160.
 #
 # Report bugs to <[email protected]>.
 #
@@ -580,8 +580,8 @@ MAKEFLAGS=
 # Identity of this package.
 PACKAGE_NAME='Maude'
 PACKAGE_TARNAME='maude'
-PACKAGE_VERSION='3.4'
-PACKAGE_STRING='Maude 3.4'
+PACKAGE_VERSION='alpha160'
+PACKAGE_STRING='Maude alpha160'
 PACKAGE_BUGREPORT='[email protected]'
 PACKAGE_URL=''
 
@@ -1312,7 +1312,7 @@ if test "$ac_init_help" = "long"; then
   # Omit some internal or obsolete options to make the list less imposing.
   # This message is too long to be a string in the A/UX 3.1 sh.
   cat <<_ACEOF
-\`configure' configures Maude 3.4 to adapt to many kinds of systems.
+\`configure' configures Maude alpha160 to adapt to many kinds of systems.
 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 
@@ -1383,7 +1383,7 @@ fi
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in
-     short | recursive ) echo "Configuration of Maude 3.4:";;
+     short | recursive ) echo "Configuration of Maude alpha160:";;
    esac
   cat <<\_ACEOF
 
@@ -1490,7 +1490,7 @@ fi
 test -n "$ac_init_help" && exit $ac_status
 if $ac_init_version; then
   cat <<\_ACEOF
-Maude configure 3.4
+Maude configure alpha160
 generated by GNU Autoconf 2.69
 
 Copyright (C) 2012 Free Software Foundation, Inc.
@@ -2013,7 +2013,7 @@ cat >config.log <<_ACEOF
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.
 
-It was created by Maude $as_me 3.4, which was
+It was created by Maude $as_me alpha160, which was
 generated by GNU Autoconf 2.69.  Invocation command line was
 
   $ $0 $@
@@ -2962,7 +2962,7 @@ fi
 
 # Define the identity of the package.
  PACKAGE='maude'
- VERSION='3.4'
+ VERSION='alpha160'
 
 
 cat >>confdefs.h <<_ACEOF
@@ -6623,7 +6623,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
 # report actual input values of CONFIG_FILES etc. instead of their
 # values after options handling.
 ac_log="
-This file was extended by Maude $as_me 3.4, which was
+This file was extended by Maude $as_me alpha160, which was
 generated by GNU Autoconf 2.69.  Invocation command line was
 
   CONFIG_FILES    = $CONFIG_FILES
@@ -6689,7 +6689,7 @@ _ACEOF
 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
 ac_cs_version="\\
-Maude config.status 3.4
+Maude config.status alpha160
 configured by $0, generated by GNU Autoconf 2.69,
   with options \\"\$ac_cs_config\\"
 

configure.ac

@@ -3,7 +3,7 @@
 #
 #	Initialize autoconf stuff.
 #
-AC_INIT(Maude, 3.4, [[email protected]])
+AC_INIT(Maude, alpha160, [[email protected]])
 #
 #	Allow directory names that look like macros.
 #

doc/Makefile.am

@@ -27,4 +27,5 @@ EXTRA_DIST = \
 	alpha156.txt \
 	alpha157.txt \
 	alpha158.txt \
-	alpha159.txt
+	alpha159.txt \
+	alpha160.txt

doc/Makefile.in

@@ -259,7 +259,8 @@ EXTRA_DIST = \
 	alpha156.txt \
 	alpha157.txt \
 	alpha158.txt \
-	alpha159.txt
+	alpha159.txt \
+	alpha160.txt
 
 all: all-am