Mind4SE/Optimization-Backend — pull request #11 by StephaneSeyvoz (2014-06-12 12:50:01+00:00)
Title: Re-sync: Isolate @Single for future removal + fixing examples CDT configuration and Makefiles

Re-sync:
- Isolate @Single for future removal (--single-itf-plugin flag disappears, new trigger on --optimize: simplification)
- Fixed examples CDT configuration
- Fixed Makefiles (disabled "test" targets since we provide no unit tests in these examples, and that caused an error)