7 Commits

Author	SHA1	Message	Date
bentley	87cea09896	Remove Kevin Lo as maintainer, by request. ... While here, fix a couple of license markers.	2015-01-21 06:13:46 +00:00
naddy	570aa62a9c	Drop remaining MD5/RMD160/SHA1 checksums.	2015-01-18 03:12:39 +00:00
sthen	d4b9694e05	remove WRKDIST=${WRKDIR}/${DISTNAME} lines, they are the default anyway	2014-11-23 20:28:01 +00:00
naddy	c2832a1290	move http://code.google.com, *.googlecode.com, and sites.google.com to https ... suggested by bentley@	2013-08-07 21:31:12 +00:00
espie	bcf3856632	PERMIT_* / REGRESS->TEST sweep	2013-03-11 10:50:00 +00:00
espie	5855efb734	move depends to new style	2010-11-15 19:45:56 +00:00
kevlo	e23c09e9d6	Initial import of stp 0.1. ... STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. ok benoit@	2009-12-17 09:43:28 +00:00