4 Commits

Author SHA1 Message Date
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
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