k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Using K 3.6

From: JOÃO SANTOS REIS <joao.reis AT ubi.pt>
To: "k-user AT lists.cs.illinois.edu" <k-user AT lists.cs.illinois.edu>
Subject: [[K-user] ] Using K 3.6
Date: Tue, 30 Apr 2019 11:52:08 +0000
Accept-language: pt-PT, en-US
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=joao.reis AT ubi.pt; dkim=pass header.d=ubipt.onmicrosoft.com header.s=selector1-ubi-pt; dmarc=none

Hi, I want to use K framework 3.6 since it is the latest version that supports kdoc.

I’ve tried to run the pre-compiled distribution as well as compiling from source, but I always end getting segmentation fault whenever I run compile. I’m using Ubuntu 18.04.

Any idea how to solve this problem?

Best regards,

João Reis

-----------------------------------------------------------------

PhD student @ University of Beira Interior

Computer Science Department

RELEASE – Reliable and Secure Computation Group

[[K-user] ] Using K 3.6, JOÃO SANTOS REIS, 04/30/2019