model-checker.git
12 years agoinitial commit
Brian Norris [Thu, 8 Mar 2012 02:10:59 +0000 (18:10 -0800)]
initial commit

Basic working copy of "threads," which execute until completion as soon as
they are launched.