Over the last few days, Yang has committed a number of new passes that
make C-Reduce give considerably better results for some C++ codes that
we use for testing. Hopefully the new passes are also helpful to the
rest of you!
We hope to release a new C-Reduce soon that is quite similar to the
current version in git. Any help testing would be appreciated. In
general, crashes of the clang-delta or clex passes aren't our main
priority (these generally don't make the final results noticeably
worse). The bugs that we are most interested in fixing are termination
errors where C-Reduce runs forever for some reason.
John
