On 14 July 2012 09:44, Eric Eide <[email protected]> wrote: > "Eitan" == Eitan Adler <[email protected]> writes: > > Eitan> Makes sense. I was going to attempt to make a FreeBSD port for > Eitan> c-reduce but it doesn't make sense to do so if there aren't > Eitan> eventual plans to target a release version of clang. > > I expect that the eventual state *would* be to target a release version of > Clang, especially for release versions of C-Reduce. > > This is, however, not the current state.
Understood. This is a really useful tool. Thanks for releasing it! -- Eitan Adler
