Merge remote-tracking branch 'kamil/master'
Merge remote-tracking branch 'ondra/master'
cl: always write { on new line when opening fnc body

Suggested by Jakub Filak.
sl: always write { on new line when opening fnc body

Suggested by Jakub Filak.
Merge branch 'master' of https://github.com/ondrik/forester

+ 2361b94 varinfo: move to a separate file
+ 5d86206 compiler: differentiate between stack/register/global vars
+ afdb5e4 compiler: add some limited support of global vars
+ 21cb3d8 microcode: remove obsolete code
+ bb6f2e2 forestautext: improve code beauty...
+ 45e12c5 forestautext: use C++11 foreach loop
+ e05aba2 forestautext: improve code beauty
+ 897bb62 compiler: support for loading global vars [experimental]
+ 6c05ff2 compiler: beautification of code
+ 4549d8a tests: add globals1.c
+ 2f24d31 microcode: change FI_load_global to FI_load_GLOB
+ 1ff80c0 microcode: add the FI_get_GLOB instruction
+ 6281ec6 symctx: add contructor for ``global context''
+ 97cd007 compiler: add the compileInitialisation() method
+ 894fe4e compiler: add cStoreOperand() for globals
+ a9ec608 tests: add basic tests of global variables
+ c4cbd00 tests: add test of global variables
+ 99d644e CMakeLists.txt: remove obsolete code
+ 34171df compiler: take into account extern global variables
+ fb6a73f compiler: basic implicit initialisation of global vars
+ 12a1393 tests: add 2 new tests for global variables
+ b6972e1 tests: another test of global variables
+ 7196a1a fagcc: improve the script
+ 87f157d fagcc: remove obsolete code
+ c0d2166 treeaut: name TT<T> as Transition
+ 44278cd tests: add a few test of globals
+ d2f7a3f fagcc: make a little more usable
+ 96a572f NodeBuilder: build nodes from std::vector<cl_type*>
+ 3afdafd symexec: create global variable block more smartly
+ 45120f1 tests: add one more test of globals
+ b4b72f5 integrity: started moving to a separate file
+ 7bd3df8 integrity: move more methods to implementation file
+ 40af6aa integrity: further moves from header to implementation
+ 0cdefad integrity: change fae to fae_
+ fee2731 integrity: add a few comments
+ 2ce6d20 fa: add some tests of globals to the test suite
+ b3e1a65 virtualmachine: some beautification
+ 7b05170 tests: add a few more tests to the regression suite
+ f7918d5 tests: add a few tests to the test suite
+ e5078de compiler: check garbage for global vars
+ 1a72c52 tests: add more tests of globals to test suite
+ 90bda78 fagcc: make it possible to dump ucode to a file
+ 907efee fagdb: add symbolic link to the fa/ directory
+ 71bf0f2 fixpoint: do not merge global variables
+ ca0541d compiler: always compile global variables
+ 33edf41 fixpoint: the global block is forbidden when abstracting
+ a83f905 tests: add another global variables test
+ fe53397 fagcc: remove the -std=c99 flag
+ baeed6f memplot: add stub class
+ 34c5d19 exec_state: add the accept() method for a visitor
+ 616beae memplot: add basic plotting
+ 68ea975 fa/config.h: add option to set abstraction height
+ ef23d8e fa/fixpoint.cc: properly compute the forbidden set even if the folding is disabled
+ 488586c fa/connection_graph.hh: abstraction cleanup
+ f7711e7 memplot: first somehow ``nice'' version
+ 9182d18 memplot: improve layout (clusters are separated)
+ f14cdd1 memplot: tree refs now point to tree automata
+ 88aa3de memplot: make __plot() a builtin function
+ 83fe8d2 memplot: add real offset to selectors
+ 44aa713 memplot: separate data values into distinct nodes
+ 0796e45 vis: add visualisation script
+ 7d2776a memplot: improve
+ 2884f8b programerror: support inclusion of error trace
+ d547f65 fagcc: add flag for printing the trace
+ fd4ab70 symstate: improve printing of error trace
+ 1fa26c3 symexec: allow handling of the USR2 signal
+ e42e3c3 streams: add own handling of streams
+ 04b524a programconfig: move implementation to a separate file
+ ae6842e cl_fa: change the main execution loop
+ 7169fad fagcc: add the option to print ucode trace
+ 9805ba8 cl_fa: make the output nicer
+ bb4ac44 executionmanager: change tracesEvaluated_ to pathsEvaluated_
+ 9812480 fagcc: add the dry-run parameter
+ 88dc5dc streams: handle correctly the trace output stream
+ 14c891a streams: output for microcode
+ 034ec90 fagcc: add parameter to redirect output trace to a file
+ a13cae5 fagcc: strip temporary variable names from trace
+ 7aca406 memplot: add printUcodeTrace()
+ 15f0bb9 memplot: print the real name of plot
+ 36599d8 vis: display trace configurations in order
+ cde7533 fa: improve readability [formating]
+ aaab090 fa: more changes [bulk commit - I feel ashamed]
+ 55b7da4 memplot: throw exception in the no-DEBUG build
+ d733c04 tests/forester: add 2-element SLL insertsort test
+ 939eb99 forester tests: classify failing test cases
+ 19cffe6 fa: refine the test suite
sl/intrange: make the GCD algorithm more lightweight
cl: avoid signed overflow on integral literals

Reported by Ondra Lengal.
Merge remote-tracking branch 'jirka/master'
Merge remote-tracking branch 'predator/master'