moves parser module to src/parser

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Makefile: use nitg instead of nitc

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
backbone: adds bases of annotation system

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
cfg: adds cycle protection to link_ret_to_calls

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
cfg: adds cycle protection to inline_functions_recursive

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
model: adds the vars module to id specific vars

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
tests: little clean up of test tri_bulles.pep

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
analyses: intro of flow analysis framework and range

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
dot: fix printing to dot

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
analysis framework: remove nullable sets

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
range analysis: functionnal version

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
dot_printer: refactors node text source

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
reaching defs: intro

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
ast: make the setter of ASTPrinter:str public

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
ast: print prettier Ids

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
model: use only upper case register names

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
backbone: extracts the notes part from the AnalysisManager into Noter

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
backbone: define constructors for notes and adds a Fatal Note

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
manager: stores the manager as a singleton in Object

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
grammar: supports empty lines with only a label declaration

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>