k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Ocaml and LLVM definitions are now available under kframework

From: David Lazar <lazar6 AT illinois.edu>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] Ocaml and LLVM definitions are now available under kframework
Date: Tue, 10 Sep 2013 09:17:18 -0700
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hello K users,

The OCaml definition and LLVM definition I co-developed with Chucky
Ellison are now available under the kframework Github project:

https://github.com/kframework/ocaml-semantics

https://github.com/kframework/llvm-semantics

There are publications lurking in both of these projects but I don't
have time to take the lead on them. If you want to take the lead, let
me know and I can help you get started.

Cheers,
David

[K-user] Ocaml and LLVM definitions are now available under kframework, David Lazar, 09/10/2013
- Re: [K-user] Ocaml and LLVM definitions are now available under kframework, Dorel Lucanu, 09/10/2013
  - Re: [K-user] Ocaml and LLVM definitions are now available under kframework, Ömer Sinan Ağacan, 09/12/2013
    - Re: [K-user] Ocaml and LLVM definitions are now available under kframework, Andrei Stefanescu, 09/12/2013
      - Re: [K-user] Ocaml and LLVM definitions are now available under kframework, Rosu, Grigore, 09/12/2013