#
# ChangeLog for tools/checkers/vcc.py in mainline
#
# Generated by Trac 1.5.4
# 2024-06-15T20:43:07Z

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