Welcome to the Mace release page

This listing includes all currently available snapshots of the Mace code.

Naming is of the form: mace-[version]-[date].tar.gz   Mace is tested under GCC 4.1. It is known to cause internal compiler segfaults for GCC 3.3, and it is believed to work fine with GCC 3.4 and GCC 4.0.

As of Mace version 0.10, this codebase is available as the subversion repositories http://mace.ucsd.edu/svn/mace and http://mace.ucsd.edu/svn/mace-extras. When using subversion, the mace repository will automatically download the mace-extras repository as an svn:externals. This repository will be updated more often than the snapshots available here for download, so you can get the latest code there.

To check out the repository using subversion use this command:

svn co http://mace.ucsd.edu/svn/mace/trunk mace

As of Mace version 0.9, the mace-extras package is no longer needed. All Mace code is available under the BSD license. The hash utility was re-written to use the openssl package, and the BSD-compatible Perl modules needed to run Mace are included with the main Mace distribution. For Mace versions prior to 0.9, you need to download both "mace" and "mace-extras". The latter includes code which we didn't write and for license reasons is not included with the Mace source. "mace-extras" should be unpacked in a directory of the same name as a subdirectory of mace. This includes some code from Fedora Core (GPL'd), and some openssh code (BSD-ish). See the license file in mace-extras for details. Additionally, to link Mace applications you presently need libboost, libpthread, libm, libstdc++, openssl, and libcrypto. Lex and yacc are no longer needed to compile the Mace compiler. It has been re-written as of version 0.9 to use a Perl compiler using Parse::RecDescent.

MaceMC, the Mace model checker, capable of finding liveness bugs in distributed systems, is available now as of version 0.10.

Please email us if you are using this code for something. We'd love to hear about it, and it is helpful for establishing continued funding.

If you have problems with these updates, feel free to contact mace@kcubes.com. There is also a Mace developers list available at http://www.kcubes.com/cgi-bin/mailman/listinfo/mace-dev/

Mace is released under this license based on the updated BSD license.

Thanks and happy downloading

--Chip

Back to the Mace home page

Current Mace Version: mace-0.10-20070619.tar.gz

Changelog:

2007-06-19  (0.10)
	    This version of Mace includes the modelchecker as well as many code
	    updates.  It also marks the availability of the Mace subversion
	    repository publicly.

2006-12-13  (0.9)
	    This version of Mace includes a vast overhaul.  The compiler has been 
	    rewritten in Perl using a recursive descent package.  Some additional 
	    services are now available, including Chord and Bamboo.

2005-09-19  (0.7.1)
	    This is a somewhat updated version of the 0.7 release.  There are
	    little new features, just mainly updated docs and some code and
	    syntax cleanup.  As a reminder, this release is only tested on and
	    targeted for linux systems running on an ia32.  Other distributions
	    may work with some effort, but we do not support them as we do not
	    have these systems available.

2005-08-30  (0.7)
	    This is the initial public release of Mace, geared at getting some
	    public feedback.  We mainly run and test Mace using GCC 3.4, though
	    it is known to be possible to use Mace with GCC 4.0 as well.  Mace
	    presently only works on linux systems.  The initial release
	    contains out-of-date docs, which will be updated as soon as
	    possible.