9 Commits

Author	SHA1	Message	Date
Ricardo Guilherme Schmidt	173ce9b15a	Update specs and interface	2024-11-15 02:40:11 -03:00
r4bbit	7581c2a079	refactor(certora): move rule about MP not greater than max MP into own ... spec This is necessary because we need to run this rule on a custom config to avoid timeouts.	2024-10-08 10:14:20 -03:00
r4bbit	b62ac5233e	chore(CI): update certora-cli to 7.10.2 ... This should fix a bug in the CLI that causes CI tasks to pass even though prover runs are emitting errors.	2024-08-27 14:46:22 +02:00
r4bbit	ead8db634c	chore(ci): update certora CLI in CI ... This update the certora cli to the latest version 7.10.1 in CI tasks.	2024-08-05 08:35:47 +02:00
r4bbit	d9533912c2	refactor(certora): use CI matrix for verification jobs	2024-03-28 16:42:44 +01:00
r4bbit	6182d9508c	chore(certora): upgrade certora-cli to 7.0.7 ... This upgrade certora-cli on CI to version 7.0.7 which no longer requires the `STORAGE` keyword in storage hooks.	2024-03-20 10:59:35 +01:00
r4bbit	d733cc3fd3	chore: update certora-cli in ci	2024-03-01 15:31:14 -03:00
r4bbit	cf7a8b6574	chore(ci): add certora CI integration (#40)	2023-12-11 15:10:41 +01:00
r4bbit	2e7c5148b4	refactor: migrate repository to foundry-template (#6) ... This commit migrates the repo to our foundry template, which ensures we have consistent tooling across smart contract repositories that are maintained by Vac. This removes all hardhat related files and workflows and replaces them with more perfomant foundry workflows. It also sets up tests, CI and linting.	2023-09-12 18:37:30 +02:00