2011-02-11 | Michael Beck | Further spread size_t. | blob | commitdiff | raw |
2011-02-09 | Matthias Braun | further spread size_t (all warnings on linux/gcc fixed) | blob | commitdiff | raw | diff to current |
2011-02-09 | Michael Beck | Further spread size_t. | blob | commitdiff | raw | diff to current |
2011-01-08 | Matthias Braun | add type verifier: entities in global types must have... | blob | commitdiff | raw | diff to current |
2010-11-04 | Matthias Braun | make firm compilable with a c++ compiler | blob | commitdiff | raw | diff to current |
2010-07-28 | Matthias Braun | no unnecessary and cryptic abreviations: rename vrfy... | blob | commitdiff | raw | diff to current |