initial empty project.
initial alpha release
fixed some typos.
Updated README.
added LTL parser
cleanup, added problem statements
Removed dependency on AstMatching.
Rudimentary sketch of an LTL formula checker
Merge branch 'master' of github.com:adrian-prantl/rose

Conflicts:
	projects/CodeThorn/src/Analyzer.h
	projects/CodeThorn/src/codethorn.C
Merge pull request #1 from adrian-prantl/master

non-functional LTL checker!
Merge work trivia.
Merge trivia.
Restructered Variable<->SgSymbol mapping (VariableIds).
Refined VariableId Mapping.
Doxyfied documentation for several classes. Doxygen documentation is now generated in docs/html and docs/latex by using make docs.
Rewrote analyzer to use variable ids instead of variable names. This speeds up analysis and guarantees that all variables are resolved according to their scope. For variable ids short or long unique variable names can be generated when printed.
transitionFunction: added update of state at FunctionExit: removal of local variables from state and update of constraints
Added basic support for IO operations (scanf,printf,fprintf). IO operations are shown in the transitiongraph as io=in:var and io=out:var. In the folded transitiongraph states representing the result of input operation are colored dodgerblue, output operations are colored orange.
Added contraint propagation for function return values. Added proper removal of formal parameter variables from State at function exit.
Added small example for input/output behavior.