aboutsummaryrefslogtreecommitdiff
path: root/devel/smv
Commit message (Expand)AuthorAgeFilesLines
* SIZEify (maintainer timeout)Trevor Johnson2004-03-311-0/+1
* Fix a typo.Jimmy Olgeni2003-12-131-1/+1
* Add The SMV (Symbolic Model Verifier), a tool forPav Lucistnik2003-12-1310-0/+232