Skip to main content

Browse the archive

Revision d7186acb6788015aff8d76e9d355da709d7cb5b0 authored by Pierre-Yves Strub on 08 December 2023, 07:20:01 UTC, committed by Pierre-Yves Strub on 05 April 2024, 14:19:50 UTC 
New tactic: "proc rewrite"
 
This tactic allows to rewrite an expression in a statement.

The syntax is:

    proc rewrite <side?> <codepos> <proof-term>

This tactic relies on "proc change" and does not
modify the TCB.

Test plan:

  - unit test (tests/procrewrite.ec)
1 parent 30bfa95
History
File Mode Size
workflows
back to top