Handling error with ERR search

Merge pull request ftsrg#175 from ftsrg/xsts-stuck-flag

Adding no refinement progress detection to XSTS cli

Merge branch 'xstsbugfix'

Merge pull request ftsrg#171 from s0mark/function

Basic function support

Merge pull request ftsrg#169 from csanadtelbisz/telbisz_por (DPOR)

DPOR (Dynamic Partial Order Reduction)

Merge pull request ftsrg#159 from ftsrg/javadoc-4.0-fix

Removed arrows that messed with javadoc generation

Merge pull request ftsrg#149 from ftsrg/arrayinit_fix

Fixed ArrayInitExpr withOps bug

Merge pull request ftsrg#150 from ftsrg/fptype-fix

FPType grammar fix (ftsrg#148)

Fix typo