![[BACK]](/icons/back.gif){kind=icon}
Up to [cvs.NetBSD.org] / pkgsrc / lang / maude
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.29 / (download) - annotate - [select for diffs], Wed Aug 2 19:21:54 2023 UTC (8 weeks, 3 days ago) by nia
Branch: MAIN
CVS Tags: pkgsrc-2023Q3-base,
pkgsrc-2023Q3,
HEAD
Changes since 1.28: +5 -2
lines
Diff to previous 1.28 (colored)
*: Mark packages that were originally identified as requiring C++03 due to failing to build with a C++14 default compiler with FORCE_CXX_STD instead of USE_LANGUAGES.
Revision 1.28 / (download) - annotate - [select for diffs], Wed Jul 18 00:06:20 2018 UTC (5 years, 2 months ago) by joerg
Branch: MAIN
CVS Tags: pkgsrc-2023Q2-base,
pkgsrc-2023Q2,
pkgsrc-2023Q1-base,
pkgsrc-2023Q1,
pkgsrc-2022Q4-base,
pkgsrc-2022Q4,
pkgsrc-2022Q3-base,
pkgsrc-2022Q3,
pkgsrc-2022Q2-base,
pkgsrc-2022Q2,
pkgsrc-2022Q1-base,
pkgsrc-2022Q1,
pkgsrc-2021Q4-base,
pkgsrc-2021Q4,
pkgsrc-2021Q3-base,
pkgsrc-2021Q3,
pkgsrc-2021Q2-base,
pkgsrc-2021Q2,
pkgsrc-2021Q1-base,
pkgsrc-2021Q1,
pkgsrc-2020Q4-base,
pkgsrc-2020Q4,
pkgsrc-2020Q3-base,
pkgsrc-2020Q3,
pkgsrc-2020Q2-base,
pkgsrc-2020Q2,
pkgsrc-2020Q1-base,
pkgsrc-2020Q1,
pkgsrc-2019Q4-base,
pkgsrc-2019Q4,
pkgsrc-2019Q3-base,
pkgsrc-2019Q3,
pkgsrc-2019Q2-base,
pkgsrc-2019Q2,
pkgsrc-2019Q1-base,
pkgsrc-2019Q1,
pkgsrc-2018Q4-base,
pkgsrc-2018Q4,
pkgsrc-2018Q3-base,
pkgsrc-2018Q3
Changes since 1.27: +2 -2
lines
Diff to previous 1.27 (colored)
Mark packages that require C++03 (or the GNU variants) if they fail with C++14 default language.
Revision 1.27 / (download) - annotate - [select for diffs], Thu Jan 19 18:52:14 2017 UTC (6 years, 8 months ago) by agc
Branch: MAIN
CVS Tags: pkgsrc-2018Q2-base,
pkgsrc-2018Q2,
pkgsrc-2018Q1-base,
pkgsrc-2018Q1,
pkgsrc-2017Q4-base,
pkgsrc-2017Q4,
pkgsrc-2017Q3-base,
pkgsrc-2017Q3,
pkgsrc-2017Q2-base,
pkgsrc-2017Q2,
pkgsrc-2017Q1-base,
pkgsrc-2017Q1
Changes since 1.26: +3 -3
lines
Diff to previous 1.26 (colored)
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.
Revision 1.26 / (download) - annotate - [select for diffs], Sat Dec 17 13:38:55 2016 UTC (6 years, 9 months ago) by rillig
Branch: MAIN
CVS Tags: pkgsrc-2016Q4-base,
pkgsrc-2016Q4
Changes since 1.25: +4 -4
lines
Diff to previous 1.25 (colored)
Fixed pkglint warnings.
Revision 1.25 / (download) - annotate - [select for diffs], Tue Oct 2 20:11:45 2012 UTC (11 years ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2016Q3-base,
pkgsrc-2016Q3,
pkgsrc-2016Q2-base,
pkgsrc-2016Q2,
pkgsrc-2016Q1-base,
pkgsrc-2016Q1,
pkgsrc-2015Q4-base,
pkgsrc-2015Q4,
pkgsrc-2015Q3-base,
pkgsrc-2015Q3,
pkgsrc-2015Q2-base,
pkgsrc-2015Q2,
pkgsrc-2015Q1-base,
pkgsrc-2015Q1,
pkgsrc-2014Q4-base,
pkgsrc-2014Q4,
pkgsrc-2014Q3-base,
pkgsrc-2014Q3,
pkgsrc-2014Q2-base,
pkgsrc-2014Q2,
pkgsrc-2014Q1-base,
pkgsrc-2014Q1,
pkgsrc-2013Q4-base,
pkgsrc-2013Q4,
pkgsrc-2013Q3-base,
pkgsrc-2013Q3,
pkgsrc-2013Q2-base,
pkgsrc-2013Q2,
pkgsrc-2013Q1-base,
pkgsrc-2013Q1,
pkgsrc-2012Q4-base,
pkgsrc-2012Q4
Changes since 1.24: +1 -2
lines
Diff to previous 1.24 (colored)
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Revision 1.24 / (download) - annotate - [select for diffs], Tue Apr 19 19:18:40 2011 UTC (12 years, 5 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2012Q3-base,
pkgsrc-2012Q3,
pkgsrc-2012Q2-base,
pkgsrc-2012Q2,
pkgsrc-2012Q1-base,
pkgsrc-2012Q1,
pkgsrc-2011Q4-base,
pkgsrc-2011Q4,
pkgsrc-2011Q3-base,
pkgsrc-2011Q3,
pkgsrc-2011Q2-base,
pkgsrc-2011Q2
Changes since 1.23: +7 -8
lines
Diff to previous 1.23 (colored)
Update Maude to version 2.6 This release incorporates mostly optimizations and bug fixes. Read bundled NEWS for more details.
Revision 1.23 / (download) - annotate - [select for diffs], Wed May 19 11:55:43 2010 UTC (13 years, 4 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2011Q1-base,
pkgsrc-2011Q1,
pkgsrc-2010Q4-base,
pkgsrc-2010Q4,
pkgsrc-2010Q3-base,
pkgsrc-2010Q3,
pkgsrc-2010Q2-base,
pkgsrc-2010Q2
Changes since 1.22: +7 -4
lines
Diff to previous 1.22 (colored)
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.
Revision 1.22 / (download) - annotate - [select for diffs], Wed Mar 24 19:43:25 2010 UTC (13 years, 6 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2010Q1-base,
pkgsrc-2010Q1
Changes since 1.21: +2 -1
lines
Diff to previous 1.21 (colored)
Recursive revision bump for GMP update.
Revision 1.21 / (download) - annotate - [select for diffs], Fri Mar 6 09:55:30 2009 UTC (14 years, 6 months ago) by wiz
Branch: MAIN
CVS Tags: pkgsrc-2009Q4-base,
pkgsrc-2009Q4,
pkgsrc-2009Q3-base,
pkgsrc-2009Q3,
pkgsrc-2009Q2-base,
pkgsrc-2009Q2,
pkgsrc-2009Q1-base,
pkgsrc-2009Q1
Changes since 1.20: +6 -2
lines
Diff to previous 1.20 (colored)
Convert to user-destdir, and mark as MAKE_JOBS_SAFE=no (latter part from Ryo HAYASAKA in PR 40743).
Revision 1.20 / (download) - annotate - [select for diffs], Thu Feb 28 11:58:48 2008 UTC (15 years, 7 months ago) by rillig
Branch: MAIN
CVS Tags: pkgsrc-2008Q4-base,
pkgsrc-2008Q4,
pkgsrc-2008Q3-base,
pkgsrc-2008Q3,
pkgsrc-2008Q2-base,
pkgsrc-2008Q2,
pkgsrc-2008Q1-base,
pkgsrc-2008Q1,
cwrapper,
cube-native-xorg-base,
cube-native-xorg
Changes since 1.19: +2 -2
lines
Diff to previous 1.19 (colored)
Replaced the deprecated INSTALLATION_DIRS_FROM_PLIST with AUTO_MKDIRS, to shut up the pkglint warnings.
Revision 1.19 / (download) - annotate - [select for diffs], Sat Dec 1 13:17:56 2007 UTC (15 years, 10 months ago) by rillig
Branch: MAIN
CVS Tags: pkgsrc-2007Q4-base,
pkgsrc-2007Q4
Changes since 1.18: +2 -2
lines
Diff to previous 1.18 (colored)
Maybe it's better to keep the directory for the *.maude files as it was before the update.
Revision 1.18 / (download) - annotate - [select for diffs], Sat Dec 1 13:15:55 2007 UTC (15 years, 10 months ago) by rillig
Branch: MAIN
Changes since 1.17: +7 -6
lines
Diff to previous 1.17 (colored)
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()
Revision 1.17 / (download) - annotate - [select for diffs], Sun May 21 02:21:52 2006 UTC (17 years, 4 months ago) by wiz
Branch: MAIN
CVS Tags: pkgsrc-2007Q3-base,
pkgsrc-2007Q3,
pkgsrc-2007Q2-base,
pkgsrc-2007Q2,
pkgsrc-2007Q1-base,
pkgsrc-2007Q1,
pkgsrc-2006Q4-base,
pkgsrc-2006Q4,
pkgsrc-2006Q3-base,
pkgsrc-2006Q3,
pkgsrc-2006Q2-base,
pkgsrc-2006Q2
Changes since 1.16: +3 -3
lines
Diff to previous 1.16 (colored)
USE_LANGUAGES=c c++; remove empty post-install target.
Revision 1.16 / (download) - annotate - [select for diffs], Sun Feb 5 23:09:46 2006 UTC (17 years, 7 months ago) by joerg
Branch: MAIN
CVS Tags: pkgsrc-2006Q1-base,
pkgsrc-2006Q1
Changes since 1.15: +2 -1
lines
Diff to previous 1.15 (colored)
Recursive revision bump / recommended bump for gettext ABI change.
Revision 1.15 / (download) - annotate - [select for diffs], Fri Oct 14 19:54:39 2005 UTC (17 years, 11 months ago) by tonio
Branch: MAIN
CVS Tags: pkgsrc-2005Q4-base,
pkgsrc-2005Q4
Changes since 1.14: +4 -14
lines
Diff to previous 1.14 (colored)
Update lang/maude to 2.1.1 Let the package use the TOOLS facilities for flex and bison Changes in this version includes a few bugfixes, support for syntax for theories, and parser improvement Update fixes PR 31753
Revision 1.14 / (download) - annotate - [select for diffs], Mon Apr 11 21:46:14 2005 UTC (18 years, 5 months ago) by tv
Branch: MAIN
CVS Tags: pkgsrc-2005Q3-base,
pkgsrc-2005Q3,
pkgsrc-2005Q2-base,
pkgsrc-2005Q2
Changes since 1.13: +1 -2
lines
Diff to previous 1.13 (colored)
Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.
Revision 1.13 / (download) - annotate - [select for diffs], Sat Oct 9 16:29:56 2004 UTC (18 years, 11 months ago) by kristerw
Branch: MAIN
CVS Tags: pkgsrc-2005Q1-base,
pkgsrc-2005Q1,
pkgsrc-2004Q4-base,
pkgsrc-2004Q4
Changes since 1.12: +2 -2
lines
Diff to previous 1.12 (colored)
Correct WRKSRC to not use the nb[0-9]* from PKGVERSION.
Revision 1.12 / (download) - annotate - [select for diffs], Sun Oct 3 00:15:01 2004 UTC (19 years ago) by tv
Branch: MAIN
Changes since 1.11: +2 -1
lines
Diff to previous 1.11 (colored)
Libtool fix for PR pkg/26633, and other issues. Update libtool to 1.5.10 in the process. (More information on tech-pkg.) Bump PKGREVISION and BUILDLINK_DEPENDS of all packages using libtool and installing .la files. Bump PKGREVISION (only) of all packages depending directly on the above via a buildlink3 include.
Revision 1.11 / (download) - annotate - [select for diffs], Sun May 2 23:02:06 2004 UTC (19 years, 5 months ago) by snj
Branch: MAIN
CVS Tags: pkgsrc-2004Q3-base,
pkgsrc-2004Q3,
pkgsrc-2004Q2-base,
pkgsrc-2004Q2
Changes since 1.10: +5 -5
lines
Diff to previous 1.10 (colored)
Convert to buildlink3.
Revision 1.10 / (download) - annotate - [select for diffs], Tue Jan 20 12:19:16 2004 UTC (19 years, 8 months ago) by agc
Branch: MAIN
CVS Tags: pkgsrc-2004Q1-base,
pkgsrc-2004Q1
Changes since 1.9: +2 -2
lines
Diff to previous 1.9 (colored)
Move WRKSRC definition away from the first paragraph in a Makefile.
Revision 1.9 / (download) - annotate - [select for diffs], Wed Dec 31 01:20:35 2003 UTC (19 years, 9 months ago) by kristerw
Branch: MAIN
Changes since 1.8: +26 -28
lines
Diff to previous 1.8 (colored)
Update lang/maude to version 2.0.1. Maude 2 extends and generalizes Maude 1 to allow more expressive modules and a wider range of computational commands. The license has been changed to the GNU General Public License.
Revision 1.8 / (download) - annotate - [select for diffs], Sat Nov 15 08:46:15 2003 UTC (19 years, 10 months ago) by cube
Branch: MAIN
CVS Tags: pkgsrc-2003Q4-base,
pkgsrc-2003Q4
Changes since 1.7: +2 -2
lines
Diff to previous 1.7 (colored)
Point to the correct location of distfile.
Revision 1.7 / (download) - annotate - [select for diffs], Mon Jul 21 16:54:03 2003 UTC (20 years, 2 months ago) by martti
Branch: MAIN
Changes since 1.6: +2 -2
lines
Diff to previous 1.6 (colored)
COMMENT should start with a capital letter.
Revision 1.6 / (download) - annotate - [select for diffs], Thu Jul 17 21:44:51 2003 UTC (20 years, 2 months ago) by grant
Branch: MAIN
Changes since 1.5: +2 -2
lines
Diff to previous 1.5 (colored)
s/netbsd.org/NetBSD.org/
Revision 1.5 / (download) - annotate - [select for diffs], Mon Jun 2 01:18:59 2003 UTC (20 years, 4 months ago) by jschauma
Branch: MAIN
Changes since 1.4: +2 -2
lines
Diff to previous 1.4 (colored)
Use tech-pkg@ in favor of packages@ as MAINTAINER for orphaned packages. Should anybody feel like they could be the maintainer for any of thewe packages, please adjust.
Revision 1.4 / (download) - annotate - [select for diffs], Fri Mar 28 21:14:22 2003 UTC (20 years, 6 months ago) by wiz
Branch: MAIN
Changes since 1.3: +1 -2
lines
Diff to previous 1.3 (colored)
NO_PATCH is deprecated, says pkglint. Remove it.
Revision 1.3 / (download) - annotate - [select for diffs], Sun Mar 23 23:56:15 2003 UTC (20 years, 6 months ago) by jmc
Branch: MAIN
Changes since 1.2: +2 -2
lines
Diff to previous 1.2 (colored)
Update master site url for downloads
Revision 1.2 / (download) - annotate - [select for diffs], Tue Mar 20 12:01:25 2001 UTC (22 years, 6 months ago) by wiz
Branch: MAIN
CVS Tags: pkgviews-base,
pkgviews,
netbsd-1-6-RELEASE-base,
netbsd-1-6-1-base,
netbsd-1-6-1,
netbsd-1-6,
netbsd-1-5-PATCH003,
netbsd-1-5-PATCH001,
buildlink2-base,
buildlink2
Changes since 1.1: +2 -2
lines
Diff to previous 1.1 (colored)
Oops, uncomment LICENSE.
Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Tue Mar 20 11:57:41 2001 UTC (22 years, 6 months ago) by wiz
Branch: TNF
CVS Tags: pkgsrc-base
Changes since 1.1: +0 -0
lines
Diff to previous 1.1 (colored)
Initial import of maude, a system for equational and rewriting logic specification/programming. Package provided by Paolo Torelli in pkg/11280. Attention: Very restrictive license, to be filled out and returned in hardcopy before usage.
Revision 1.1 / (download) - annotate - [select for diffs], Tue Mar 20 11:57:41 2001 UTC (22 years, 6 months ago) by wiz
Branch: MAIN
Initial revision