|
http://www.sosy-lab.org/~dbeyer/CrocoPat/TSE-Benchmark |
||||||
|
name
|
type | size | date | description | ||
| | | projects | <DIR> | 5 items | 2006-09-26 | |
| | | queries | <DIR> | 16 items | 2006-09-26 | |
| | | CrocoPat.sh | sh | 663 B | 2005-02-11 | |
| | | Grok.sh | sh | 570 B | 2005-02-11 | |
| | | memtime | 38.7 KB | 2003-11-26 | ||
| | | memtime.License.txt | txt | 1.1 KB | 2000-05-24 | |
| | | PrologClosure.pl | pl | 1.5 KB | 2005-02-11 | |
| | | PrologCycle4.pl | pl | 1.4 KB | 2005-02-11 | |
| | | PrologCycle6.pl | pl | 1.4 KB | 2005-02-11 | |
| | | PrologCycle8.pl | pl | 1.4 KB | 2004-08-23 | |
| | | readme.txt | txt | 1.3 KB | 2005-02-14 | |
| | | SQLClosure.sh | sh | 600 B | 2005-02-11 | |
| | | SQLCycle.sh | sh | 364 B | 2004-08-26 | |