Code

Tactic tweaks#1568

Code

Merged

robdockins merged 4 commits intomasterGaloisInc/saw-script:masterfrom tactic-tweaksGaloisInc/saw-script:tactic-tweaksCopy head branch name to clipboardFeb 8, 2022

+77-31

Commits

Commits on Feb 7, 2022

• Add a goal_exact tactic that proves a goal by directly

  Show description for c77129c
  robdockins

  committed
  c77129c

  Copy full SHA for c77129c

Commits on Feb 8, 2022

• Enhance the trivial tactic so that it can prove instances of

  Show description for 7e61b91
  robdockins

  committed
  7e61b91

  Copy full SHA for 7e61b91

• Tweak the error message for termToProp to provide a hint to the

  Show description for f502ddb
  robdockins

  committed
  f502ddb

  Copy full SHA for f502ddb

• Update manual

  robdockins

  committed
  c6d1789

  Copy full SHA for c6d1789