14 Commits (f44a8f2009e443349655e32512ef1dc453f3fa22)

Author SHA1 Message Date
Hisham Muhammad 45f7a4fc8d Remove old memory debugging routines. We have Valgrind nowadays. 14 years ago
Hisham Muhammad 84281bdc44 major header cleanup 14 years ago
Hisham Muhammad 7ca1081712 Mega-commit with features and tweaks for 1.0: 15 years ago
Hisham Muhammad 300caa076e Tempus fugit. 15 years ago
Hisham Muhammad 25551d44c1 Fix off-by-one in Vector (the probable cause for many user-reported crashes?) 16 years ago
Hisham Muhammad 9eb912149e expand/collapse tree 16 years ago
Hisham Muhammad a600d5a6e9 Tempus fugit. 16 years ago
Hisham Muhammad 02a30bfecd warning fixes 16 years ago
Hisham Muhammad da23c8c5a1 Clean up headers by using 'static' whenever possible. 18 years ago
Hisham Muhammad 36848494f5 Add debugging sanity checks. 20 years ago
Hisham Muhammad 59c3dd806b Yet another sanity check. 20 years ago
Hisham Muhammad 5d48ab8c28 Performance improvement hackathon: improve process comparison routines, 20 years ago
Hisham Muhammad 2f1f82ee87 Updates for new version of the MakeHeader.py script. 20 years ago
Hisham Muhammad a853faaa2d Rename TypedVector to Vector, matching dit. 20 years ago
Hisham Muhammad d6231bab89 Initial import. 20 years ago