fa/tests: add dll-as-sll-with-broken-prevs.c
fa: improve dox
fa/folding: improve documentation
fa/folding: improve documentation
fa/folding: improve documentation
fa/folding: improve documentation
fa/boxman: improved documentation
fa/folding: improve documentation
Merge remote-tracking branch 'predator/master'
fa/folding: improve documentation
fa/folding: improve documentation
fa/folding: improve documentation
fa/folding: improve documentation
fa/fixpoint: improve documentation
tests/forester: skiplist-3lvl.c [FORMATING]
tests/forester: skiplist-3lvl - change to adhere to the new interface
tests/forester: change to SV-COMP interface
Merge remote-tracking branch 'predator/master'
tests/forester: add setjmp.c
Merge branch 'master' of https://github.com/ondrik/forester

+ 9d238257 fa/tests: add dll-as-sll-with-broken-prevs.c
+ 14fc123b fa: improve dox
+ 63e918aa fa/folding: improve documentation
+ 79f6600c fa/folding: improve documentation
+ cf497bb8 fa/folding: improve documentation
+ 7b17b585 fa/folding: improve documentation
+ 14572a8d fa/boxman: improved documentation
+ b05da551 fa/folding: improve documentation
+ 0ab66e01 fa/folding: improve documentation
+ b1c8c39c fa/folding: improve documentation
+ 301aa34f fa/folding: improve documentation
+ e999fa88 fa/folding: improve documentation
+ 6fd01e32 fa/fixpoint: improve documentation
+ ec328ce4 tests/forester: skiplist-3lvl.c [FORMATING]
+ 3ac5a159 tests/forester: skiplist-3lvl - change to adhere to the new interface
+ cd0eb150 tests/forester: change to SV-COMP interface
+ 2292db9d tests/forester: add setjmp.c