ChangeLog.txt

Version 0.3, Nov 22, 2013:
   General:
      * Support for FireHose output format
   Arguments:
      * New argument -I, to add a directory to the search path
      * New argument -xml, to output in FireHost format
   Fixes:
      * Remove assertion failures during analysis
   Warnings:
      * Warning W008: for variable modified in for loop
      * Warning W009: redefinition of primitive function
      * Warning W010: redefinition of local function
      * Warning W011: redefinition of library function
      * Warning W012: unexpected string argument
      * Warning W013: primitive with too many arguments


Version 0.2, Nov 12, 2013:
   Warnings:
      * Warning W003: duplicate function argument
      * Warning W004:duplicate return variable
      * Warning W005: function argument used as return variable
      * Warning W006: return variable is never set
      * Warning W007: return variable used as a local variable


Version 0.1, Sep 20, 2013:
   General
      * First public appearance of Scilint
   Warnings
      * Warning W001: variable not initialized
      * Warning W002: unused function argument


Warning: do not modify this file !
  This file was generated by scilintDocGen with -changelog-txt
  Changes should be done in src/scilint/scilintManual.ml