judge changelog

Changelog History

• v0.1.3.0 Changes

  March 14, 2018

  🔄 Changed

  * Changed name and description of data files.
  * Fixed bug that caused assumptions not to be simplified.
  

• v0.1.2.0 Changes

  January 19, 2018

  🔄 Changed

  * Logic files in the designated data directories can now be specified 
    without extension, but must not occur in a subdirectory.
  

  ✂ Removed

  * Many previously exposed internal functions are now hidden.
  

• v0.1.1.0 Changes

  January 17, 2018

  ➕ Added

  * Tableaux are now postprocessed to remove obviously superfluous rules.
  * Tableaux now document which formulas triggered branch closure.
  

  ✂ Removed

  * The `negation` and `contradicts` functions have been removed. 
  

  🔄 Changed

  * Closure is now exclusively triggered on properly signed formulas --- no 
    longer on finding `[T] A` and `[T] A -> 0`, and no longer on finding 
    `[T] A` for some assumption `A`.
  

• v0.1.0.0 Changes

  January 17, 2018

  ➕ Added

  * First versioned release. Although it is the first version, the 
    application has been incubating for a while and should be mostly stable. 
    The commit history will take you deeper into the past.