3.2beta

ChangeLog

@@ -1,3 +1,11 @@
+2022-01-25  Steven Eker  <eker@pup>
+
+	* tests/ResolvedBugs/loopModeStateAugust2021.maude: added
+
+	* tests/ResolvedBugs/uninitIterExtSeptember2021.maude: added
+
+===================================Maude137===========================================
+
 2021-06-08  Steven Eker  <eker2@eker10>
 
 	* tests/Misc/directoryTest.maude: added

NEWS

@@ -1,4 +1,14 @@
-Overview of Changes in alpha136
+Overview of Changes in Maude 3.2 beta (alpha137)
+================================================
+* fixed bug in the Yices bindings where constraints were being
+  asserted twice
+* fixed bug in the prelude where projection functions didn't work for
+  parameterized meta-modules
+* fixed bug in the handling of extension information for iter symbols
+* fixed bug in loop mode where it would try to continue using state left
+  over from some incompatible command
+
+Overview of Changes in alpha136 (2021-06-08)
 ============================================
 * file API supports makeLink() message
 * experimental directory API

configure

@@ -1,6 +1,6 @@
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.
-# Generated by GNU Autoconf 2.69 for Maude alpha136.
+# Generated by GNU Autoconf 2.69 for Maude 3.2 beta.
 #
 # Report bugs to <[email protected]>.
 #
@@ -580,8 +580,8 @@ MAKEFLAGS=
 # Identity of this package.
 PACKAGE_NAME='Maude'
 PACKAGE_TARNAME='maude'
-PACKAGE_VERSION='alpha136'
-PACKAGE_STRING='Maude alpha136'
+PACKAGE_VERSION='3.2 beta'
+PACKAGE_STRING='Maude 3.2 beta'
 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 alpha136 to adapt to many kinds of systems.
+\`configure' configures Maude 3.2 beta 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 alpha136:";;
+     short | recursive ) echo "Configuration of Maude 3.2 beta:";;
    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 alpha136
+Maude configure 3.2 beta
 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 alpha136, which was
+It was created by Maude $as_me 3.2 beta, 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='alpha136'
+ VERSION='3.2 beta'
 
 
 cat >>confdefs.h <<_ACEOF
@@ -5840,7 +5840,7 @@ else
 fi
 
 
-ac_config_files="$ac_config_files Makefile src/Makefile src/3rdParty/Makefile src/Utility/Makefile src/Parser/Makefile src/Temporal/Makefile src/Interface/Makefile src/Core/Makefile src/Variable/Makefile src/NA_Theory/Makefile src/ACU_Persistent/Makefile src/ACU_Theory/Makefile src/AU_Persistent/Makefile src/AU_Theory/Makefile src/CUI_Theory/Makefile src/S_Theory/Makefile src/FreeTheory/Makefile src/Higher/Makefile src/BuiltIn/Makefile src/IO_Stuff/Makefile src/ObjectSystem/Makefile src/Meta/Makefile src/FullCompiler/Makefile src/StrategyLanguage/Makefile src/Mixfix/Makefile src/SMT/Makefile src/Main/Makefile tests/Makefile tests/BuiltIn/Makefile tests/Meta/Makefile tests/Misc/Makefile tests/ResolvedBugs/Makefile tests/StrategyLanguage/Makefile"
+ac_config_files="$ac_config_files Makefile src/Makefile src/Utility/Makefile src/Parser/Makefile src/Temporal/Makefile src/Interface/Makefile src/Core/Makefile src/Variable/Makefile src/NA_Theory/Makefile src/ACU_Persistent/Makefile src/ACU_Theory/Makefile src/AU_Persistent/Makefile src/AU_Theory/Makefile src/CUI_Theory/Makefile src/S_Theory/Makefile src/FreeTheory/Makefile src/Higher/Makefile src/BuiltIn/Makefile src/IO_Stuff/Makefile src/ObjectSystem/Makefile src/Meta/Makefile src/FullCompiler/Makefile src/StrategyLanguage/Makefile src/Mixfix/Makefile src/SMT/Makefile src/Main/Makefile tests/Makefile tests/BuiltIn/Makefile tests/Meta/Makefile tests/Misc/Makefile tests/ResolvedBugs/Makefile tests/StrategyLanguage/Makefile"
 
 
 cat >confcache <<\_ACEOF
@@ -6381,7 +6381,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 alpha136, which was
+This file was extended by Maude $as_me 3.2 beta, which was
 generated by GNU Autoconf 2.69.  Invocation command line was
 
   CONFIG_FILES    = $CONFIG_FILES
@@ -6406,9 +6406,9 @@ esac
 
 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
 # Files that config.status was made for.
-config_files="`echo $ac_config_files`"
-config_headers="`echo $ac_config_headers`"
-config_commands="`echo $ac_config_commands`"
+config_files="$ac_config_files"
+config_headers="$ac_config_headers"
+config_commands="$ac_config_commands"
 
 _ACEOF
 
@@ -6447,7 +6447,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 alpha136
+Maude config.status 3.2 beta
 configured by $0, generated by GNU Autoconf 2.69,
   with options \\"\$ac_cs_config\\"
 
@@ -6580,7 +6580,6 @@ do
     "depfiles") CONFIG_COMMANDS="$CONFIG_COMMANDS depfiles" ;;
     "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;;
     "src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile" ;;
-    "src/3rdParty/Makefile") CONFIG_FILES="$CONFIG_FILES src/3rdParty/Makefile" ;;
     "src/Utility/Makefile") CONFIG_FILES="$CONFIG_FILES src/Utility/Makefile" ;;
     "src/Parser/Makefile") CONFIG_FILES="$CONFIG_FILES src/Parser/Makefile" ;;
     "src/Temporal/Makefile") CONFIG_FILES="$CONFIG_FILES src/Temporal/Makefile" ;;

configure.ac

@@ -3,7 +3,7 @@
 #
 #	Initialize autoconf stuff.
 #
-AC_INIT(Maude, alpha136, [[email protected]])
+AC_INIT(Maude, 3.2 beta, [[email protected]])
 #
 #	Allow directory names that look like macros.
 #
@@ -386,7 +386,6 @@ AM_CONDITIONAL(BUILD_COMPILER, test $COMPILER = yes)
 
 AC_CONFIG_FILES([Makefile
 	         src/Makefile
-		 src/3rdParty/Makefile
 		 src/Utility/Makefile
 		 src/Parser/Makefile
 		 src/Temporal/Makefile

doc/alpha137.txt

@@ -0,0 +1,34 @@
+Alpha 137 release notes
+========================
+
+Bug fixes
+==========
+(1) A bug in the Yices bindings where constraints were being asserted twice.
+
+(2) A bug in the prelude where projection functions didn't work for
+parameterized meta-modules - found and fixed by Rubén.
+
+(3) A bug in the handling of extension information for iter symbols; illustrated
+by this example from Rubén:
+
+mod UNINITIALIZED-BUG is
+  protecting NAT .
+  vars N M : Nat .
+  crl [rwc] : s N => M if N => M [nonexec] .
+endm
+
+srew 3 using rwc{idle} .
+
+Here two solutions are produced but only one is valid.
+
+(4) A bug in loop mode where it would try to continue using state left
+over from some incompatible command. Reported by Rubén and provoked by:
+
+search 0 =>* 0 .
+(restart loop mode)
+
+
+Other changes
+==============
+(1) std::mt19937 is used instead of having 3rdParty/MersenneTwister.h in
+the source tree.