955153eac2
callgrind says it's more overhead than improvement. back jumping effectively prunes all bad trees. but can be added later if it becomes needed; due to e.g. provides support. |
||
---|---|---|
src | ||
test | ||
.gitignore | ||
AUTHORS | ||
Make.rules | ||
Makefile | ||
NEWS | ||
README |