16 Commits

Author	SHA1	Message	Date
Ricardo Guilherme Schmidt	08b8910503	chore(ci.yml): update certora to 7.17.2	2024-11-15 02:40:11 -03:00
Ricardo Guilherme Schmidt	3f4f6a7aaf	chore: update interface and update Solidity version to 0.8.27 across all files	2024-11-15 02:40:11 -03:00
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
Ricardo Guilherme Schmidt	097bd05665	chore: update pull request template and README.md	2024-09-25 11:29:22 +02: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
Ricardo Guilherme Schmidt	6082399e83	chore: add gas-report for all contracts	2024-02-26 10:07:54 -03:00
r4bbit	5c564a8050	chore(workflows): add-pr-to-project-board only trigger on `opened` ... This is to avoid getting these failing CI tasks where adding a PR to the board fails when it was already added before (happens when pushing into an existing PR).	2024-02-22 17:17:28 -03:00
r4bbit	119b8de037	chore: add project board automations	2024-02-16 08:28:23 +01:00
r4bbit	cf7a8b6574	chore(ci): add certora CI integration (#40)	2023-12-11 15:10:41 +01:00
r4bbit	a20d272e67	docs: fix PR template to mention `pnpm` not `yarn` ... This has been fixed in the original foundry template as well but wasn't yet in the changes done to this repository.	2023-09-13 10:13:38 +02: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