source: src/GenPoly @ da5ac2e

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

Property mode set to 040000