5 Commits

Author	SHA1	Message	Date
Hisham Muhammad	36848494f5	Add debugging sanity checks.	2006-11-12 21:52:14 +00:00
Hisham Muhammad	59c3dd806b	Yet another sanity check.	2006-11-08 21:47:11 +00:00
Hisham Muhammad	5d48ab8c28	Performance improvement hackathon: improve process comparison routines, ... disable useless code in release builds such as runtime type-checking on dynamic data structures and process fields that are not being computed, faster(?) method for verifying the process owner (still need to ensure correctness), don't destroy and create process objects for hidden kernel threads over and over. Phew. I shouldn't be doing all this today, but I could not resist.	2006-07-11 06:13:32 +00:00
Hisham Muhammad	2f1f82ee87	Updates for new version of the MakeHeader.py script.	2006-06-06 20:41:01 +00:00
Hisham Muhammad	a853faaa2d	Rename TypedVector to Vector, matching dit.	2006-05-30 13:45:40 +00:00