Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi
[pachi.git] / uct / 
tree8988bd6581fe2a87566b7d070320d988d5181e96
drwxr-xr-x   ..
-rw-r--r-- 197 Makefile
-rw-r--r-- 15682 dynkomi.c
-rw-r--r-- 2411 dynkomi.h
-rw-r--r-- 4164 internal.h
-rw-r--r-- 3383 plugin.h
drwxr-xr-x - plugin
-rw-r--r-- 2069 plugins.c
-rw-r--r-- 584 plugins.h
drwxr-xr-x - policy
-rw-r--r-- 7701 prior.c
-rw-r--r-- 1187 prior.h
-rw-r--r-- 15338 search.c
-rw-r--r-- 2289 search.h
-rw-r--r-- 19024 slave.c
-rw-r--r-- 513 slave.h
-rw-r--r-- 24755 tree.c
-rw-r--r-- 6385 tree.h
-rw-r--r-- 29674 uct.c
-rw-r--r-- 352 uct.h
-rw-r--r-- 16326 walk.c
-rw-r--r-- 380 walk.h