Skip to content

davidloz/master_thesis_evaluation_data

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
13000018-0x3352e3bcff77ec644989061980d60a9e610ba24e.hex
13000018-0x3352e3bcff77ec644989061980d60a9e610ba24e.hex
 
 
13000158-0x860b3913e248e6ba352120d550567379cb48fdd6.hex
13000158-0x860b3913e248e6ba352120d550567379cb48fdd6.hex
 
 
13000168-0xecd27a4aa99de6225c71a4d965f7f3bd66ff5148.hex
13000168-0xecd27a4aa99de6225c71a4d965f7f3bd66ff5148.hex
 
 
13000362-0x3f4d01c7ea52c278619f66c11f87c93ae4760152.hex
13000362-0x3f4d01c7ea52c278619f66c11f87c93ae4760152.hex
 
 
13000427-0x9086bfa7edb2145782a9eefbdcdc21431db08c31.hex
13000427-0x9086bfa7edb2145782a9eefbdcdc21431db08c31.hex
 
 
13000581-0x4d48c26721944efb0eb42b696e16da49d2a5fdb4.hex
13000581-0x4d48c26721944efb0eb42b696e16da49d2a5fdb4.hex
 
 
13000659-0xe094255c05177ed8dfc82fa90cc161cd21d7f285.hex
13000659-0xe094255c05177ed8dfc82fa90cc161cd21d7f285.hex
 
 
13000675-0x401ce12f17791c7b01f2966d750009d90a720757.hex
13000675-0x401ce12f17791c7b01f2966d750009d90a720757.hex
 
 
13000687-0xf0ac1047557957a37b26aeb291241565a1f5e5bb.hex
13000687-0xf0ac1047557957a37b26aeb291241565a1f5e5bb.hex
 
 
13000704-0x07e29648533c72b0d4716c049d2d4347ea884da1.hex
13000704-0x07e29648533c72b0d4716c049d2d4347ea884da1.hex
 
 
13000705-0x7c91321cdeb714e27285a3d78c6f5c1e90ba613a.hex
13000705-0x7c91321cdeb714e27285a3d78c6f5c1e90ba613a.hex
 
 
13000743-0xe54d11b0fb7b92064dcc9c30d209b0cc37656f44.hex
13000743-0xe54d11b0fb7b92064dcc9c30d209b0cc37656f44.hex
 
 
13000752-0x56ae7332a4e6d98bcb3342f71cb440576487948b.hex
13000752-0x56ae7332a4e6d98bcb3342f71cb440576487948b.hex
 
 
13000801-0x3fadad0274db01e1a2d08d91fd1e8e15bdb085a9.hex
13000801-0x3fadad0274db01e1a2d08d91fd1e8e15bdb085a9.hex
 
 
13000859-0x2e92864240819e2286d440b0c477077dd660b340.hex
13000859-0x2e92864240819e2286d440b0c477077dd660b340.hex
 
 
13000864-0x8ae1326882ef8e92dec91a977d658d4c6f7db52a.hex
13000864-0x8ae1326882ef8e92dec91a977d658d4c6f7db52a.hex
 
 
13000965-0x72f6ba3efd457af0c9757354bd83f357260dc5cd.hex
13000965-0x72f6ba3efd457af0c9757354bd83f357260dc5cd.hex
 
 
13000966-0x018cfc3fdda0c3ef0a2b09af9259401860bfe055.hex
13000966-0x018cfc3fdda0c3ef0a2b09af9259401860bfe055.hex
 
 
13001040-0xc05a4ed46ef5b0678d56fff5a877b4b6b32077bb.hex
13001040-0xc05a4ed46ef5b0678d56fff5a877b4b6b32077bb.hex
 
 
13001049-0x486966a17fb00e98fbe76758f120624a25c9b5b2.hex
13001049-0x486966a17fb00e98fbe76758f120624a25c9b5b2.hex
 
 
13001092-0xd294cb1ac82d6a5c1536107ca6ebb32bff06d98a.hex
13001092-0xd294cb1ac82d6a5c1536107ca6ebb32bff06d98a.hex
 
 
13001112-0x18011804370989313847071bc4f960b9715e680d.hex
13001112-0x18011804370989313847071bc4f960b9715e680d.hex
 
 
13001137-0x52b49091d274f093dc813a4b76ab7a6e8f4f8e00.hex
13001137-0x52b49091d274f093dc813a4b76ab7a6e8f4f8e00.hex
 
 
13001364-0x21035eed6ffb03084aef27481f9a8c88061cf582.hex
13001364-0x21035eed6ffb03084aef27481f9a8c88061cf582.hex
 
 
13001408-0x6a05bd123d780055c38526cc05d3c9b90d0e471c.hex
13001408-0x6a05bd123d780055c38526cc05d3c9b90d0e471c.hex
 
 
13001514-0x4269eaec0710b874ea55e2aedc8fb66223522bbe.hex
13001514-0x4269eaec0710b874ea55e2aedc8fb66223522bbe.hex
 
 
13001584-0x6688ee4e6e17a9cf88a13da833b011e64c2b4203.hex
13001584-0x6688ee4e6e17a9cf88a13da833b011e64c2b4203.hex
 
 
13001601-0x546c0b07bc01cb761c8fc15a6e4f84cbbd4e1d21.hex
13001601-0x546c0b07bc01cb761c8fc15a6e4f84cbbd4e1d21.hex
 
 
13001645-0x09c4b30aaf16f96c7b086ce5692418420ebf6f08.hex
13001645-0x09c4b30aaf16f96c7b086ce5692418420ebf6f08.hex
 
 
13001645-0x2055cfd5cdbc90c60a202a1ac3ddfb71aec1ce98.hex
13001645-0x2055cfd5cdbc90c60a202a1ac3ddfb71aec1ce98.hex
 
 
13001688-0x77f98c147a37564c32e48054bff7692a1f97f343.hex
13001688-0x77f98c147a37564c32e48054bff7692a1f97f343.hex
 
 
13001782-0xb8a15b4ed89943d0381a71eac50715c4faa0609b.hex
13001782-0xb8a15b4ed89943d0381a71eac50715c4faa0609b.hex
 
 
13001796-0x2b75be54b211408044474d485b1eff008d1208af.hex
13001796-0x2b75be54b211408044474d485b1eff008d1208af.hex
 
 
13001801-0xa6c31092b3f6571f8543e4f058baca4f34eaf8db.hex
13001801-0xa6c31092b3f6571f8543e4f058baca4f34eaf8db.hex
 
 
13001816-0x35ce5b9e326a17db6807a7f2a85a3473e5ccdfac.hex
13001816-0x35ce5b9e326a17db6807a7f2a85a3473e5ccdfac.hex
 
 
13001816-0x7a595176043ca06faf7523f73d39c5ca100169df.hex
13001816-0x7a595176043ca06faf7523f73d39c5ca100169df.hex
 
 
13001827-0x8f9519caa9876f3f0c4cb7ff380d1b4f988d64ec.hex
13001827-0x8f9519caa9876f3f0c4cb7ff380d1b4f988d64ec.hex
 
 
13001831-0x88091012eedf8dba59d08e27ed7b22008f5d6fe5.hex
13001831-0x88091012eedf8dba59d08e27ed7b22008f5d6fe5.hex
 
 
13002126-0x994cc3a3fc0e1cb9a16f5ed06cf52169c09ab480.hex
13002126-0x994cc3a3fc0e1cb9a16f5ed06cf52169c09ab480.hex
 
 
13002151-0x765e76b260667084accd3957739558ba412843a7.hex
13002151-0x765e76b260667084accd3957739558ba412843a7.hex
 
 
13002176-0xa732d6fe7768a671ebee13aaf8e70c250d3f83b7.hex
13002176-0xa732d6fe7768a671ebee13aaf8e70c250d3f83b7.hex
 
 
13002177-0x8489b923b02d118c42c121c577007fa6baa3ae2e.hex
13002177-0x8489b923b02d118c42c121c577007fa6baa3ae2e.hex
 
 
13002184-0x92e9770c08f90a80799fd31ff5f739247e9f8776.hex
13002184-0x92e9770c08f90a80799fd31ff5f739247e9f8776.hex
 
 
13002186-0xfe9672948c47aad16f38210951ab4f0bb384149a.hex
13002186-0xfe9672948c47aad16f38210951ab4f0bb384149a.hex
 
 
13002190-0xbaf488d47341a9679913748ce62268dd76bbb09f.hex
13002190-0xbaf488d47341a9679913748ce62268dd76bbb09f.hex
 
 
13002204-0xf67ead79f5d2d502a36ec93843ac6d62762a259e.hex
13002204-0xf67ead79f5d2d502a36ec93843ac6d62762a259e.hex
 
 
13002208-0x23b87d8fd364199e2b61a1d8f8ed858af5a78076.hex
13002208-0x23b87d8fd364199e2b61a1d8f8ed858af5a78076.hex
 
 
13002208-0xd9864b3c7f7713baa2f70a51d17d358b051f04c0.hex
13002208-0xd9864b3c7f7713baa2f70a51d17d358b051f04c0.hex
 
 
13002224-0x7bf33abe3f22b5b68bac013958ee2f892edeaae2.hex
13002224-0x7bf33abe3f22b5b68bac013958ee2f892edeaae2.hex
 
 
13002241-0x00c4cb57617b06c5f3903f62eb6050b110379e90.hex
13002241-0x00c4cb57617b06c5f3903f62eb6050b110379e90.hex
 
 
13002262-0x3a9a93a04efb22e632632ab584ff45deb7321ac8.hex
13002262-0x3a9a93a04efb22e632632ab584ff45deb7321ac8.hex
 
 
13002293-0x520d90df5fa356ea2b43f40301ed2873758e07e3.hex
13002293-0x520d90df5fa356ea2b43f40301ed2873758e07e3.hex
 
 
13002304-0xe8da2e3d904e279220a86634aafa4d3be43c89d9.hex
13002304-0xe8da2e3d904e279220a86634aafa4d3be43c89d9.hex
 
 
13002322-0x9d859d2e5447b3df9e4123110db82d606c962fa9.hex
13002322-0x9d859d2e5447b3df9e4123110db82d606c962fa9.hex
 
 
13002326-0xe859231d5ef4051d300698b9d46c421de1d7d5e0.hex
13002326-0xe859231d5ef4051d300698b9d46c421de1d7d5e0.hex
 
 
13002367-0xb2112b646c7fc53e8d121e709fc32f725c9590ac.hex
13002367-0xb2112b646c7fc53e8d121e709fc32f725c9590ac.hex
 
 
13002369-0x07da6bba8529fc564f930ab7ccb7d7abbe6ff56b.hex
13002369-0x07da6bba8529fc564f930ab7ccb7d7abbe6ff56b.hex
 
 
13002371-0x9cec55dedf0f59ddce77c1c9067fa92f256202fd.hex
13002371-0x9cec55dedf0f59ddce77c1c9067fa92f256202fd.hex
 
 
13002372-0xe7e47045ab9aa5146129845dfd5a85471196b026.hex
13002372-0xe7e47045ab9aa5146129845dfd5a85471196b026.hex
 
 
13002373-0x4d8b1cd12746311f7c9564dc3bdf9187d20305fe.hex
13002373-0x4d8b1cd12746311f7c9564dc3bdf9187d20305fe.hex
 
 
13002375-0xb1b02d13ad715f1889933e73c8ca257f80bf02d8.hex
13002375-0xb1b02d13ad715f1889933e73c8ca257f80bf02d8.hex
 
 
13002377-0xffad69a7a451fb51bc4fc7feced58c4f2cb88a12.hex
13002377-0xffad69a7a451fb51bc4fc7feced58c4f2cb88a12.hex
 
 
13002382-0x7b57f318d33e4416b2e30581cb3d6b56f5405957.hex
13002382-0x7b57f318d33e4416b2e30581cb3d6b56f5405957.hex
 
 
13002388-0xf31e4177332b135250fbd986a57c6c488df1c143.hex
13002388-0xf31e4177332b135250fbd986a57c6c488df1c143.hex
 
 
13002392-0x6dbf080f54955c50e7ba9c3f5e0b4ed17f7275f8.hex
13002392-0x6dbf080f54955c50e7ba9c3f5e0b4ed17f7275f8.hex
 
 
13002444-0x158d5fa3ef8e4dda8a5367decf76b94e7effce95.hex
13002444-0x158d5fa3ef8e4dda8a5367decf76b94e7effce95.hex
 
 
13002447-0x54150f44c785d412ec262fe895cc3b689c72f49b.hex
13002447-0x54150f44c785d412ec262fe895cc3b689c72f49b.hex
 
 
13002486-0x3d6963e60080184d6b48cd006b4e84b59b195d3c.hex
13002486-0x3d6963e60080184d6b48cd006b4e84b59b195d3c.hex
 
 
13002489-0xbac5f0964006bd3871189dc0da01e67d7c435c9f.hex
13002489-0xbac5f0964006bd3871189dc0da01e67d7c435c9f.hex
 
 
13002501-0x263b671648675bda5263525eca554e4d5697e210.hex
13002501-0x263b671648675bda5263525eca554e4d5697e210.hex
 
 
13002502-0x82995a4170318f5e26ca6b650a337738dcc8114c.hex
13002502-0x82995a4170318f5e26ca6b650a337738dcc8114c.hex
 
 
13002521-0x40757d827022e37ef1fbb7e24dcb325104be1621.hex
13002521-0x40757d827022e37ef1fbb7e24dcb325104be1621.hex
 
 
13002521-0x76c99738d6946093204dbec97ed8d80bada6ca52.hex
13002521-0x76c99738d6946093204dbec97ed8d80bada6ca52.hex
 
 
13002526-0xac9978d9c02f1ce574aef5d5849d8703d98a29f8.hex
13002526-0xac9978d9c02f1ce574aef5d5849d8703d98a29f8.hex
 
 
13002532-0xa063e36b3ebcc7c47bbd684d7bd45f684e534463.hex
13002532-0xa063e36b3ebcc7c47bbd684d7bd45f684e534463.hex
 
 
13002534-0xbbec49dc5c0fbc95491945342e6476c4735c7e26.hex
13002534-0xbbec49dc5c0fbc95491945342e6476c4735c7e26.hex
 
 
13002536-0x0b8ea0e1c965c32b26b31fe4a55bd9ec29c78fdf.hex
13002536-0x0b8ea0e1c965c32b26b31fe4a55bd9ec29c78fdf.hex
 
 
13002537-0x3a28f25456ba5cf7a00d6cf3bd2999aa9ef93afd.hex
13002537-0x3a28f25456ba5cf7a00d6cf3bd2999aa9ef93afd.hex
 
 
13002590-0xa0eebc70f892c18c6c9cbc9bb336968f62e43427.hex
13002590-0xa0eebc70f892c18c6c9cbc9bb336968f62e43427.hex
 
 
13002595-0xf40d5402a35b181f440c6c3b7729398caf807cae.hex
13002595-0xf40d5402a35b181f440c6c3b7729398caf807cae.hex
 
 
13002610-0xd2e59584b4ecd863f8efd008e4029d968ffad26c.hex
13002610-0xd2e59584b4ecd863f8efd008e4029d968ffad26c.hex
 
 
13002620-0x3e921bceb83487d09c3404022f101a1dc3e776ca.hex
13002620-0x3e921bceb83487d09c3404022f101a1dc3e776ca.hex
 
 
13002623-0x7974246c08bb358dac80a51aa88aed2d260c63ba.hex
13002623-0x7974246c08bb358dac80a51aa88aed2d260c63ba.hex
 
 
13002628-0x54448d1a27e4c38473fdf534b217c837db23b445.hex
13002628-0x54448d1a27e4c38473fdf534b217c837db23b445.hex
 
 
13002665-0x4714ca039da99986a15862f785555a44e702d972.hex
13002665-0x4714ca039da99986a15862f785555a44e702d972.hex
 
 
13002772-0x0f34f9a83f8c5cf91f64fb2dbf974ca5dcd1f885.hex
13002772-0x0f34f9a83f8c5cf91f64fb2dbf974ca5dcd1f885.hex
 
 
13002783-0xdf943760b7668bd81d90679e94033381fa4e6111.hex
13002783-0xdf943760b7668bd81d90679e94033381fa4e6111.hex
 
 
13002820-0x2b58b7058d7930eeca9f3ade8fd0599ee9aceeb1.hex
13002820-0x2b58b7058d7930eeca9f3ade8fd0599ee9aceeb1.hex
 
 
13002874-0x2d0338725b04533bf4f6d2b4c56f008613679517.hex
13002874-0x2d0338725b04533bf4f6d2b4c56f008613679517.hex
 
 
13002874-0x72c8b3aa6ed2ff68022691ecd21aeb1517cfaea6.hex
13002874-0x72c8b3aa6ed2ff68022691ecd21aeb1517cfaea6.hex
 
 
13002874-0xb62726743eec0573ec48457bdf02cb23f2387153.hex
13002874-0xb62726743eec0573ec48457bdf02cb23f2387153.hex
 
 
13002874-0xbf900809f4c73e5a3476eb183d8b06a27e61f8e5.hex
13002874-0xbf900809f4c73e5a3476eb183d8b06a27e61f8e5.hex
 
 
13002875-0x538422096189d14eb0d128011fa33ebd68ee930b.hex
13002875-0x538422096189d14eb0d128011fa33ebd68ee930b.hex
 
 
13002883-0xb207dd9235ab6c6cc84f591fcc0974c7f188807e.hex
13002883-0xb207dd9235ab6c6cc84f591fcc0974c7f188807e.hex
 
 
13002893-0x5d4683ba64ee6283bb7fdb8a91252f6aab32a110.hex
13002893-0x5d4683ba64ee6283bb7fdb8a91252f6aab32a110.hex
 
 
13002895-0xea61926b4c8b5f8e2bc6f85c0bd800969dc79fcf.hex
13002895-0xea61926b4c8b5f8e2bc6f85c0bd800969dc79fcf.hex
 
 
13002957-0x373f5612ccc70b06e87117fddac61dc74da7a956.hex
13002957-0x373f5612ccc70b06e87117fddac61dc74da7a956.hex
 
 
13002958-0x5d20d931cc3b02195d2484b7fd80bbb4d14d2a9f.hex
13002958-0x5d20d931cc3b02195d2484b7fd80bbb4d14d2a9f.hex
 
 
13003007-0xe3b624871cac0e10d2a27a0964665b45fbc3c805.hex
13003007-0xe3b624871cac0e10d2a27a0964665b45fbc3c805.hex
 
 
13003012-0x927e1c4345b1bf94cb874a19d4c9091f07327ba0.hex
13003012-0x927e1c4345b1bf94cb874a19d4c9091f07327ba0.hex
 
 

Repository files navigation

Dolabra evaluation data

This repository contains the example smart contracts used for benchmarking the dolabra tool.

About

No description, website, or topics provided.

Resources

Readme
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors