Certora/cvldoc_parser Certora/cvldoc_parser

  • Stars
    star
    5
  • Rank 2,788,524 (Top 57 %)
  • Language
    Rust
  • License
    MIT License
  • Created almost 2 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Certora/cvldoc_parser
github

Certora

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

CVLDoc parser backend

More Repositories

1

Tutorials

Practical tutorials of Certora Prover
Solidity
224
star
2

gambit

Using mutations to improve specs and test suites
Rust
156
star
3

Examples

An index repository with submodules for different examples of Certora projects
Solidity
33
star
4

CertoraProverSupplementary

Supplementary Material to be used with the Certora Prover
Ruby
17
star
5

Documentation

Python
15
star
6

CertoraInit

Certora Init
Solidity
12
star
7

tutorials-code

Certora tutorials
Solidity
11
star
8

EVMSpec-VsCodeExtension

VS.Code extension for writing specifications for EVM (Ethereum Virtual Machine) code (.spec format)
11
star
9

gambit-report-viewer

TypeScript
8
star
10

MemoryIsolationPOC

JavaScript
6
star
11

euler-vault-cantina-fv

Solidity
6
star
12

2023-01-blockswap-fv

Solidity
6
star
13

collections

Memory-effficient immutable collection types for Kotlin
Kotlin
4
star
14

rust-evm

Rust
3
star
15

vscode-certora-prover

Svelte
3
star
16

Secureum2023_ERC4626_public

Solidity
2
star
17

gho-competition

Solidity
2
star
18

InvalidCalldataPOC

A proof of concept for the invalid calldata padding bug
JavaScript
2
star
19

BordaChallenge

Ruby
1
star
20

MemoryCorruptionPOC

Example of memory allocation overflow
Assembly
1
star
21

LiquidityPoolExample

Example Certora verification for a simple multi-contract system
Solidity
1
star
22

vim-setup

Vim setup for using Certora Verification Language
Vim Script
1
star
23

aave-proposal-test

Solidity
1
star
24

ruler-evm

The Ruler project adapted to generate rules for evm.
Rust
1
star
25

ERC4626_Workshop

Repository for the specifications for the Certora workshop on ERC4626 at TrustX @ Istanbul 2023.
Solidity
1
star
26

OptimizerBugPOC

Proof of Concept of YUL Optimizer Bug
JavaScript
1
star
27

cvldocTool

convert the NatSpec comment on a spec file(s) to a JSON file.
Ruby
1
star
28

Secureum_Staking_Rewards

Solidity
1
star
29

ethGatheringBarcelona_worksop

Source code for Certora workshop at ETH Gathering in Barcelona
Solidity
1
star
30

solana-cvt

A library to write verification harnesses for the Solana Certora Prover
Rust
1
star