Cli beta #136
Merged
Cli beta #136
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Co-authored-by: yoav-el-certora <[email protected]>
* Remove Report Analysis depedency (#119) * First try * remove example * Remove to_mathint * Update README.md --------- Co-authored-by: yoav-el-certora <[email protected]> Co-authored-by: Niv vaknin <[email protected]>
* Remove Report Analysis depedency (#119) * Decouple entry point from script * Fix regtest branch * Fix regtest branch * Fix regtest branch * Fix regtest branch * No need to delete * Add checks flag * Add checks flag * Add examples_repo_path test parameter * Add examples_repo_path test parameter * Test analyzer first try * Test analyzer first try * Test analyzer first try * Test analyzer first try * Test analyzer first try * Test analyzer first try * Switch branch * Add analyzer --------- Co-authored-by: yoav-el-certora <[email protected]>
* Remove Report Analysis depedency (#119) * update init axioms for some specs --------- Co-authored-by: yoav-el-certora <[email protected]> Co-authored-by: Naftali Goldstein <[email protected]>
* CERT-7022 Add Reset Storage + Hook Example * Update README.md * Add index
* CERT-6994 Update unresolved call summary example * Update index
* Strong Inv Pool Example * Replace strong inv example with flashloan based example * Update DEFI/LiquidityPool/README.md Co-authored-by: Nurit Dor <[email protected]> * Update README.md * Addres Nurit Review * Update DEFI/LiquidityPool/README.md Co-authored-by: Nurit Dor <[email protected]> * Address nurit review --------- Co-authored-by: Nurit Dor <[email protected]>
* CERT-7101 Add Example for Address Function Call * Update example
nivcertora
approved these changes
Sep 2, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.