Nitpick Release History Page
Nitpick Release History
Current release: 0.87 (Beta)
The current release runs on any Macintosh with system 7.0 or higher.
Release 0.87 (Beta): August 1, 1996
- Gave greater control over the display of variables.
- Added expreimental support for quantifiers.
- Fixed handful of bugs that would occaisionally crash the parser.
Release 0.85 (Beta): May 20, 1996
- Fixed numerous memory leaks.
- Fixed handful of bugs that would occaisionally crash the parser.
- Fixed a few interface annoyances.
- Fixed a case where variables were not properly joined which could yield
incorrect results
Release 0.84 (Beta): January 18, 1996
- Fixed parsing problems in handling dos format files
- Improved isomorph elimination to give better reductions
- Fixed hole in derived variable analysis to detect more derived variables
- Fixed memory corruption that caused occaisional crashes
- Stopped doing some unnecessary updates of windows to reduce flicker
- Fixed bug in reporting of time in claim/schema window
- Fixed bug in analysis that occurred when checking derived variable func'ness
- Fixed problem with accessing specifications on volumes other than the primary disk
Release 0.83 (Beta) January 4, 1996
For more information, contact
nitpick@cs.cmu.edu
Back to Nitpick Home Page