source: src/Validate @ f53afafb

Name	Size	Rev	Age	Author	Last Change
../
module.mk	1.1 KB ​	9490621	3 years	ajbeach	My work in progress implementation of ForallPointerDecay? for Fangren.
LabelAddressFixer.hpp	661 bytes ​	ce36b55	3 years	ajbeach	Translation of Validate F; and some improvements in some helpers.
LabelAddressFixer.cpp	1.8 KB ​	ce36b55	3 years	ajbeach	Translation of Validate F; and some improvements in some helpers.
InitializerLength.hpp	787 bytes ​	91a72ef	3 years	ajbeach	Some assorted bits of clean-up. InitializerLength? was missing some …
InitializerLength.cpp	1.9 KB ​	91a72ef	3 years	ajbeach	Some assorted bits of clean-up. InitializerLength? was missing some …
HandleAttributes.h	704 bytes ​	fd2debf	6 years	Rob Schluntz	Add checks for constructor/destructor attribute arguments
HandleAttributes.cc	2.8 KB ​	5cbacf1	6 years	Rob Schluntz	Refactor eval into Common
ForallPointerDecay.hpp	842 bytes ​	9490621	3 years	ajbeach	My work in progress implementation of ForallPointerDecay? for Fangren.
ForallPointerDecay.cpp	7.0 KB ​	a556492	3 years	ajbeach	There was less extra code in ForallPointerDecay? then I hopped, but it …
FindSpecialDeclsNew.cpp	3.0 KB ​	ce36b55	3 years	ajbeach	Translation of Validate F; and some improvements in some helpers.
FindSpecialDecls.h	1.7 KB ​	ce36b55	3 years	ajbeach	Translation of Validate F; and some improvements in some helpers.
FindSpecialDecls.cc	3.1 KB ​	043a5b6	5 years	Thierry Delisle	Extended dereference operator hack to destroy clause
CompoundLiteral.hpp	774 bytes ​	2cf3b87	3 years	ajbeach	Translated valitate-E after much bug hunting.
CompoundLiteral.cpp	1.8 KB ​	56f519b	3 years	ajbeach	Clean-up of the last pass. Added a test for the constructor mutex …
Autogen.hpp	715 bytes ​	a488783	3 years	ajbeach	Translated the first half of validate-D. HoistControlStruct? is pretty …
Autogen.cpp	27.0 KB ​	00a8e19	3 years	ajbeach	Missed one required file for the validate D changes, I think it was an …

Property mode set to 040000