Because I prefer darcs than CVS, RushCheck has moved to a darcs repository. No changes should be committed to the CVS repository at RubyForge from now on. You can get the latest development version of RushCheck by
% darcs get --partial http://rushcheck.rubyforge.org/repos/rushcheck
Then you can get all new patches from the main repository whenever after cd the repository by
% darcs pull -a
Unfortunately, now RubyForge does not support any darcs feature, (I should try to request the support team, anyhow), there is no web interface to watch the changes of the repository. Another disadvantage is the percentage of the activity of the project at the project page may be in the decrease. However, I don’t mind it and the project is active while this blog is updated. :)
2004-05-11, Prof. John Hughes visited our laboratory and gave his talk “Random Testing with QuickCheck” at the 1st workshop on “Types for Verification”. Because his talk was interesting for us, Sakai-san and I discussed to him in detail at the next day.
At that time, I started to implement QuickCheck in Ruby, however, hacking was interrupted so often. Then suddenly I lost any files by disk crash and I have no backup unfortunately.
2 years later, I restart the project again. Even RushCheck is in alpha-stage, I’m truly happy to ship it on RubyForge.