aboutsummaryrefslogtreecommitdiff
path: root/devel/smv/Makefile
Commit message (Expand)AuthorAgeFilesLines
* - Mark MAKE_JOBS_UNSAFEPav Lucistnik2009-11-221-0/+1
* Reset inactive maintainer who has not responded to email.Mark Linimon2006-09-051-1/+1
* - Update MASTER_SITE to fix fetch problems.Renato Botelho2005-11-301-1/+1
* Add The SMV (Symbolic Model Verifier), a tool forPav Lucistnik2003-12-131-0/+48