#
# ChangeLog for tools/checkers/vcc.py in mainline
#
# Generated by Trac 1.6
# 2025-08-01T13:20:19Z

Fri, 25 Jun 2010 13:38:30 GMT Martin Decky <martin@…> [33c4f72]
	* kernel/arch/abs32le/include/atomic.h (modified)
	* kernel/generic/include/atomic.h (modified)
	* kernel/generic/include/verify.h (modified)
	* tools/checkers/vcc.h (added)
	* tools/checkers/vcc.py (modified)

	improve annotations
	move to the newest VCC syntax
	use VCC ...


Thu, 24 Jun 2010 13:00:16 GMT Martin Decky <martin@…> [09a0bd4a]
	* kernel/arch/abs32le/include/atomic.h (modified)
	* kernel/arch/abs32le/include/types.h (modified)
	* kernel/generic/include/atomic.h (modified)
	* kernel/generic/include/verify.h (added)
	* tools/checkers/vcc.py (modified)

	initial properties annotation and verification support
	(does not do ...


Tue, 22 Jun 2010 11:37:50 GMT Martin Decky <martin@…> [4ca26c9b]
	* tools/checkers/vcc.py (modified)

	improve support for Vcc, add basic source preprocessing (thx to ...


Fri, 26 Feb 2010 12:40:56 GMT Martin Decky <martin@…> [958de16]
	* tools/checkers/stanse.py (modified)
	* tools/checkers/vcc.py (modified)

	slightly better code


Tue, 05 Jan 2010 16:08:57 GMT U-ALPHA\Administrator <Administrator@…> [ed63298]
	* tools/checkers/vcc.py (modified)

	add more Vcc compatibility preprocessing (by Ondrej Sery)


Tue, 05 Jan 2010 12:57:32 GMT U-ALPHA\Administrator <Administrator@…> [679c361]
	* tools/checkers/vcc.py (modified)

	preprocess sources using GCC preprocessor
	run Vcc with correct ...


Mon, 04 Jan 2010 23:55:24 GMT U-ALPHA\Administrator <Administrator@…> [6064dab]
	* tools/checkers/jobfile.py (added)
	* tools/checkers/stanse.py (moved)
	* tools/checkers/vcc.py (added)

	move checker tools one directory up
	initial (dummy) support for Vcc