Skip to content

Activity

Showing most recent first

Minor cleanup

jchoi2022pushed 1 commit to dev • 99bd394…a5da4a7 • 
on Jan 27

Update README

jchoi2022created dev • 99bd394 • 
on Jan 23

Fix the requirements.txt for mythril

jchoi2022pushed 1 commit to main • 68d917c…3860857 • 
on Jul 24, 2024

Deleted branch

jchoi2022deleted fix-build • 
on Jul 10, 2024

Fix the script to detect and report errors earlier

Force push
jchoi2022force pushed to main • 3fbd309…68d917c • 
on Jul 10, 2024

Fix the script to detect and report errors earlier

jchoi2022pushed 2 commits to main • 9027394…3fbd309 • 
on Jul 10, 2024

Fix and cleanup setup for Ubuntu 20.04

jchoi2022created fix-build • 2192181 • 
on Jul 9, 2024

Update to use Ubuntu 20.04 as docker image

Force push
jchoi2022force pushed to main • a044e8d…9027394 • 
on May 9, 2024

Update to use Ubuntu 20.04 as docker image

jchoi2022pushed 3 commits to main • 33c42ba…a044e8d • 
on May 9, 2024