Victor Campos <[email protected]> writes: > During one of my creduce runs, it found a bug. I am sending it attached.
Thank you for your bug report! This is just a quick reply to say that we received your report, and to tell you that I've whitelisted your email address for the creduce-bugs mailing list. This means that any future bug reports from you will not need to be moderated. Thanks again --- Eric. PS --- > By the way, thanks for the brilliant tool that is creduce! You are very welcome! It is always good to hear from people who use and like C-Reduce. -- ------------------------------------------------------------------------------- Eric Eide <[email protected]> . University of Utah Kahlert School of Computing https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 . Salt Lake City, Utah, USA
