non port: lang/maude/distinfo |
Number of commits found: 6 |
Wednesday, 12 Dec 2018
|
05:30 lwhsu
- Update to 2.7.1
- Add CVC4 support option and enabled by default
- Unbreak on aarch64, sbrk is not used anymore
- Remove build date to make the build reproducible
- Pass maintainership to submitter
- Pet `portlint -abct`
PR: 231443
Submitted by: Greg V <greg@unrelenting.technology>
|
Tuesday, 8 Nov 2016
|
22:16 rene
lang/maude: fix fetching and unexpire
The MASTER_SITES was changed and so was the name of one distfile, the
contents remained the same.
PR: 210018
Submitted by: Keith Gaughan <k@stereochro.me>
MFH: 2016Q4
|
Saturday, 3 Dec 2011
|
20:41 scheidell
- Update to 2.6.
- Make all files in ${DATADIR} loadable by filename without an explicit path,
and without setting MAUDE_LIB. Currently only
${DATADIR}/prelude.maude is loaded (during startup).
- Add option FULL_MAUDE (default: on) for user convenience. This
installs full-maude26b.maude into ${DATADIR}.
- previous maintainer turns port over to committer
PR: ports/162955
Submitted by: joemann@beefree.free.de
Reviewed by: info@rickvanderzwet.nl
Approved by: maintainer, gabor(mentor)
Feature safe: yes
|
Sunday, 3 Jul 2011
|
13:45 ohauer
- remove MD5
|
Friday, 15 Aug 2008
|
00:34 edwin
Update port: lang/maude 2.2 -> 2.3
Maude 2.3 is compiles under 4.2 again, so port does not
need to be marked as broken anymore.
Quite a few hacks to get it installing properly:
* Coder forgot to include the *.maude files into the
Makefile.am while porting files into the MixFix directory
to Main directory. Included again, which explains the current
need of aclocal and automake to regenerate the Makefiles
* Project requires MAUDE_LIB env to be set to the location
of %%DATADIR%% which is quite cumbersome, introduced
MAUDE_DATA_DIR into the code to get rid of the non handy
environment variable.
PR: ports/126438
Submitted by: Rick van der Zwet <rick@wzoeterwoude.net>
|
Wednesday, 5 Apr 2006
|
22:32 jylefort
Add maude.
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.
Rewriting logic is a logic of concurrent change that can naturally deal with
state and with concurrent computations. It has good properties as a general
semantic framework for giving executable semantics to a wide range of
languages and models of concurrency. In particular, it supports very well
concurrent object-oriented computation. The same reasons making rewriting
logic a good semantic framework make it also a good logical framework, that (Only the first 15 lines of the commit message are shown above )
|
Number of commits found: 6 |