started coding the plan synthesis function in module T
added module for my own loop constructs (repeat-until and do-while)
added first part of main loop in function synthesize_plan
almost finished coding main loop in function synthesize_plan
finished coding function synthesize_plan
fixed a couple of bugs in module Plan
Working version without duplication (bugfix in vertex-tag management).
started coding function Duplicate
finished writing code for plan synthesis + duplication
just few minor fixes
now functions to remove (inst,go,return) edges really delete arcs
started debugging: fixed a few problems + print results on .txt file
fixed bug in handling vertices
few minor changes mainly on Output
deleted unnecessary node removal from function duplicate
fixed scripts for automatic synthesis of A and B test-cases
added mandriva use case + few minor changes
heuristics: started dealing with cardinality
Update README.md
fixed conflict