aboutsummaryrefslogtreecommitdiff
path: root/splint.sh
AgeCommit message (Expand)Author
2010-01-19Add .intel_syntax and .gas_syntax support to GAS parser.Peter Johnson
2007-06-30Update splint script.Peter Johnson
2006-12-24Remove remaining references to nasm-bison.c/h.Peter Johnson
2002-04-22Split split parameters into separate lines to make it much easier to edit.Peter Johnson
2002-04-22Add options: +allglobals -noeffect -shiftnegative.Peter Johnson
2002-03-23Use -shiftimplementation because it's seeing enums as possibly negative forPeter Johnson
2002-03-23LCLint is now Splint (www.splint.org).Peter Johnson
2002-01-09Add basic optimizer to checks.Peter Johnson
2002-01-09Correct for renamed/moved files.Peter Johnson
2001-11-26Switch from using ternary tree to Hash Array Mapped Trie (HAMT), which hasPeter Johnson
2001-11-17Modify so that almost everything passes LCLint with the options in lclint.sh.Peter Johnson