logos-co
/
staking
mirror of https://github.com/logos-co/staking.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
142 Commits 76 Branches 0 Tags 2.7 MiB
Commit Graph

15 Commits

Author SHA1 Message Date
Ricardo Guilherme Schmidt ff223c5efa
chore: update project description and author information, update README.md 2024-09-24 12:00:35 -03:00
Ricardo Guilherme Schmidt 0dd04a179e chore(package.json): fix gas-report command 2024-09-11 15:18:24 +02:00
Ricardo Guilherme Schmidt b312c59177 chore: add adorno command to package.json 2024-09-10 13:05:06 +02:00
r4bbit 70b092ab00 chore(StakeManagerProcessAccount.spec): add specs for processAccount 
This primarily adds a rule that ensures that, when an account's
`balance` changes, `_processAccount()` must have been called as well.

There's very few exceptions where an account's `balance` can change
without the need of `_processAccount()` but those functions have been
deliberately excluded from the rule.
 2024-03-18 11:44:51 +01:00
r4bbit a76603e408 chore: add release command 
This adds the `pnpm release` command to cut releases and generate
changelogs automatically from commit histories.

It also sets the `package.json` version to `0.1.0` as we haven't
actually put out a `1.0.0` release yet.
 2024-02-29 15:36:04 +01:00
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