|
http://www.sosy-lab.org/~dbeyer/CrocoPat/release_1.2/binary |
||||||
|
name
|
type | size | date | description | ||
| | | crocopat-1.2_Linux.bin | bin | 266.2 KB | 24-06-03 | |
| | | crocopat-1.2_Linux.bin.gz | gz | 83.2 KB | 24-06-03 | |
| | | crocopat-1.2_SunOS-5.8.bin | bin | 353.3 KB | 24-06-03 | |
| | | crocopat-1.2_SunOS-5.8.bin.gz | gz | 85.4 KB | 24-06-03 | |
| | | crocopat-1.2_Win32.exe | exe | 426.4 KB | 24-06-03 | |
| | | crocopat-1.2_Win32.exe.gz | gz | 123.9 KB | 24-06-03 | |