This directory contains the source code for the code generator 
(assertcodegen) for the assertion checker.
The files in this directory are:

Makefile:	makefile to create assertcodegen 
		options:
		    make Install	install generator
		    make Clean		remove extraneous files
		    make System		create assertcodegen
		    make Checkout	test the generator

assertcodegen	shell script that drives the code generator

GeneratePostfix.idl	IDL specification for code generation process

gencode.c	source code for process

gen		object code for process

postfix.1	test file for Checkout option

instructions.h	macros defining checker instructions that are generated
		by code generator


