k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] how to kompile for java-symbolic backend?

From: Andrei Stefanescu <andreistef AT gmail.com>
To: Ömer Sinan Ağacan <omeragacan AT gmail.com>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] how to kompile for java-symbolic backend?
Date: Mon, 23 Sep 2013 15:23:26 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

kompile -ml

Andrei

On Mon, Sep 23, 2013 at 3:06 PM, Ömer Sinan Ağacan <omeragacan AT gmail.com> wrote:

Hi all,

How can I compile my K apps for java-symbolic backend?

Thanks,

---
Ömer Sinan Ağacan
http://osa1.net

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

[K-user] how to kompile for java-symbolic backend?, Ömer Sinan Ağacan, 09/23/2013
- Re: [K-user] how to kompile for java-symbolic backend?, Andrei Stefanescu, 09/23/2013
  - Re: [K-user] how to kompile for java-symbolic backend?, Ömer Sinan Ağacan, 09/23/2013
    - Re: [K-user] how to kompile for java-symbolic backend?, Andrei Stefanescu, 09/23/2013
      - Re: [K-user] how to kompile for java-symbolic backend?, Ömer Sinan Ağacan, 09/23/2013
        
        Re: [K-user] how to kompile for java-symbolic backend?, Andrei Stefanescu, 09/23/2013