summaryrefslogtreecommitdiff
path: root/splint.sh
Commit message (Expand)AuthorAgeFilesLines
* Add .intel_syntax and .gas_syntax support to GAS parser.Peter Johnson2010-01-191-0/+1
* Update splint script.Peter Johnson2007-06-301-26/+69
* Remove remaining references to nasm-bison.c/h.Peter Johnson2006-12-241-1/+0
* Split split parameters into separate lines to make it much easier to edit.Peter Johnson2002-04-221-1/+43
* Add options: +allglobals -noeffect -shiftnegative.Peter Johnson2002-04-221-1/+1
* Use -shiftimplementation because it's seeing enums as possibly negative forPeter Johnson2002-03-231-1/+1
* LCLint is now Splint (www.splint.org).Peter Johnson2002-03-231-1/+1
* Add basic optimizer to checks.Peter Johnson2002-01-091-1/+1
* Correct for renamed/moved files.Peter Johnson2002-01-091-1/+1
* Switch from using ternary tree to Hash Array Mapped Trie (HAMT), which hasPeter Johnson2001-11-261-1/+1
* Modify so that almost everything passes LCLint with the options in lclint.sh.Peter Johnson2001-11-171-0/+2