Download CrocoPat
CrocoPat is free software, distributed under the GNU Lesser General Public License (LGPL).
Problem reports and suggestions are welcome, send them to Dirk Beyer.CrocoPat is available for the following platforms:
- Linux
- MacOS
- Microsoft Windows
- Sun Solaris
CrocoPat 2.1.3 (2005-10-11) [stable]:
- Complete
- Select from directory
- What's new in release 2.1.3?
- Benchmarks (Complete, Select
from directory) as used in the
paper "Efficient Relational Calculation for Software Analysis"
for comparison with RelView, Grok, MySQL and Quintus Prolog.
CrocoPat 2.1.2 (2005-02-12) [stable]:
- Complete
- Select from directory
- What's new in release 2.1.2?
- Benchmarks (Complete, Select
from directory) as used in the
paper "Efficient Relational Calculation for Software Analysis"
for comparison with RelView, Grok, MySQL and Quintus Prolog.
CrocoPat 2.1.1 (2004-06-11) [stable]:
CrocoPat 2.1 (2004-04-25):
CrocoPat 2.0 (2004-01-15):
CrocoPat 1.3 (2003-09-02):
CrocoPat 1.2 (2003-06-24):
Author: Dirk Beyer