cs618-project cs618 project to port contraint generation to GCC 5.2.0 from GCC 4.7.2 The project is running now. Automating the testing part on benchmarks now.