I've asked Yang to try to freeze clang_delta at LLVM/Clang 3.2, we'll
see how it goes.
John
On 07/14/2012 10:44 AM, Eric Eide 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.
Eric.
