1.2.3

• 1.2.3

  • GUI shows warnings on load that previously were only shown on command line

  • Additional warnings emitted on undefined (i.e., never defined in a rule) actions when only used in restrictions (lemmas already did this)

  • New oracle ranking heuristic=O added that uses the default smart heuristic as base. Oracles can now be given in files with any name, with the option --oraclefile=FILE

  • Rule coloring option added, see manual for details

  • Prevent reuse of builtin function names by user-defined theory

  • New built-in theory for signing which reveals the signed message

  • Various performance improvements and bug fixes

  • Now building with stack LTS resolver 10.7 with ghc-8.2.2