« Changelog History


judge v0.1.3.0 Release Notes

Release Date: 2018-03-14 // about 6 years ago

  • 🔄 Changed

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

Previous changes from v0.1.2.0

  • 🔄 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.