Standard project directories initialized by cvs2svn.

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@1 7129bf4e-d572-4e97-9915-3212d2c624dc
Introduce GenKillTransformer_T.h

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@263 7129bf4e-d572-4e97-9915-3212d2c624dc
git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@339 7129bf4e-d572-4e97-9915-3212d2c624dc
Rename some variables in GenKillTransformer

Also squashed line ending munging commits
git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@346 7129bf4e-d572-4e97-9915-3212d2c624dc
git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@457 7129bf4e-d572-4e97-9915-3212d2c624dc
git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@461 7129bf4e-d572-4e97-9915-3212d2c624dc
'equal' has been changed to 'isEqual' in GenKillTransformer_T.h

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@478 7129bf4e-d572-4e97-9915-3212d2c624dc
Moved (changed) FlagSet.h and GenKillTransformer_T.h to common

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@546 7129bf4e-d572-4e97-9915-3212d2c624dc
In GenKillTransformer, call Diff2.

Why? I don't know; I'm just trying to piece together the history.

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@551 7129bf4e-d572-4e97-9915-3212d2c624dc
Remove unused functions from GenKillTransformer

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@556 7129bf4e-d572-4e97-9915-3212d2c624dc
Refer to ref_ptr.hpp with a full path

(Merge from a GT branch)

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@740 7129bf4e-d572-4e97-9915-3212d2c624dc
Add equal() and print() fns to GenKillTransformer

Fixed some bugs, Cleaned up

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@1470 7129bf4e-d572-4e97-9915-3212d2c624dc
Switched to WALi wpds (from the wpds++ library) & cleanup

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@1505 7129bf4e-d572-4e97-9915-3212d2c624dc
Added default constructor in GenKillTransformer;

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@1509 7129bf4e-d572-4e97-9915-3212d2c624dc
ONE, ZERO, BOTTOM do not use static variables: this conflicts with reference monitoring by ref_ptr in WALi code

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@1523 7129bf4e-d572-4e97-9915-3212d2c624dc
Commented out Diff2; the extend function does not use Diff2;

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@2463 7129bf4e-d572-4e97-9915-3212d2c624dc
fixed and cleaned up gen-kill templates and set domains

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@2474 7129bf4e-d572-4e97-9915-3212d2c624dc
GenKillTransformer_T.h: split Diff function to DiffForGen and DiffForKill

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@2550 7129bf4e-d572-4e97-9915-3212d2c624dc
MkOne and MkZero were wrong. Temporarilly fixed for __TSL_DASH

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@3024 7129bf4e-d572-4e97-9915-3212d2c624dc
deleted DiffForKill and DiffForGen; cleaned up

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@3080 7129bf4e-d572-4e97-9915-3212d2c624dc
Also remove wpds dependency from GenKillTransformer_T.h

(basically remove WPDS_CALL in a few places).

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@3724 7129bf4e-d572-4e97-9915-3212d2c624dc
Introduce GT_EXTERNAL_LEGEND. Not sure this is appropriate.

GT->UW push.

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/branches/GT2UW-2010-11-03@4340 7129bf4e-d572-4e97-9915-3212d2c624dc
one, zero, and bottom have unique representations; added a flag to represent zero; added some assertion checking; cleaned up; deleted copy constructor;

git-svn-id: file:///p/wpis/TransformerSpecLang/Repositories/main/trunk@4675 7129bf4e-d572-4e97-9915-3212d2c624dc

Conflicts:
	analyzer/TSLFiles/COMMON/Utilities/GenKillTransformer_T.h