#
# ChangeLog for tools/checkers/vcc.py in mainline
#
# Generated by Trac 1.6
# 2025-03-03T15:07:16Z

Sun, 01 Apr 2012 07:13:03 GMT Sean Bartell <wingedtachikoma@…> [6582b36]
	* tools/checkers/clang.py (modified)
	* tools/checkers/stanse.py (modified)
	* tools/checkers/vcc.py (modified)
	* tools/filldir.py (modified)
	* tools/gentestfile.py (modified)
	* tools/mkuimage.py (modified)
	* tools/xstruct.py (modified)

	Make some scripts work with Python 3.

	Arch Linux has already ...


Thu, 04 Nov 2010 19:16:23 GMT Jiri Svoboda <jiri@…> [f4057f5]
	* tools/checkers/clang.py (modified)
	* tools/checkers/stanse.py (modified)
	* tools/checkers/vcc.py (modified)
	* tools/mkfat.py (modified)

	Enough is enough (i.e. fix the spelling).


Tue, 02 Nov 2010 11:13:36 GMT Martin Decky <martin@…> [28f4adb]
	* contrib/arch/hadlbppp.py (modified)
	* kernel/tools/amd64/decpt.py (modified)
	* kernel/tools/genmap.py (modified)
	* kernel/tools/ia32/decpt.py (modified)
	* tools/autotool.py (modified)
	* tools/checkers/clang.py (modified)
	* tools/checkers/jobfile.py (modified)
	* tools/checkers/stanse.py (modified)
	* tools/checkers/vcc.py (modified)
	* tools/config.py (modified)
	* tools/jobfile.py (modified)
	* tools/mkfat.py (modified)
	* tools/mkhord.py (modified)
	* tools/mktmpfs.py (modified)
	* tools/mkuimage.py (modified)
	* tools/pack.py (modified)

	update scripts for compatibility with Python 3 (thx Vojtech Horky and ...


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