Skip to Content.
Sympa Menu

k-user - [[K-user] ] I'm new to K framework

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] I'm new to K framework


Chronological Thread 
  • From: "dongbiao830415 AT foxmail.com" <dongbiao830415 AT foxmail.com>
  • To: k-user <k-user AT lists.cs.illinois.edu>
  • Subject: [[K-user] ] I'm new to K framework
  • Date: Mon, 10 Jul 2017 22:26:53 +0800
  • Feedback-id: esmtp:foxmail.com:bgforeign:bgforeign1

1、On the github, the K framework have two repository:runtimeverification/k and kframework/k. What's the difference between these two repository?

2、 Which repository should I choose to compile c-semantics?

3、 On then CentOS6.9 , I failed to compile runtimeverification/k:
mvn package 


dongbiao830415 AT foxmail.com

Attachment: InsertPic_(07-10-22-26-35).png
Description: PNG image


  • [[K-user] ] I'm new to K framework, dongbiao830415 AT foxmail.com, 07/10/2017

Archive powered by MHonArc 2.6.19.

Top of Page