K-user mailing list

["Park, Daejun" <dpark69 AT illinois.edu>]

Hi James,

Thanks for your interest in KJS.

The `kjs` branch was deleted by mistake. I just put it back and now it's 
available in the K repository.
        https://github.com/kframework/k/tree/kjs

There is also a VM that contains everything to reproduce all the result in 
the paper:
        
https://github.com/kframework/javascript-semantics/blob/master/PLDI15-AEC.README.md


Please note that the version of K is outdated, and currently we're working on 
porting the semantics to the latest K 4.0, so that we can enjoy all the 
benefits of K 4.0.

BTW, could you please share your specific interest in KJS? I'll be more than 
happy to help you to use (or extend) KJS for your specific needs.

Best,
Daejun

On Oct 11, 2016, at 6:52 PM, James Koppel 
<jkoppel AT mit.edu>
 wrote:

> Hello!
> 
> I've been unable to build the JavaScript semantics. I've tried building 
> with both K 4.0 and K 3.6, and gotten errors on both.
> 
> The KJS README says it needs a modified version of K, accessible by 
> checking out the "kjs" branch of the K repository. However, there is no 
> such branch. I'd appreciate help in this matter.
> 
> Sincerely,
> James Koppel
> MIT CSAIL