* make CHR load its private stuff silently
[chr.git] / Benchmarks / 
treef6a12ec3fb383ed9111579c65910154af8daeb53
drwxr-xr-x   ..
-rw-r--r-- 401 benches.pl
-rw-r--r-- 6502 bool.chr
-rw-r--r-- 670 fib.chr
-rw-r--r-- 925 fibonacci.chr
-rw-r--r-- 3026 fulladder.chr
-rw-r--r-- 746 leq.chr
-rw-r--r-- 640 primes.chr
-rw-r--r-- 6454 ta.chr
-rw-r--r-- 5714 wfs.chr
-rw-r--r-- 4337 zebra.chr