Skip to content

Activity

Showing most recent first

Update README.md

miyamokpushed 1 commit to main • 8a3230a…45cac46 • 
on Sep 29, 2024

certificate added

miyamokpushed 1 commit to main • 9b3449b…8a3230a • 
on Sep 29, 2024

Update README.md

miyamokpushed 1 commit to main • 7b13806…9b3449b • 
on Aug 21, 2024

Update README.md

miyamokpushed 1 commit to main • 2e2e912…7b13806 • 
on Jul 28, 2024

Update README.md

miyamokpushed 1 commit to main • 447f4ca…2e2e912 • 
on Jul 10, 2024

update

miyamokpushed 1 commit to main • 199b43b…447f4ca • 
on Jun 26, 2024

minor changes

miyamokpushed 1 commit to main • 9d12644…199b43b • 
on Jun 26, 2024

update

miyamokpushed 1 commit to main • 995e629…9d12644 • 
on Jun 26, 2024

cleaning up js codes

miyamokpushed 1 commit to main • 98c050f…995e629 • 
on Jun 26, 2024

update

miyamokpushed 1 commit to main • c7a6bcb…98c050f • 
on Jun 26, 2024

update

miyamokpushed 1 commit to main • 4654e61…c7a6bcb • 
on Jun 26, 2024

update

miyamokpushed 1 commit to main • 2093557…4654e61 • 
on Jun 26, 2024

imgs removed

miyamokpushed 1 commit to main • 6e9fe68…2093557 • 
on Jun 26, 2024

Smart contracts are now in contracts/

miyamokpushed 1 commit to main • 04c201d…6e9fe68 • 
on Jun 26, 2024

update

miyamokpushed 1 commit to main • 7de293b…04c201d • 
on Jun 26, 2024

javascript to deploy and communicate with the smart contracts

miyamokpushed 1 commit to main • 30a73d8…7de293b • 
on Jun 26, 2024

test scripts added

miyamokpushed 1 commit to main • 3d1714b…30a73d8 • 
on Jun 25, 2024

update

miyamokpushed 1 commit to main • 28d9d73…3d1714b • 
on Jun 20, 2024

update

miyamokpushed 1 commit to main • 1df9869…28d9d73 • 
on Jun 20, 2024

update

miyamokpushed 1 commit to main • 74ce885…1df9869 • 
on Jun 20, 2024

update

miyamokpushed 1 commit to main • 116964e…74ce885 • 
on Jun 20, 2024

update

miyamokpushed 1 commit to main • 5e9c051…116964e • 
on Jun 20, 2024

update

miyamokpushed 1 commit to main • dd82c18…5e9c051 • 
on Jun 20, 2024

minor fix such as spell checking

miyamokpushed 1 commit to main • 131aae2…dd82c18 • 
on Jun 20, 2024

proofread subsection Unsatisfiability proof

miyamokpushed 1 commit to main • b7c78fa…131aae2 • 
on Jun 20, 2024

update

miyamokpushed 1 commit to main • c88d32f…b7c78fa • 
on Jun 19, 2024

update

miyamokpushed 1 commit to main • ff4d5f8…c88d32f • 
on Jun 19, 2024

update

miyamokpushed 1 commit to main • 5925472…ff4d5f8 • 
on Jun 19, 2024

proofread subsections Experiment and Future work

miyamokpushed 1 commit to main • 3f81101…5925472 • 
on Jun 19, 2024

proofread subsections Modeling the smart contract Jar and Modeling th…

miyamokpushed 1 commit to main • 91b43ce…3f81101 • 
on Jun 18, 2024