Home My Page Projects Gappa
Summary Activity Tracker SCM Files

Project Filelist for Gappa

File Release Notes and Changelog

Release Name: 1.3.0

Change Log
Version 1.3.0:
 * arithmetic
   - added support for floating-point formats without minimal exponent
 * proof graph
   - allowed dichotomy on variables without any known range
   - improved handling of half-bounded intervals
 * proof paths
   - added heuristic for automatically selecting one variable for dichotomy
 * main interface
   - added option -Eno-auto-dichotomy to disable the heuristic above
   - reduced amount of warnings in case of dichotomy failures
   - improved validity checking of rewriting rules