Re: [csmith-dev] Csmith TODO list

To: csmith-dev@flux.utah.edu
Subject: Re: [csmith-dev] Csmith TODO list
From: John Regehr <regehr@cs.utah.edu>
Date: Fri, 11 Nov 2011 14:32:19 -0700
In-reply-to: <4EBD919E.2000303@cs.utah.edu>
List-archive: </listarchives/csmith-dev>
List-help: <mailto:csmith-dev-request@flux.utah.edu?subject=help>
List-id: Csmith Development Mailing List <csmith-dev.flux.utah.edu>
List-post: <mailto:csmith-dev@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-dev>, <mailto:csmith-dev-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-dev>, <mailto:csmith-dev-request@flux.utah.edu?subject=unsubscribe>
References: <4EBD919E.2000303@cs.utah.edu>
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:8.0) Gecko/20111105 Thunderbird/8.0

A few other features we want:

- the "register" qualifier (trivial!)

- memset, memcpy, bzero, etc.

John

References:
- [csmith-dev] Csmith TODO list
  - From: John Regehr <regehr@cs.utah.edu>