./lang/maude, System for equational and rewriting logic specification/programming

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 2.6, Package name: maude-2.6, Maintainer: kristerw

Maude is a high-performance reflective language and system supporting both
equational and rewriting logic specification and programming for a wide
range of applications.
Maude has been influenced in important ways by the OBJ3 language, which can
be regarded as an equational logic sublanguage.
Besides supporting equational specification and programming, Maude also
supports rewriting logic computation.


Required to run:
[devel/libsigsegv] [devel/gmp] [devel/buddy] [devel/libtecla]

Required to build:
[pkgtools/cwrappers]

Master sites:

SHA1: 3f1ec2f39a22942bb096102d1d8d6eed4510483e
RMD160: a9387701016e04ba4a256c3db8c9f10195147183
Filesize: 1562.525 KB

Version history: (Expand)


CVS history: (Expand)


   2018-07-18 02:06:25 by Joerg Sonnenberger | Files touched by this commit (168)
Log message:
Mark packages that require C++03 (or the GNU variants) if they fail with
C++14 default language.
   2017-01-19 19:52:30 by Alistair G. Crooks | Files touched by this commit (352)
Log message:
Convert all occurrences (353 by my count) of

	MASTER_SITES= 	site1 \
			site2

style continuation lines to be simple repeated

	MASTER_SITES+= site1
	MASTER_SITES+= site2

lines. As previewed on tech-pkg. With thanks to rillig for fixing pkglint
accordingly.
   2016-12-17 14:38:55 by Roland Illig | Files touched by this commit (1)
Log message:
Fixed pkglint warnings.
   2015-11-03 23:50:46 by Alistair G. Crooks | Files touched by this commit (194)
Log message:
Add SHA512 digests for distfiles for lang category

Problems found with existing digests:
	Package nhc98 distfile nhc98src-1.22.tar.gz
	a8adc8f22371998ee0657bc0e01058a57d876abc [recorded]
	81975fcb5f1dda5efeaabc30ce8c6dceae55e591 [calculated]

Problems found locating distfiles:
	Package gcc-aux: missing distfile ada-bootstrap.i386.dragonfly.36A.tar.bz2
	Package gcc-aux: missing distfile ada-bootstrap.i386.freebsd.84.tar.bz2
	Package gcc-aux: missing distfile ada-bootstrap.x86_64.dragonfly.36A.tar.bz2
	Package gcc-aux: missing distfile ada-bootstrap.x86_64.freebsd.84.tar.bz2
	Package gcc-aux: missing distfile ada-bootstrap.x86_64.solaris.511.tar.bz2
	Package gcc5-aux: missing distfile ada-bootstrap.i386.dragonfly.36A.tar.bz2
	Package gcc5-aux: missing distfile ada-bootstrap.i386.freebsd.84.tar.bz2
	Package gcc5-aux: missing distfile ada-bootstrap.x86_64.dragonfly.36A.tar.bz2
	Package gcc5-aux: missing distfile ada-bootstrap.x86_64.freebsd.84.tar.bz2
	Package gcc5-aux: missing distfile ada-bootstrap.x86_64.solaris.511.tar.bz2
	Package ghc7: missing distfile ghc-7.6.3-boot-i386-unknown-freebsd.tar.xz
	Package icc11: missing distfile l_cproc_p_11.1.080.tgz
	Package jini: missing distfile jini-1_2_1_001-src.zip
	Package oo2c: missing distfile oo2c_32-2.0.11.tar.bz2
	Package openjdk7: missing distfile \ 
openjdk7/bootstrap-jdk-1.7.76-freebsd-10-amd64-20150301.tar.xz
	Package openjdk7: missing distfile \ 
openjdk7/bootstrap-jdk-1.7.76-netbsd-5-i386-20150301.tar.xz
	Package openjdk7: missing distfile \ 
openjdk7/bootstrap-jdk-1.7.76-netbsd-6-i386-20150301.tar.xz
	Package openjdk7: missing distfile \ 
openjdk7/bootstrap-jdk-1.7.76-netbsd-7-earmv6hf-20150306.tar.xz
	Package openjdk7: missing distfile \ 
openjdk7/bootstrap-jdk-1.7.76-netbsd-7-sparc64-20150301.tar.xz
	Package openjdk7: missing distfile \ 
openjdk7/bootstrap-jdk7u60-bin-dragonfly-3.8-amd64-20140719.tar.bz2
	Package openjdk8: missing distfile \ 
openjdk7/bootstrap-jdk-1.7.76-freebsd-10-amd64-20150301.tar.xz
	Package openjdk8: missing distfile \ 
openjdk7/bootstrap-jdk-1.7.76-netbsd-5-i386-20150301.tar.xz
	Package openjdk8: missing distfile \ 
openjdk7/bootstrap-jdk-1.7.76-netbsd-6-i386-20150301.tar.xz
	Package openjdk8: missing distfile \ 
openjdk7/bootstrap-jdk-1.7.76-netbsd-7-earmv6hf-20150306.tar.xz
	Package openjdk8: missing distfile \ 
openjdk7/bootstrap-jdk-1.7.76-netbsd-7-sparc64-20150301.tar.xz
	Package openjdk8: missing distfile \ 
openjdk7/bootstrap-jdk7u60-bin-dragonfly-3.8-amd64-20140719.tar.bz2
	Package oracle-jdk8: missing distfile jdk-8u60-linux-i586.tar.gz
	Package oracle-jdk8: missing distfile jdk-8u60-solaris-x64.tar.gz
	Package oracle-jre8: missing distfile jre-8u60-linux-i586.tar.gz
	Package oracle-jre8: missing distfile jre-8u60-solaris-x64.tar.gz
	Package sun-jdk6: missing distfile jdk-6u45-linux-i586.bin
	Package sun-jdk6: missing distfile jdk-6u45-solaris-i586.sh
	Package sun-jdk7: missing distfile jdk-7u72-linux-i586.tar.gz
	Package sun-jdk7: missing distfile jdk-7u72-solaris-i586.tar.gz
	Package sun-jre6: missing distfile jce_policy-6.zip
	Package sun-jre6: missing distfile jre-6u45-linux-x64.bin
	Package sun-jre6: missing distfile jre-6u45-solaris-x64.sh
	Package sun-jre7: missing distfile jre-7u72-linux-i586.tar.gz
	Package sun-jre7: missing distfile jre-7u72-solaris-i586.tar.gz

Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.
   2013-11-29 19:30:10 by Joerg Sonnenberger | Files touched by this commit (14)
Log message:
Fix build with newer bison. Don't use <rope> with clang, but fall back
to <string>. Untested for functionality.
   2012-10-02 22:11:57 by Aleksej Saushev | Files touched by this commit (187)
Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
   2011-04-19 21:18:41 by Aleksej Saushev | Files touched by this commit (3) | Package updated
Log message:
Update Maude to version 2.6

This release incorporates mostly optimizations and bug fixes.
Read bundled NEWS for more details.
   2010-05-19 13:55:43 by Aleksej Saushev | Files touched by this commit (3) | Package updated
Log message:
Update to Maude 2.4

==================================
New features and changes since 2.3
==================================

(1) Maude 2.4 provides an order-sorted Ax-unification algorithm for
all order-sorted theories (CSigma, E U Ax) such that:
   - the signature Sigma is preregular modulo Ax;
   - the axioms Ax associated to function symbols are as follows:
        - there can be arbitrary function symbols and constants with
          no equational attributes;
        - the iter equational attribute can be declared for some unary
          symbols;
        - the comm or assoc comm attributes can be declared for some
          binary function symbols, but then no other equational
	  attributes must be given for such symbols.
Explicitly excluded are theories with binary function symbols having
either: (i) the id:, left id:, or right id: attributes; or (ii) the
assoc attribute without the comm one; or (iii) a combination of (i)
and (ii).

(2) Unification is reflected in the META-LEVEL module by two descent
functions:
     op metaUnify : Module UnificationProblem Nat Nat ~>
                                     UnificationPair? [special (...)].
     op metaDisjointUnify : Module UnificationProblem Nat Nat ~>
                                   UnificationTriple? [special (...)].

(3) Statements (rule, equations and membership axioms) can now take a
print attribute. In print attribute mode, when a statement is executed
the items in its print attribute are printed, with variables taking
their value in the current substitution.

(4) Parsing of file names in the commands load, in, cd and pushd now
allows spaces using either of two syntactic conventions:
If the file name starts with " then all following characters will be
taken literally up to the terminating ", line feed or form feed.
If a file name starts with other than ", the following escape
sequences are recognized
   \\	          becomes \
   \<space>       becomes <space>
   \"	          becomes "

(5) For operators in the C, CU, CI and CUI theories, if both arguments
are the same, the rewrite, srewrite and search commands and the model
checker will only consider one of the arguments for that step since
only one rewriting step is made per pass, the choice of argument is
irrelevant. This already happened for operators in the AC and ACU
theories. The frewrite command still always considers all arguments
even if they are identical since multiple rewriting steps can happen
in each pass.

(6) The GNU libsigsegv library is used to distinguigh between true
segmentation faults and stack overflows and so stack overflows are now
reported with an informative message.

(7) Several optimizations, bug fixes and improvements.