LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

ethGatheringBarcelona_worksop

Source code for Certora workshop at ETH Gathering in Barcelona

OtherEmerging

Stars

—

Forks

—

Contributors

1

Last push

43mo ago

Recent commits

Latest commits.

certora spec
8eb8652Aleksander Kryukov43mo ago
mutations used for evaluation
a025a60Aleksander Kryukov43mo ago
fixed start()
e2d3c13Aleksander Kryukov44mo ago
removed json
6371e6aAleksander Kryukov44mo ago
added slides
ccb7ccbAleksander Kryukov44mo ago

fixing mutation spec for docker

cce858eAleksander Kryukov44mo ago

fixing mutation script for docker

2541f59Aleksander Kryukov44mo ago

added exampleSpec

7235f09Aleksander Kryukov44mo ago

Top contributors

Builders behind this project.