aboutsummaryrefslogtreecommitdiffstats
path: root/devel/smv
Commit message (Expand)AuthorAgeFilesLines
* SIZEify (maintainer timeout)trevor2004-03-311-0/+1
* Fix a typo.olgeni2003-12-131-1/+1
* Add The SMV (Symbolic Model Verifier), a tool forpav2003-12-1310-0/+232
generated by cgit (git 2.34.1) at 2025-02-20 13:38:15 +0800
b0426206406e428e711fb1ba9e3150ce'>Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1 pan>/+2 * Convert LICENSE= "GPLxx # or later" to "GPLxx+"amdmi32016-01-131-1/+1 * - Add LICENSEamdmi32015-11-021-0/+3 * Convert to USES=jpegantoine2015-06-231-3/+2 * Bump portrevision after png updatebapt2014-12-261-0/+1 * Change libpng15.so to libpng.so in LIB_DEPENDS to prepare the upgradeantoine2014-12-261-1/+1 * - Cleanup plistamdmi32014-09-221-8/+0 * - Support stagingamdmi32013-09-251-4/+2 * Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1 * Fix build with clang/libc++amdmi32013-09-184-1/+45 * - Update to 1.7.4amdmi32013-08-233-10/+11 * Replace USE_GCC=4.6+ and USE_GCC=4.4+ by USE_GCC=yes.gerald2013-08-181-1/+1 * - Remove MAKE_JOBS_SAFE variableak2013-08-151-1/+0 * - Update to 1.7.3amdmi32013-06-144-27/+17 * - Convert USE_GETTEXT to USES (part 1)ak2013-04-241-2/+1 * - convert USE_CMAKE to USESmakc2013-03-231-1/+1 * - Update to 1.7.2amdmi32012-12-115-27/+13 * - Update to 1.7.1amdmi32012-10-093-10/+13 * - Update to 1.7.0amdmi32012-06-077-66/+77 * - update png to 1.5.10dinoex2012-06-012-2/+12 * -remove MD5ohauer2011-07-031-1/+0 * - fix build for png-1.4.1dinoex2010-03-302-0/+49 * - update to 1.4.1dinoex2010-03-281-2/+2 * - update to jpeg-8dinoex2010-02-051-2/+2 * - update to jpeg7dinoex2009-07-181-2/+2 * bump PORTREVISION after cmake updatemakc2009-03-251-0/+1 * - Update devel/libclaw to 1.5.3amdmi32008-07-103-4/+24 * Update my email address in 132 ports.amdmi32008-06-201-1/+1