project upgrade to vs2012

- add precision to assert
- to -> VS 2012