summaryrefslogtreecommitdiffhomepage
path: root/ir/ir/irverify_t.h
Commit message (Expand)AuthorAge
* rework verify codeMatthias Braun2013-07-08
* remove verification sflagMatthias Braun2013-07-08
* do not make irverify code dependent on NDEBUGMatthias Braun2013-07-08
* remove license stuff from filesMatthias Braun2012-12-12
* irop: refactor node_ops registration codeMatthias Braun2012-06-28
* remove $Id$, it doesn't work with git anywayMatthias Braun2011-11-10
* fix more cparser warnings, cleanup some libcore codeMatthias Braun2011-06-21
* Remove extra dash from assert graph filenames.Christoph Mallon2011-05-06
* fix cparser warningsMatthias Braun2011-04-15
* make firm compilable with a c++ compilerMatthias Braun2010-11-04
* no unnecessary and cryptic abreviations: rename vrfy to verifyMatthias Braun2010-07-28