├── .gitignore ├── .gitmodules ├── .travis.yml ├── Dappfile ├── LICENSE ├── Makefile ├── README.md ├── REWRITE.md └── src ├── auction.sol ├── auction_group.sol ├── auction_group.t.sol ├── auction_manager.t.sol ├── base.t.sol ├── db.sol ├── db.t.sol ├── events.sol ├── exploit.t.sol ├── gas.t.sol ├── manager.sol ├── reverse.t.sol ├── reverse_splitting.t.sol ├── splitting_auction.t.sol ├── twoway.t.sol ├── types.sol └── util.sol /.gitignore: -------------------------------------------------------------------------------- 1 | /out 2 | *.sw* 3 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/.gitmodules -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/.travis.yml -------------------------------------------------------------------------------- /Dappfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/Dappfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/README.md -------------------------------------------------------------------------------- /REWRITE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/REWRITE.md -------------------------------------------------------------------------------- /src/auction.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/auction.sol -------------------------------------------------------------------------------- /src/auction_group.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/auction_group.sol -------------------------------------------------------------------------------- /src/auction_group.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/auction_group.t.sol -------------------------------------------------------------------------------- /src/auction_manager.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/auction_manager.t.sol -------------------------------------------------------------------------------- /src/base.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/base.t.sol -------------------------------------------------------------------------------- /src/db.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/db.sol -------------------------------------------------------------------------------- /src/db.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/db.t.sol -------------------------------------------------------------------------------- /src/events.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/events.sol -------------------------------------------------------------------------------- /src/exploit.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/exploit.t.sol -------------------------------------------------------------------------------- /src/gas.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/gas.t.sol -------------------------------------------------------------------------------- /src/manager.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/manager.sol -------------------------------------------------------------------------------- /src/reverse.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/reverse.t.sol -------------------------------------------------------------------------------- /src/reverse_splitting.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/reverse_splitting.t.sol -------------------------------------------------------------------------------- /src/splitting_auction.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/splitting_auction.t.sol -------------------------------------------------------------------------------- /src/twoway.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/twoway.t.sol -------------------------------------------------------------------------------- /src/types.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/types.sol -------------------------------------------------------------------------------- /src/util.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/token-auction/HEAD/src/util.sol --------------------------------------------------------------------------------