10 Commits

Author	SHA1	Message	Date
Ricardo Guilherme Schmidt	6082399e83	chore: add gas-report for all contracts	2024-02-26 10:07:54 -03:00
Ricardo Guilherme Schmidt	03bc6559ae	fix: StakeManager migration fixes and certora rules	2024-02-20 09:08:00 +01:00
Nurit Dor	14248a285b	chore: certora setup for stakemanager and vault	2024-02-20 09:04:23 +01: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
Ricardo Guilherme Schmidt	c487f24371	add keys to config file	2023-06-28 21:54:05 -03:00
Ricardo Guilherme Schmidt	7af15318a1	update hardhat	2023-06-28 17:49:33 -03:00
Ricardo Guilherme Schmidt	82ebd1301e	create test script	2023-06-26 17:27:19 -03:00
Ricardo Guilherme Schmidt	4849cccb81	execute epoch, user reward	2023-06-21 11:20:23 -03:00
Ricardo Guilherme Schmidt	2e1ec2b7a1	formulas	2023-05-16 19:04:13 -03:00