Skip to content

Activity

update init deploy --ok

0xJonaseb11pushed 1 commit to main • 715db56…de65d90 • 
on Jun 1, 2024

update tests --decrement && --incrementCCC

0xJonaseb11pushed 3 commits to main • aa55034…715db56 • 
on Jun 1, 2024

update init deploy() --fix

0xJonaseb11pushed 1 commit to main • e1dddb5…aa55034 • 
on Jun 1, 2024

update init nodes

0xJonaseb11pushed 1 commit to main • 82aff25…e1dddb5 • 
on Jun 1, 2024

counter --finalized

0xJonaseb11pushed 2 commits to main • 8090fb1…82aff25 • 
on Jun 1, 2024

update init zeppelin wizard

0xJonaseb11pushed 1 commit to main • fba5936…8090fb1 • 
on May 19, 2024

update init erc1155 token

0xJonaseb11pushed 1 commit to main • 6ba8f82…fba5936 • 
on May 19, 2024

update erc721 standard

0xJonaseb11pushed 1 commit to main • 558a912…6ba8f82 • 
on May 19, 2024

update mint and burn

0xJonaseb11pushed 1 commit to main • e0c0d5a…558a912 • 
on May 19, 2024

init token standards

0xJonaseb11pushed 1 commit to main • 95ebfed…e0c0d5a • 
on May 19, 2024

resolve consumer --final

0xJonaseb11pushed 1 commit to main • 26745c8…95ebfed • 
on May 18, 2024

update init resolve

0xJonaseb11pushed 3 commits to main • ec6fa67…26745c8 • 
on May 18, 2024

init interact

0xJonaseb11pushed 1 commit to main • 46a3ac2…ec6fa67 • 
on May 16, 2024

init update resolve send-ether

0xJonaseb11pushed 1 commit to main • 8fa666e…46a3ac2 • 
on May 15, 2024

update init resolve

0xJonaseb11pushed 1 commit to main • 592ef34…8fa666e • 
on May 15, 2024

update init ethers lib

0xJonaseb11pushed 1 commit to main • 763159f…592ef34 • 
on May 15, 2024

update init gas

0xJonaseb11pushed 1 commit to main • debaaf5…763159f • 
on May 15, 2024

fixed declarations

0xJonaseb11pushed 1 commit to main • 8a23817…debaaf5 • 
on May 15, 2024

init Payable

0xJonaseb11pushed 1 commit to main • efb4f9c…8a23817 • 
on May 15, 2024

update init tx.origin && msg.sender attack

0xJonaseb11pushed 1 commit to main • 17ada42…efb4f9c • 
on May 14, 2024

update init hiddenInvariants

0xJonaseb11pushed 1 commit to main • 880a006…17ada42 • 
on May 14, 2024

update init evented

0xJonaseb11pushed 1 commit to main • e8b2e7b…880a006 • 
on May 13, 2024

update init constrs

0xJonaseb11pushed 1 commit to main • 4e2fa92…e8b2e7b • 
on May 13, 2024

update init constrs

0xJonaseb11pushed 1 commit to main • 0651828…4e2fa92 • 
on May 13, 2024

update init error handling

0xJonaseb11pushed 1 commit to main • c25c06e…0651828 • 
on May 13, 2024

update rename_5C

0xJonaseb11pushed 1 commit to main • 47c068a…c25c06e • 
on May 13, 2024

update init mapps

0xJonaseb11pushed 1 commit to main • 81ba5b8…47c068a • 
on May 12, 2024

update init enums

0xJonaseb11pushed 1 commit to main • 2ee1ceb…81ba5b8 • 
on May 12, 2024

update init README.md

0xJonaseb11pushed 1 commit to main • c7cfd35…2ee1ceb • 
on May 12, 2024

update init rm --cached

0xJonaseb11pushed 1 commit to main • 16a408d…c7cfd35 • 
on May 12, 2024