judge v0.1.3.0 Release Notes

Release Date: 2018-03-14 // over 5 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.