Skip to content
This repository has been archived by the owner on Aug 28, 2024. It is now read-only.

anthem 0.1.6
Compare
Choose a tag to compare
@pluehne pluehne released this 12 Jun 16:49
· 112 commits to master since this release
v0.1.6
This tag was signed with the committer’s verified signature. The key has expired.
pluehne Patrick Lühne
GPG key ID: 05F3611E97A70ABF
Expired
Learn about vigilant mode.
675a3e2
This commit was signed with the committer’s verified signature. The key has expired.
pluehne Patrick Lühne
GPG key ID: 05F3611E97A70ABF
Expired
Learn about vigilant mode.

Features

  • unique IDs for all variables (user-defined variables are renamed)
  • support for hiding predicates from completed output by using #show statements
  • more simplification rules with --simplify
  • command-line option --parentheses to fully parenthesize the output
  • adds multiple example instances for experimenting

Bug Fixes

  • adds missing error message when attempting to read inaccessible file
  • removes unnecessary parentheses after simplification
  • fixes incorrect simplification with binary operations in arguments
Assets 3
Loading