On 17 April 2013 18:02, Yang Chen <[email protected]> wrote:
> Eitan Adler wrote:
>>
>> On 17 April 2013 17:51, Yang Chen <[email protected]> wrote:
>>
>>>
>>> I will update the code after LLVM 3.3 is released.
>>>
>>
>>
>> By this you mean update to llvm 3.3 or make a release of creduce?
>>
>
>
> We will definitely update to llvm 3.3. There are some pending issues for
> make a new C-Reduce release. But we will give it a try :)

Cool.  Is there any chance of rolling a tarball of the code as exists
now for a new release?

Packagers can not use source in version control systems.



-- 
Eitan Adler

Reply via email to