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:
-- Lars Noschinski
This archive was generated by a fusion of
Pipermail (Mailman edition) and