-
smartcontracts authored
Removes the need for kontrol summaries to be generated at PR time. Summaries will now be generated during run-kontrol.sh instead.
669a0fb2
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| deployment | ||
| proofs | ||
| scripts | ||
| README.md | ||
| pausability-lemmas.md |