k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

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

From: Dorel Lucanu <dlucanu AT info.uaic.ro>
To: k-user AT cs.uiuc.edu
Subject: Re: [K-user] Ocaml and LLVM definitions are now available under kframework
Date: Tue, 10 Sep 2013 19:58:29 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Congratulations!
Ocaml definition is a surprise for me, I knew that you are developing the Haskel definition.
But, of course, they have lot in common ...
Dorel

On 9/10/13 7:17 PM, David Lazar wrote:

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 mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

[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