|
config
|
- Reordered rest of config parameters.
|
2020-11-09 10:05:03 +01:00 |
|
contracts
|
Fixed validateWithdraw
|
2020-11-10 16:29:43 +01:00 |
|
helpers
|
Merge branch 'fix/123' into 'master'
|
2020-11-10 13:59:16 +00:00 |
|
specs
|
Fixed certora harness
|
2020-11-05 14:43:39 +01:00 |
|
tasks
|
Added tokenization verifications
|
2020-11-10 14:18:48 +01:00 |
|
test
|
Merge branch 'fix/123' into 'master'
|
2020-11-10 13:59:16 +00:00 |
|
.editorconfig
|
- Added mocha __setup script with snapshotting
|
2020-06-08 14:03:40 +02:00 |
|
.gitignore
|
Updated gitignore
|
2020-10-28 10:54:20 +01:00 |
|
.gitlab-ci.yml
|
fix ci -5
|
2020-08-21 15:19:07 +03:00 |
|
.prettierignore
|
pretty print
|
2020-07-13 11:54:08 +03:00 |
|
.prettierrc
|
Merged master
|
2020-09-04 10:27:32 +02:00 |
|
.solcover.js
|
Fixed coverage random failing tests. Added coverage network and minimal config.
|
2020-09-09 21:24:20 +02:00 |
|
buidler.config.ts
|
Remove buidler gas estimation to fix conflict with hardhat estimation plugin
|
2020-11-09 09:51:44 +01:00 |
|
coverage.json
|
Fix conflicts
|
2020-11-05 16:15:52 +01:00 |
|
deployed-contracts.json
|
Added natspec, isActive check
|
2020-11-10 16:07:13 +01:00 |
|
docker-compose.test.yml
|
Fix conflicts
|
2020-08-21 17:19:25 +02:00 |
|
docker-compose.yml
|
Added .env support for docker-compose.yml. Add --verify again to package.json kovan script
|
2020-10-22 11:27:45 +02:00 |
|
Dockerfile
|
Added migration scripts for Uniswap and Aave with configuration and common tasks
|
2020-08-31 12:10:40 +02:00 |
|
Dockerfile_test
|
add test step to CI
|
2020-08-21 15:11:01 +03:00 |
|
hardhat.config.ts
|
Added deployment addresses. Rollback atoken deployer.
|
2020-11-10 14:53:16 +01:00 |
|
LICENSE.md
|
pretty print
|
2020-07-13 11:54:08 +03:00 |
|
package-lock.json
|
Added natspec, isActive check
|
2020-11-10 16:07:13 +01:00 |
|
package.json
|
Move verification to a separate task and run after deployment. Speed up verification via more logic to prevent too many retries.
|
2020-11-10 13:23:30 +01:00 |
|
README.md
|
pretty print
|
2020-07-13 11:54:08 +03:00 |
|
runStableTokenCLI.sh
|
Updates in the specification of StableDebtToken
|
2020-10-29 23:19:11 +02:00 |
|
runUserConfigCLI.sh
|
Aave integration - first step
|
2020-10-15 00:59:12 +03:00 |
|
runVariableTokenCLI.sh
|
Updated spec harness and run.sh for VariableDebtToken contract
|
2020-10-29 01:20:38 +02:00 |
|
test-wallets.js
|
Initial fix
|
2020-08-19 16:10:08 +02:00 |
|
test.log
|
Rolled back PVE002, added further optimization
|
2020-10-22 18:59:15 +02:00 |
|
tsconfig.json
|
Migrate buidler to hardhat
|
2020-11-05 12:18:20 +01:00 |
|
tslint.json
|
pretty print
|
2020-07-13 11:54:08 +03:00 |
