[xsmith-dev] Announce: Clotho 1.0.0 Released

[Eric Eide]

I am pleased to announce that Clotho version 1.0.0 is available.  You can find
it in the Racket package catalog at:

  https://pkgs.racket-lang.org/package/clotho

Clotho provides controllable randomness functions for Racket programs, allowing
sequences of random values to be recorded, replayed, and manipulated at a fine
grain.  Xsmith uses Clotho as part of its implementation of "steerable" random
program generation.

You can learn more about Clotho by reading the online documentation:

  https://docs.racket-lang.org/clotho/index.html

...and by reading the following paper, which will be presented at the upcoming
Scheme '20 workshop:

  Pierce Darragh, William Gallard Hatch, and Eric Eide.  Clotho: A Racket
  library for parametric randomness.  In Proceedings of the 2020 Scheme and
  Functional Programming Workshop (Scheme 2020), August 2020.
  https://www.flux.utah.edu/paper/darragh-scheme20

Thanks ---

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide at cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX