C++ header files changed from *.h to *.hpp
Big update
Big update
Delete CDomain.hpp
Delete ConcreteDomain.hpp
Delete SignDomain.hpp
Delete AbstractDomain.hpp
Delete factorial.wl
Delete fibonacci.wl
Delete parser.y
Delete scanner.l
Delete wrapper.cpp
Delete wrapper.h
Merge pull request #3 from erpicci/alpha

First working version