]> andersk Git - splint.git/history - src/Headers
andersk / splint.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
noexpand always false.
[splint.git] / src / Headers /
2009-11-04  bpringlemeirRemove unused cpplib_createDefinition. tree | commitdiff
2009-10-25  bpringlemeirAdd more cvsignore files. tree | commitdiff
2009-09-09  bpringlemeirFix tracker issue 1837229. tree | commitdiff
2007-07-13  evans1629*** empty log message *** tree | commitdiff
2007-07-13  evans1629Updated expected output for help.expect to include... tree | commitdiff
2004-07-31  evans1629Fixed problem with NULL being changed. tree | commitdiff
2004-07-27  evans1629Fixed -help <mode> bug. tree | commitdiff
2004-05-21  evans1629Added va_copy to standard.h. tree | commitdiff
2004-05-18  evans1629Fixed problem with assertion checking for negative... tree | commitdiff
2004-01-12  evans1629Added support for omitted if clauses in conditionals... tree | commitdiff
2003-12-08  drl7xFixed off by one bug involving arrays initialized with... tree | commitdiff
2003-11-02  evans1629*** empty log message *** tree | commitdiff
2003-09-11  herbertRemoved obsolete OS/2 test makefiles. tree | commitdiff
2003-07-18  evans1629Fixed problem with shadow parameters. tree | commitdiff
2003-06-10  evans1629Made allocations involving sizeof work correctly (test... tree | commitdiff
2003-06-09  evans1629Changes to fix malloc size problem. tree | commitdiff
2003-06-07  evans1629Fixed problem with russian characters. tree | commitdiff
2003-04-29  evans1629Renamings to avoid conflicts with type names. tree | commitdiff
2003-04-22  evans1629Fixes after removing -unrecogcomments flag for make... tree | commitdiff
2003-04-20  evans1629Fixed inclusion problems with osd.h. tree | commitdiff
2003-04-20  evans1629Making fixes for Microsoft Visual C++ compiler. tree | commitdiff
2003-04-20  evans1629Added support for ISO C99 _Bool and stdbool bool/true... tree | commitdiff
2003-04-14  evans1629Fixed all /*@i...@*/ tags (except 1). tree | commitdiff
2003-04-11  drl7xFixed some /@*i@*/ comments in the code. tree | commitdiff
2003-04-07  drl7xFixed name checking errors. tree | commitdiff
2003-03-31  drl7xCommitting after merging Evan's changes. tree | commitdiff
2003-03-10  drl7xUpdated libary version number. tree | commitdiff
2003-03-07  drl7xFixed some splintme errors from the previous code change. tree | commitdiff
2003-03-06  drl7xFixed bug 672239 sizeof(array[0]) gives NULL derefenc... tree | commitdiff
2003-03-03  drl7xfixed some /*@i---@*/ comments. tree | commitdiff
2003-03-03  drl7xconstraintExpr.c passes splintme without having to... tree | commitdiff
2003-03-02  drl7xUpdated copyrights tree | commitdiff
2003-03-02  drl7xUpdated the copyright on source code files. tree | commitdiff
2003-02-28  drl7xCode passes splintme with no errors. tree | commitdiff
2002-12-20  drl7xAdded the flags likely-bounds, likely-bounds-write... tree | commitdiff
2002-12-18  drl7xAdded support for default buffer constraint annotations tree | commitdiff
2002-12-18  evans1629Improved tracking of state change locations. Added... tree | commitdiff
2002-12-15  evans1629ADded numabstract types. tree | commitdiff
2002-12-14  drl7xCommitting to make sure that the ./configure works. tree | commitdiff
2002-12-12  evans1629Added code to support CSV output (-csv flag). tree | commitdiff
2002-12-12  evans1629Added support for +longint and +shortint and associated... tree | commitdiff
2002-12-12  evans1629Cleaned up code problems reported by make splintme. tree | commitdiff
2002-12-12  evans1629Remove empty configure file. This should not be in CVS. tree | commitdiff
2002-12-11  drl7xTurned off type checking for bison generated files... tree | commitdiff
2002-12-04  evans1629Committing my cosmetic code changes and fix of the... tree | commitdiff
2002-11-11  drl7x*** empty log message *** tree | commitdiff
2002-10-25  drl7xFixed bug in Makefile.am. tree | commitdiff
2002-10-25  drl7xFixed bug in makefile causing unnecessary remaking... tree | commitdiff
2002-09-07  evans1629Committed my changes (but there are several splintme... tree | commitdiff
2002-09-05  drl7xChanged library version constant.\a tree | commitdiff
2002-07-11  evans1629Added pointers.c and pointers.h to CVS. tree | commitdiff
2002-07-08  evans1629- library fixes: tree | commitdiff
2002-05-31  evans1629Committed to enable merge. tree | commitdiff
2002-05-20  evans1629Added splint.spec file contributed by Heiko Abraham tree | commitdiff
2002-03-25  evans1629Fixed creation of temp files. tree | commitdiff
2002-03-18  evans1629Fixed anytype resolution. tree | commitdiff
2002-03-17  evans1629Added llgrammar_gen2.h tree | commitdiff
2002-03-17  evans1629Added signature_gen.h tree | commitdiff
2002-03-17  evans1629Added llgrammar_gen.h tree | commitdiff
2002-03-17  evans1629Added cgrammar_tokens.h tree | commitdiff
2002-03-17  evans1629Added htmlfileformat flag. tree | commitdiff
2002-03-17  evans1629Fixed problem with unnamed unions within struct definit... tree | commitdiff
2002-03-17  evans1629Fixed problem with print format for +showalluses. tree | commitdiff
2002-03-16  evans1629Fixed problem with resetting null state after error... tree | commitdiff
2002-03-15  evans1629Fixed bug in usymtab clearing derived sRefs when exitin... tree | commitdiff
2002-03-13  evans1629o Make lltok an abstract type, a pointer to structure... tree | commitdiff
2002-03-11  evans1629Temporarily set flags to splintme without warnings. tree | commitdiff
2002-03-02  evans1629Fixed line numbering when multi-line macro parameters... tree | commitdiff
2002-02-19  evans1629Integrated Herbert Martin Dietze's changes for OS/2. tree | commitdiff
2002-02-10  evans1629Extended grammar to support designators in initializers. tree | commitdiff
2002-02-10  evans1629Fixed but with parenthesized pointer declarations. tree | commitdiff
2002-02-05  drl7xFixed bug preventing +showconstraintlocation from being... tree | commitdiff
2002-02-04  drl7xFixed problem with handleing oldsytle function declarat... tree | commitdiff
2002-01-22  drl7xFixed bug in string initialization checking. tree | commitdiff
2002-01-18  drl7xAdded the flag warnsysfiles (default +) if this flag... tree | commitdiff
2002-01-17  drl7xFixed buffer overflow in cscanner.l tree | commitdiff
2002-01-17  evans1629Fixed handling of array dimensions (bug reported by... tree | commitdiff
2002-01-10  evans1629Fixed problem with identifyFlag revealed by splint... tree | commitdiff
2002-01-09  evans1629Moved doc/lclint.1 to doc/splint.1 tree | commitdiff
2002-01-08  drl7xAdded annotation to fix lint warning. tree | commitdiff
2002-01-08  evans1629Fixed up for win32 building (winconfig.h required) tree | commitdiff
2002-01-07  evans1629Removed stray hashTable.c file tree | commitdiff
2002-01-07  drl7x*** empty log message *** tree | commitdiff
2002-01-07  evans1629Put manual in CVS tree | commitdiff
2002-01-06  evans1629Renamed lclintMacros.nf splintMacros.nf tree | commitdiff
2002-01-06  evans1629Cleaned up flags to generate manual help. tree | commitdiff
2002-01-06  evans1629Manual flags. tree | commitdiff
2002-01-05  evans1629Generating flag manual; separated ARG_STRING into filen... tree | commitdiff
2002-01-05  evans1629Renamed truenull nullwhentrue and falsenull falsewhennull tree | commitdiff
2002-01-04  evans1629Added manual test cases. tree | commitdiff
2002-01-03  evans1629Changed checking of complete descruction so +strictdest... tree | commitdiff
2002-01-03  evans1629Fixed checking for shift expressions. tree | commitdiff
2002-01-02  evans1629Fixed state clauses. Added obvious loop exec checking. tree | commitdiff
2001-12-31  evans1629Fixed preds.expect for name change. tree | commitdiff
2001-12-31  evans1629Fixed handling of wide character strings (L"test"). tree | commitdiff
2001-12-31  evans1629Fixed handling of __FUNCTION__ tree | commitdiff
2001-12-31  evans1629Added checking for union initializers. tree | commitdiff
2001-12-30  evans1629Fixed loading of rc files, warnrc and showscan. tree | commitdiff
2001-12-30  evans1629Fixed branch state bug with definitely null values... tree | commitdiff
2001-12-29  evans1629Renaming - LCLint => Splint tree | commitdiff
next
git-cvsimport mirror of splint
This page took 0.231381 seconds and 7 git commands to generate.