8 Commits (9d0fa1135cd4629cd5be0b4861331945681cdf6f)

Author SHA1 Message Date
Peter Johnson 7325626c6a Split split parameters into separate lines to make it much easier to edit. 23 years ago
Peter Johnson 78f566c510 Add options: +allglobals -noeffect -shiftnegative. 23 years ago
Peter Johnson 55b9cf9b81 Use -shiftimplementation because it's seeing enums as possibly negative for 23 years ago
Peter Johnson a6e5b3e166 LCLint is now Splint (www.splint.org). 23 years ago
Peter Johnson ef801289fd Add basic optimizer to checks. 23 years ago
Peter Johnson 5ad58cef6b Correct for renamed/moved files. 23 years ago
Peter Johnson ce4a5fe02a Switch from using ternary tree to Hash Array Mapped Trie (HAMT), which has 23 years ago
Peter Johnson 8178f883a5 Modify so that almost everything passes LCLint with the options in lclint.sh. 23 years ago