Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: Tom Hawkins <tomahawkins <at> gmail.com>
Subject: ANN: afv-0.0.3
Newsgroups: gmane.comp.lang.haskell.cafe
Date: Tuesday 19th January 2010 06:37:42 UTC (over 6 years ago)
This release of AFV adds counter example generation for both concrete
bounded violations or for inconclusive results when the induction
fails to converge.  I also put Linux and Windows binaries here:
http://tomahawkins.org/.

http://hackage.haskell.org/package/afv

-Tom
 
CD: 2ms