k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

From: Tim Swan <timswan AT protonmail.ch>
To: dexter <qjq793437528 AT 163.com>
Cc: "k-user AT lists.cs.illinois.edu" <k-user AT lists.cs.illinois.edu>
Subject: Re: [[K-user] ] state space search in KCC 3.4
Date: Thu, 15 Mar 2018 12:54:00 -0400
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=timswan AT protonmail.ch; dkim=pass header.d=protonmail.ch header.s=default; dmarc=pass header.from=protonmail.ch
Feedback-id: LgLxUq0m-C4rIc3m8xa-Gr6O9J7YDpHqc7zO99bQhwwKs0pqiXNkBZDoX15z2PV4kNfqx2cAPOnsCjD0l8GQHw==:Ext:ProtonMail

璟临天下 "dexter",

I suspect that you are using:

Kuck & Associates, Inc. KAI C++ Compiler (KCC)

Version 3.4f -- November 3, 1999

However, this group is associated with a different piece of software.

There is an installed "kcc" command in the rv-match software which is constructed with K:
https://runtimeverification.com/match/

Best,

Tim Swan

[[K-user] ] state space search in KCC 3.4, dexter, 03/13/2018
- Re: [[K-user] ] state space search in KCC 3.4, Christos Kloukinas, 03/14/2018
  - Re: [[K-user] ] state space search in KCC 3.4, Jan Tušil, 03/14/2018
- Re: [[K-user] ] state space search in KCC 3.4, Tim Swan, 03/15/2018