Public Git Hosting - splint-patched.git/summary

description	Patched version for SPLint (Secure Programming Lint)
owner	unlupdestepa@gmail.com
last change	Mon, 27 Mar 2017 11:00:44 +0000 (27 11:00 +0000)
URL	git://repo.or.cz/splint-patched.git
	https://repo.or.cz/splint-patched.git
push URL	ssh://repo.or.cz/splint-patched.git
	https://repo.or.cz/splint-patched.git ^{(learn more)}
bundle info	splint-patched.git downloadable bundles
content tags	add:

readme

A collection of patches for SPLint, a project that seems to have died -- development at its official SourceForge page seems to have stopped somewhere at the end of 2010. The officially sponsored continuation as GitHub project also died out around 2012. The original code, as these patches also, are under GNU Public License version 2 (or any later version).

2017-03-27	Mihail Groza	Don't try calling lsl when file is missing.master	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-03-27	Mihail Groza	More refactoring of library support.	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-03-26	Mihail Groza	Remove unused headers (for library) from repository	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-03-26	Mihail Groza	More refactoring and completion of library.	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-03-26	Mihail Groza	Delete unused source file from repository.	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-03-26	Mihail Groza	Refactoring of (mostly UNIX related) library.	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-03-21	Mihail Groza	Fix build fail.	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-03-21	Mihail Groza	Update build to fix in-place builds.	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-03-21	Mihail Groza	Split the standard & posix specification into individua...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-03-17	Mihail Groza	Some file moving in repository.	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-03-15	Mihail Groza	Some clean-up in arguments passed for self-check	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-03-15	Mihail Groza	Removed some useless/false comments	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-03-15	Mihail Groza	Fix self-check due to previous commit	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-03-15	Mihail Groza	Some consistency changes to library & headers flags.	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-03-14	Mihail Groza	Fix parsing failure for self-check.	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2017-03-14	Mihail Groza	Avoid implicit initialization + minor refactoring.	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

7 years ago	master	log \| tree
16 years ago	splint-3_1_2	log \| tree
21 years ago	splint-3_1_1	log \| tree
21 years ago	splint-3_1_0	log \| tree
21 years ago	loop-anlaysis-1-0	log \| tree
22 years ago	structDevel	log \| tree
22 years ago	splint-3_0_1_6	log \| tree
22 years ago	splint-3_0_1_5	log \| tree
22 years ago	splint-3_0_1_4	log \| tree
22 years ago	splint-3_0_1_2	log \| tree
22 years ago	Alpha-3_0_0_19	log \| tree
23 years ago	prewinterbreak	log \| tree
23 years ago	oct3uglyapi	log \| tree
23 years ago	simplyconstraintterm	log \| tree
23 years ago	ruby-1-0	log \| tree
23 years ago	import-1.1.1	log \| tree

Patched version for SPLint (Secure Programming Lint)

RSS Atom