Skip to content

Commit 447fdce

Browse files
author
Remi Delmas
committed
CONTRACTS: move doc to contracts folder
1 parent 30d0b2b commit 447fdce

11 files changed

+0
-0
lines changed

‎doc/cprover-manual/contracts-assigns.md renamed to ‎src/goto-instrument/contracts/doc/user-guide/contracts-assigns.md

File renamed without changes.

‎doc/cprover-manual/contracts-decreases.md renamed to ‎src/goto-instrument/contracts/doc/user-guide/contracts-decreases.md

File renamed without changes.

‎doc/cprover-manual/contracts-frees.md renamed to ‎src/goto-instrument/contracts/doc/user-guide/contracts-frees.md

File renamed without changes.

‎doc/cprover-manual/contracts-functions.md renamed to ‎src/goto-instrument/contracts/doc/user-guide/contracts-functions.md

File renamed without changes.

‎doc/cprover-manual/contracts-history-variables.md renamed to ‎src/goto-instrument/contracts/doc/user-guide/contracts-history-variables.md

File renamed without changes.

‎doc/cprover-manual/contracts-invariants.md renamed to ‎src/goto-instrument/contracts/doc/user-guide/contracts-invariants.md

File renamed without changes.

‎doc/cprover-manual/contracts-loops.md renamed to ‎src/goto-instrument/contracts/doc/user-guide/contracts-loops.md

File renamed without changes.

‎doc/cprover-manual/contracts-memory-predicates.md renamed to ‎src/goto-instrument/contracts/doc/user-guide/contracts-memory-predicates.md

File renamed without changes.

‎doc/cprover-manual/contracts-quantifiers.md renamed to ‎src/goto-instrument/contracts/doc/user-guide/contracts-quantifiers.md

File renamed without changes.

‎doc/cprover-manual/contracts-requires-and-ensures.md renamed to ‎src/goto-instrument/contracts/doc/user-guide/contracts-requires-and-ensures.md

File renamed without changes.

0 commit comments

Comments
 (0)