summaryrefslogtreecommitdiff
path: root/devel/smv
AgeCommit message (Expand)Author
2006-09-05Reset inactive maintainer who has not responded to email.Mark Linimon
2005-11-30- Update MASTER_SITE to fix fetch problems.Renato Botelho
2004-03-31SIZEify (maintainer timeout)Trevor Johnson
2003-12-13Fix a typo.Jimmy Olgeni
2003-12-13Add The SMV (Symbolic Model Verifier), a tool forPav Lucistnik