clasp vsids can be activated from shell
Merge branch 'master' into ps2
Merge branch 'master' into ps
Merge branch 'master' into ps
Merge branch 'master' into ps
stats-dumping facility for erdi
dumping overall time
fixing overall time output (must stop benchmark controller timer)
fix for duplicate benchmark stopping, safer benchmark dumping
new helper for learning different input tuples in external learning
Merge branch 'master' into ps
updating to use latest changes in submodule
another fix to benchmarking
new testcase to reproduce problems with auxiliary input predicates
fixing bug exposed by extatom10.hex testcase with monolithic heuristics
may come in handy later
less verbose debug mode when building without debugging
Merge branch 'master' into ps
also locking addPredicate, as knownAddresses might pose a race condition
correct tab size for vi