[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[creduce-bugs] c-reduce feedback

To: <creduce-bugs@flux.utah.edu>
Subject: [creduce-bugs] c-reduce feedback
From: "Sean McBride" <sean@rogue-research.com>
Date: Mon, 2 May 2016 13:59:52 -0400
List-archive: </listarchives/creduce-bugs>
List-help: <mailto:creduce-bugs-request@flux.utah.edu?subject=help>
List-id: C-Reduce Bugs Mailing List <creduce-bugs.flux.utah.edu>
List-post: <mailto:creduce-bugs@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=unsubscribe>
Organization: Rogue Research Inc.

Hi,

I'd like to report a few "bugs" against the instructions here:

<http://embed.cs.utah.edu/creduce/>

It would be nice if the "Installing C-Reduce" section had a few more hyperlinks.  Like to Homebrew, for those that don't know it.  Also, after installing brew, I tried:

$ brew search c-reduce
No formula found for "c-reduce".

Apparently, it's spelt "creduce" and their search engine is lame.  :)  You might mention the command explicitly:

$ brew install creduce

Now to actually try the tool... :)

Cheers,

-- 
____________________________________________________________
Sean McBride, B. Eng                 sean@rogue-research.com
Rogue Research                        www.rogue-research.com 
Mac Software Developer              Montréal, Québec, Canada

Follow-Ups:
- Re: [creduce-bugs] c-reduce feedback
  - From: John Regehr <regehr@cs.utah.edu>

Prev by Date: [creduce-bugs] Bug report
Next by Date: Re: [creduce-bugs] c-reduce feedback
Previous by thread: Re: [creduce-bugs] Bug report
Next by thread: Re: [creduce-bugs] c-reduce feedback
Index(es):
- Date
- Thread