maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

[[Maude-help] ] Using SCC

From: James M Decker <decker31 AT purdue.edu>
To: "maude-help AT cs.uiuc.edu" <maude-help AT cs.uiuc.edu>
Subject: [[Maude-help] ] Using SCC
Date: Wed, 24 May 2017 16:42:10 +0000
Accept-language: en-US
Authentication-results: cs.uiuc.edu; dkim=none (message not signed) header.d=none;cs.uiuc.edu; dmarc=none action=none header.from=purdue.edu;
Spamdiagnosticmetadata: NSPM
Spamdiagnosticoutput: 1:99

Hey there,

I'm following the Maude Manual (for Maude 2.7), but having some trouble in Section 4.4 regarding use of the SCC. Specifically, it doesn't seem that SCC is built into Maude 2.7 by default? I went and downloaded SCC separately and was able to get it loaded in and running, but the output doesn't match what's shown in the manual. Do you have any suggestions?

James Decker

[[Maude-help] ] Using SCC, James M Decker, 05/24/2017
- Re: [[Maude-help] ] Using SCC, Francisco Durán, 05/25/2017
  - Re: [[Maude-help] ] Using SCC, James M Decker, 05/25/2017
    - Re: [[Maude-help] ] Using SCC, Francisco Durán, 05/25/2017
      - Re: [[Maude-help] ] Using SCC, James M Decker, 05/25/2017
      - Re: [[Maude-help] ] Using SCC, James M Decker, 05/25/2017
        
        Re: [[Maude-help] ] Using SCC, Paco Durán, 05/30/2017