| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
|
| |
- Remove obsoleted patch
- Use DATADIR
- Take maintainership
Notes:
svn path=/head/; revision=196274
|
|
|
|
|
|
|
|
|
|
|
| |
- Bump portrevision
PR: ports/61131
Submitted by: Volker Stolz <stolz@i2.informatik.rwth-aachen.de>
Obtained from: Splint CVS
Notes:
svn path=/head/; revision=97798
|
|
|
|
|
|
|
|
| |
PR: 52894
Submitted by: Ports Fury
Notes:
svn path=/head/; revision=82340
|
|
|
|
|
|
|
| |
Submitted by: Stacey Son <sson@verio.net>
Notes:
svn path=/head/; revision=69449
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
- Update devel/splint to 3.0.1.6
- Give maintainership to Raymond Medeiros <rrm@subterrain.net>
for requesting in PR
PR: 33788, 35247, 35474
Submitted by: KATO Tsuguru <tkato@prontomail.com>,
Jeroen Ruigrok van der Werven <asmodai@wxs.nl>,
Raymond Medeiros <rrm@subterrain.net>
Repocopied by: joe
Approved by: portmgr
Notes:
svn path=/head/; revision=55695
|
|
|
|
|
|
|
|
| |
PR: 20224
Submitted by: MAINTAINER <s.moeding@ndh.net>
Notes:
svn path=/head/; revision=31162
|
|
|
|
|
|
|
|
|
| |
us mysteriously.
Submitted by: Scott Kenney <saken@hotel.rmta.org>
Notes:
svn path=/head/; revision=20133
|
|
|
|
|
|
|
|
| |
PR: 7113
Submitted by: maintainer
Notes:
svn path=/head/; revision=11696
|
|
effort, LCLint can be used as a better lint. If additional effort is
invested adding annotations to programs, LCLint can perform stronger
checks than can be done by any standard lint.
Check the LCLint home page at
http://larch-www.lcs.mit.edu:8001/larch/lclint/
Closes-PR: ports/1646
Submitted by: Stefan Moeding <moeding@bn.DeTeMobil.de>
Notes:
svn path=/head/; revision=4937
|