Re: [isabelle] Install c-parser-to-simpl



On 28.04.2015 10:40, lyj238 at ios.ac.cn wrote:
> I want to install C-Parser, a translator of C into SIMPL:---  http://ssrg.nicta.com.au/software/TS/c-parser/
>  
> I want to install as suggested as follows:
>  
>> This code requires Isabelle2013.
>  
> To build:
>  
>   isabelle make
>  
> invoked in this directory should do everything required.
Starting with Isabelle 2014, there is no "isabelle make" anymore (and
the C-parser wouldn't work with 2014 anyway). You might want to use
AutoCorres instead, it includes a version of the C-parser compatible
with Isabelle 2014:

    https://ssrg.nicta.com.au/projects/TS/autocorres/

 -- Lars Noschinski




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.