[pkgsrc/trunk]: pkgsrc/lang/maude Updated maude to 2.3.

To: pkgsrc-changes-hg%NetBSD.org@localhost
Subject: [pkgsrc/trunk]: pkgsrc/lang/maude Updated maude to 2.3.
From: rillig <rillig%pkgsrc.org@localhost>
Date: Thu, 14 Oct 2021 05:33:18 +0000
details:   https://anonhg.NetBSD.org/pkgsrc/rev/0373d73c02ce
branches:  trunk
changeset: 536021:0373d73c02ce
user:      rillig <rillig%pkgsrc.org@localhost>
date:      Sat Dec 01 13:15:55 2007 +0000

description:
Updated maude to 2.3.

Overview of Changes in Maude alpha88f
=====================================
* added commutative unification
* fixed free theory instantiation bug
* fixed sort calculation of S_Theory terms bug
* fixed unification with too many variables bug
* added iter theory unification

Overview of Changes in Maude alpha88e
=====================================
* string, qid and float constants allowed in unification
* fixed unify f(X, Y) =? f(Y, X)  bug

Overview of Changes in Maude alpha88d
=====================================
* set trace builtin on/off command
* state caching in strategy language
* first suppport for unification

Overview of Changes in Maude alpha88c
=====================================
* extra advisories in metalevel
* min/max operators in FLOAT
* slight change to search semantics
* metalevel projection functions now support parameterized metamodules
* fixed kind printing bug in metaPrettyPrint()
* erwrite supports limit and continue

Overview of Changes in Maude alpha88b
=====================================
* minor syntactic changes to appease gcc 4.1
* minor importation changes in prelude.maude and model-checker.maude
* fixed extension tracing bugs in search/model checker, strategy
  language and metalevel
* revised/extended strategy language; cont now works with srew
* fixed trace condition bug

Overview of Changes in Maude alpha88a
=====================================
* many changes to the prelude to fix unsoundness concerns
* process based reimplementation of strategy language
* better overparsing for operator declarations
* fixed bug with views mapping to terms from FLOAT/STRING/QID
* fixed bug in AU unique collapse matcher
* fixed bug that allowed parsing of parameterized theories
* fixed upModule() bug affecting renamings
* fixed metaXmatch() kind bug introduced by alpha86 fix
* subset tests for SET and SET*
* predefined term ordering module

Overview of Changes in Maude alpha88
====================================
* fixed more sufficient completeness issues
* search command now takes a depth bound
* added metaNormalize()
* added machine ints module

Overview of Changes in Maude alpha87a
=====================================
* fixed bug in ! strategy combinator
* fixed long standing bug in look up code for assoc ops

Overview of Changes in Maude alpha87
====================================
* crude first version of strategy language

Overview of Changes in Maude 2.2 (alpha86e)
===========================================
* fixed long standing metalevel prec bug

Overview of Changes in Maude alpha86d2
======================================
* reorganized metalevel list sorts to fix sufficient completeness
  problem

Overview of Changes in Maude alpha86d
=====================================
* fixed stale pointer bug in view reevaluation
* minor fixes to prelude.maude
* fixed uninitialized format attribute bug
* fixed parameter theory module expression memory leak
* fixed polymorph identity memory leak
* fixed polymorph identity processing bug
* added and used QID-SET fmod
* fixed metamodule cache deletion bug
* sortLeq and lesserSort now work on types

Overview of Changes in Maude alpha86c
=====================================
* improved recovery from surface syntax errors
* added DEFAULT fth, various views and ARRAY fmod
* added LIST-AND-SET fmod
* added linear Diophantine solver
* warn about object level duplicate attributes
* fixed backquote in created module name bug
* fixed view ACU op->term mapping bug
* added -no-wrap command line option
* disallow parameter passing in nonfinal instantiations
* allow renaming of modules with bound parameters

Overview of Changes in Maude alpha86b
=====================================
* module garbage collection bug fixed
* metasummation bug fixed
* target modules with free parameters no longer allowed in views
* illegal importations no longer tolerated
* views can no longer map module defined stuff
* renamings can no longer map parameter defined stuff
* operator mappings now allowed in views
* dependency tracking supports views
* meta support for parameterization
* identity elements added for various structures in prelude

Overview of Changes in Maude alpha86a
=====================================
* fixed parameter checking bug for modules with both free and bound
  parameters
* structured sorts printed correctly in various places
* theory-views now pushed into parameterized sorts
* new naming convention for otf modules
* bound parameter instantiation now handled like Full Maude
* -no-advise command line flag
* declined messages to external objects generate advisories

Overview of Changes in Maude alpha86
====================================
* fixed loop mode \/ bug
* metaPrettyPrint() now supports options
* preregularity and constructor consistancy errors now produce a
  single informative warning
* set trace rewrite and set trace body options
* fixed metaXmatch() kind clash bug
* SO_REUSEADDR flag set on server sockets
* first attempt at parameterization in module system

Overview of Changes in Maude alpha85a
=====================================
* fixed more sufficient completeness issues in the prelude
* metadata attribute now allowed for operator declarations
* added crude support for sockets as external objects

Overview of Changes in Maude alpha85
====================================
* added min/max functions to number hierarchy
* fixed bug in up'ing FloatOpSymbol hook
* fixed sufficient completeness issues in the prelude
* fixed a bug in up'ing terms which gave kind variables the wrong
  sort
* glbSorts() now handles kinds
* show profile now includes percentages
* show path labels command added
* metaSearchPath() added
* set clear rules on/off command added
* maximalAritySet() added

Overview of Changes in Maude alpha84d
=====================================
* fixed 0.0 ^ -1.0 bug
* module selectors now support theories

Overview of Changes in Maude alpha84c
=====================================
* added random number generation
* added counters
* trace applications in metaApply()/metaXapply()

diffstat:

 lang/maude/Makefile         |  13 +++++++------
 lang/maude/PLIST            |  14 ++++++++++----
 lang/maude/distinfo         |  10 ++++------
 lang/maude/patches/patch-aa |  13 -------------
 lang/maude/patches/patch-ad |  13 -------------
 5 files changed, 21 insertions(+), 42 deletions(-)

diffs (102 lines):

diff -r 06bade7870b5 -r 0373d73c02ce lang/maude/Makefile
--- a/lang/maude/Makefile       Sat Dec 01 13:06:32 2007 +0000
+++ b/lang/maude/Makefile       Sat Dec 01 13:15:55 2007 +0000
@@ -1,9 +1,8 @@
-# $NetBSD: Makefile,v 1.17 2006/05/21 02:21:52 wiz Exp $
+# $NetBSD: Makefile,v 1.18 2007/12/01 13:15:55 rillig Exp $
 #
 
-DISTNAME=      Maude-2.1.1
-PKGNAME=       ${DISTNAME:S/M/m/}
-PKGREVISION=   1
+DISTNAME=      Maude-2.3
+PKGNAME=       maude-2.3
 CATEGORIES=    lang
 MASTER_SITES=  http://maude.cs.uiuc.edu/download/ \
                http://maude.cs.uiuc.edu/download/current/
@@ -12,11 +11,13 @@
 HOMEPAGE=      http://maude.cs.uiuc.edu/
 COMMENT=       System for equational and rewriting logic specification/programming
 
+GNU_CONFIGURE= YES
 USE_LANGUAGES= c c++
 USE_TOOLS+=    flex bison
+INSTALLATION_DIRS_FROM_PLIST=yes
 
-GNU_CONFIGURE= YES
-CONFIGURE_ARGS+=       --datadir=${PREFIX}/share/maude
+post-install:
+       cd ${WRKSRC}/src/Main && ${INSTALL_DATA} *.maude ${PREFIX}/share/examples/maude
 
 .include "../../devel/buddy/buildlink3.mk"
 .include "../../devel/gmp/buildlink3.mk"
diff -r 06bade7870b5 -r 0373d73c02ce lang/maude/PLIST
--- a/lang/maude/PLIST  Sat Dec 01 13:06:32 2007 +0000
+++ b/lang/maude/PLIST  Sat Dec 01 13:15:55 2007 +0000
@@ -1,5 +1,11 @@
-@comment $NetBSD: PLIST,v 1.3 2005/10/14 19:54:39 tonio Exp $
+@comment $NetBSD: PLIST,v 1.4 2007/12/01 13:15:55 rillig Exp $
 bin/maude
-share/maude/model-checker.maude
-share/maude/prelude.maude
-@dirrm share/maude
+share/examples/maude/linear.maude
+share/examples/maude/machine-int.maude
+share/examples/maude/model-checker.maude
+share/examples/maude/model-checker.maude
+share/examples/maude/prelude.maude
+share/examples/maude/prelude.maude
+share/examples/maude/socket.maude
+share/examples/maude/term-order.maude
+@dirrm share/examples/maude
diff -r 06bade7870b5 -r 0373d73c02ce lang/maude/distinfo
--- a/lang/maude/distinfo       Sat Dec 01 13:06:32 2007 +0000
+++ b/lang/maude/distinfo       Sat Dec 01 13:15:55 2007 +0000
@@ -1,9 +1,7 @@
-$NetBSD: distinfo,v 1.6 2006/05/02 13:31:55 joerg Exp $
+$NetBSD: distinfo,v 1.7 2007/12/01 13:15:55 rillig Exp $
 
-SHA1 (Maude-2.1.1.tar.gz) = 6433ab534970c65bfdde3ea67d1067ad1c7bd9e3
-RMD160 (Maude-2.1.1.tar.gz) = 22793ee2c339a86e44e49dee56943c8b1099ee0b
-Size (Maude-2.1.1.tar.gz) = 1174764 bytes
-SHA1 (patch-aa) = 41888233aaac6af9d77072c15176c0ad0c274cd7
+SHA1 (Maude-2.3.tar.gz) = 68fbe7f76db1a5a5bb748cb751c5015d60c476d0
+RMD160 (Maude-2.3.tar.gz) = 8c6b67d257468b4910631f4d6d0f2c3a0ff8d995
+Size (Maude-2.3.tar.gz) = 1441239 bytes
 SHA1 (patch-ab) = ff1caa60e4b57dd6a847e28d25efa9be8474f15a
 SHA1 (patch-ac) = d77e8e817cb33c2594eacfa0cb44b20b63e71b8f
-SHA1 (patch-ad) = 2645f9e3cfa25ab2b66121fe76f63025092a387a
diff -r 06bade7870b5 -r 0373d73c02ce lang/maude/patches/patch-aa
--- a/lang/maude/patches/patch-aa       Sat Dec 01 13:06:32 2007 +0000
+++ /dev/null   Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-$NetBSD: patch-aa,v 1.1 2006/05/02 13:31:55 joerg Exp $
-
---- src/Utility/indexedSet.hh.orig     2006-03-19 16:06:06.000000000 +0000
-+++ src/Utility/indexedSet.hh
-@@ -79,7 +79,7 @@ inline int
- IndexedSet<T>::insert(const T& element)
- {
-   pair<typename EltMap::iterator, bool> p =
--    eltMap.insert(EltMap::value_type(element, indexMap.size()));
-+    eltMap.insert(typename EltMap::value_type(element, indexMap.size()));
-   if (p.second)
-     indexMap.push_back(p.first);
-   return p.first->second;
diff -r 06bade7870b5 -r 0373d73c02ce lang/maude/patches/patch-ad
--- a/lang/maude/patches/patch-ad       Sat Dec 01 13:06:32 2007 +0000
+++ /dev/null   Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-$NetBSD: patch-ad,v 1.1 2006/05/02 13:31:55 joerg Exp $
-
---- src/FreeTheory/freeDagNode.hh.orig 2006-05-02 13:15:15.000000000 +0000
-+++ src/FreeTheory/freeDagNode.hh
-@@ -87,7 +87,7 @@ FreeDagNode::FreeDagNode(Symbol* symbol)
-   if (nrArgs > nrWords)
-     {
-       setCallDtor();  // need our dtor called when garbage collected so we can free arg array
--      external = new (DagNode*)[nrArgs];
-+      external = new DagNode*[nrArgs];
-     }
- }
-
Prev by Date: [pkgsrc/trunk]: pkgsrc/mail/claws-mail-notification There is also a Finnish t...
Next by Date: [pkgsrc/trunk]: pkgsrc/lang/camlp5 Add lang/camlp5 version 5.01
Previous by Thread: [pkgsrc/trunk]: pkgsrc/mail/claws-mail-notification There is also a Finnish t...
Next by Thread: [pkgsrc/trunk]: pkgsrc/lang/camlp5 Add lang/camlp5 version 5.01
Indexes:
Home | Main Index | Thread Index | Old Index