]> andersk Git - splint.git/history - src/cgrammar.c.der
Added support for omitted if clauses in conditionals, patch provided by peteran.
[splint.git] / src / cgrammar.c.der
2004-01-12  evans1629Added support for omitted if clauses in conditionals...
2003-12-08  drl7xFixed off by one bug involving arrays initialized with...
2003-07-18  evans1629Fixed problem with shadow parameters.
2003-06-10  evans1629Made allocations involving sizeof work correctly (test...
2003-03-07  drl7xFixed some splintme errors from the previous code change.
2003-03-07  drl7xFixed bug #697722 Assert error / global
2003-03-06  drl7xFixed bug 672239 sizeof(array[0]) gives NULL derefenc...
2002-12-18  drl7xAdded support for default buffer constraint annotations
2002-12-18  evans1629Improved tracking of state change locations. Added...
2002-12-15  evans1629ADded numabstract types.
2002-12-13  evans1629Fixed parsing problem with multiple inclusions of alt...
2002-12-12  evans1629Cleaned up code problems reported by make splintme.
2002-12-11  drl7xTurned off type checking for bison generated files...
2002-12-04  evans1629Committing my cosmetic code changes and fix of the...
2002-10-25  drl7xCommented out segfault in new code.
2002-10-25  drl7xFixed bug in Makefile.am.
2002-10-25  drl7xFixed bug in makefile causing unnecessary remaking...
2002-09-07  evans1629Committed my changes (but there are several splintme...
2002-09-05  drl7xFixed bug cause spurious bounds errors.
2002-07-08  evans1629- library fixes:
2002-07-03  evans1629Fixed pre-processing bug reported by Adam Clarke. ...
2002-03-25  evans1629Fixed creation of temp files.
2002-03-18  evans1629Fixed anytype resolution.
2002-03-17  evans1629Added htmlfileformat flag.
2002-03-17  evans1629Fixed problem with unnamed unions within struct definit...
2002-03-16  evans1629Fixed problem with resetting null state after error...
2002-03-11  evans1629Temporarily set flags to splintme without warnings.
2002-03-02  evans1629Fixed line numbering when multi-line macro parameters...
2002-02-10  evans1629Extended grammar to support designators in initializers.
2002-02-10  evans1629Fixed but with parenthesized pointer declarations.
2002-02-05  evans1629Relaxed grammar to allow null external declarations.
2002-01-18  drl7x*** empty log message ***
2002-01-18  drl7xAdded the flag warnsysfiles (default +) if this flag...
2002-01-17  evans1629Fixed handling of array dimensions (bug reported by...
2002-01-07  drl7x*** empty log message ***
2002-01-06  evans1629Renamed lclintMacros.nf splintMacros.nf
2002-01-06  evans1629Cleaned up flags to generate manual help.
2002-01-03  evans1629Changed checking of complete descruction so +strictdest...
2002-01-02  evans1629Fixed state clauses. Added obvious loop exec checking.
2001-12-31  evans1629Changed grammer to allow multiple /*@fallthrough@*...
2001-12-29  evans1629Renaming - LCLint => Splint
2001-11-30  drl7x*** empty log message ***
2000-06-21  drl7xCommiting Merge of changes made in semester and ver 2.5M
2000-06-13  drl7xInitial revision
This page took 1.129463 seconds and 51 git commands to generate.