source: src/GenPoly @ 2d373440

Name	Size	Rev	Age	Author	Last Change
../
Box.h	718 bytes ​	b8b5535	8 months	ajbeach	Major round of clean-up in the GenPoly? directory.
BoxNew.cpp	81.1 KB ​	f48dfcd	8 months	ajbeach	Slight improvement to forall clause erasing.
ErasableScopedMap.h	9.3 KB ​	b8b5535	8 months	ajbeach	Major round of clean-up in the GenPoly? directory.
FindFunction.cc	3.3 KB ​	b8b5535	8 months	ajbeach	Major round of clean-up in the GenPoly? directory.
FindFunction.h	1.3 KB ​	b8b5535	8 months	ajbeach	Major round of clean-up in the GenPoly? directory.
GenPoly.cc	14.4 KB ​	b8b5535	8 months	ajbeach	Major round of clean-up in the GenPoly? directory.
GenPoly.h	5.2 KB ​	b8b5535	8 months	ajbeach	Major round of clean-up in the GenPoly? directory.
InstantiateGeneric.h	1010 bytes ​	b8b5535	8 months	ajbeach	Major round of clean-up in the GenPoly? directory.
InstantiateGenericNew.cpp	25.0 KB ​	04db9f6	9 months	ajbeach	Updated some documentation about the Instantiate Generic pass.
Lvalue2.cc	618 bytes ​	ae1d151	22 months	ajbeach	White-space fixes and an improvement to some clean-up.
Lvalue.h	1.2 KB ​	b8b5535	8 months	ajbeach	Major round of clean-up in the GenPoly? directory.
LvalueNew.cpp	22.7 KB ​	251ce80	13 months	f37yu	remove reference to symbol table in unify
module.mk	1.0 KB ​	c6b4432	8 months	ajbeach	Remove BaseSyntaxNode? and clean-up.
ScopedSet.h	7.8 KB ​	b8b5535	8 months	ajbeach	Major round of clean-up in the GenPoly? directory.
ScrubTyVars.cc	5.1 KB ​	b8b5535	8 months	ajbeach	Major round of clean-up in the GenPoly? directory.
ScrubTyVars.h	2.2 KB ​	b8b5535	8 months	ajbeach	Major round of clean-up in the GenPoly? directory.
Specialize.h	750 bytes ​	b8b5535	8 months	ajbeach	Major round of clean-up in the GenPoly? directory.
SpecializeNew.cpp	16.1 KB ​	c6b4432	8 months	ajbeach	Remove BaseSyntaxNode? and clean-up.

Property mode set to 040000