Known Bugs

parser

determination of line ending isn't done correctly in some not important cases.

goal system

goals can pile up in a cache datastructure but they shoudln't be stored in this datastructure indefinitly.
This only makes the system a bit slower but has no other terrible effects.

(CRITICAL) deadlock

-d-e-a-d-l-o-c-k- -h-a-p-p-e-n-s- -i-n- -e-i-t-h-e-r- -t-h-e- -p-r-o-c-e-d-u-r-a-l- -o-r- -d-e-c-l-a-r-a-t-i-v-e- -r-e-a-s-o-n-e-r-.

this seems to be fixed now in master