diff --git a/.travis.yml b/.travis.yml index 2576695c75..7ee87612d5 100644 --- a/.travis.yml +++ b/.travis.yml @@ -2,7 +2,7 @@ language: node_js node_js: - stable script: - - npm run lint && npm run csslint && npm run test && npm run downloadsolc && npm run make-mock-compiler && npm run build + - npm run lint && npm run test && npm run downloadsolc && npm run make-mock-compiler && npm run build - ./ci/browser_tests.sh deploy: provider: script diff --git a/assets/css/browser-solidity.css b/assets/css/browser-solidity.css index b09eb240b6..7086c4f0fe 100644 --- a/assets/css/browser-solidity.css +++ b/assets/css/browser-solidity.css @@ -136,11 +136,6 @@ body { box-sizing: border-box; } -#output { - display: block; - padding: 1em; -} - #header { font-size: 13px; height: 100%; @@ -166,6 +161,8 @@ body { list-style: none; margin: 0; padding: 0; + display: flex; + justify-content: space-between; } #header #options li.active { @@ -185,7 +182,6 @@ body { #header #optionViews > div { display: none; - padding: .5em .5em .5em; } #header #optionViews.txView #txView { @@ -198,7 +194,6 @@ body { #header #optionViews.publishView #publishView { display: block; - padding: 3em; } #header #optionViews.envView #envView { @@ -207,7 +202,6 @@ body { #header #optionViews.debugView #debugView { display: block; - padding: 3em; } #header #optionViews.verificationView #verificationView { @@ -216,8 +210,6 @@ body { #header #optionViews.staticanalysisView #staticanalysisView { display: block; - padding: 3em; - line-height: 1.5em; } #header #optionViews.txView input, @@ -264,12 +256,12 @@ body { #publishView button { background-color: #C6CFF7; font-size: 12px; - padding: 0.25em; margin-bottom: .5em; color: black; border:0 none; border-radius: 3px; width: 8em; + height: 20px; margin-right: 1em; cursor: pointer; } @@ -303,24 +295,13 @@ body { display: block; } -#header .origin, -#header #executionContext { +#header .origin { display: block; word-wrap: break-word; padding: 1.5em; font-weight: bold; } -#selectExEnv { - text-decoration: none; - background-color: #C6CFF7; - cursor: pointer; - font-size: 12px; - color: black; - border-radius: 3px; - border: 0 none; -} - #header #versionSelector { text-decoration: none; background-color: #C6CFF7; @@ -331,15 +312,6 @@ body { border: 0 none; } -.col1 { - width: 30%; - float: left; -} -.col2 { - width: 70%; - float: left; -} - #formalVerificationInput { height: 4.5em; width: 100%; @@ -354,18 +326,6 @@ body { display: none; } -.udapp .contract > .title { - cursor:pointer; -} - -.udapp .contract > .title:before { - content: "\25BC"; - opacity: 0.5; - margin-right: 0.4em; - font-size: 10px; - margin-top: 0.2em; -} - .contract.hidesub > .title:before { content: "\25B6"; } @@ -380,11 +340,13 @@ body { overflow: auto; display: block; clear: both; - margin: 1.5em; + margin: .5em .5em 0 .5em; + padding: .5em; font-weight: bold; } .crow #txorigin { + margin-left: 0.5em; text-decoration: none; background-color: #C6CFF7; cursor: pointer; @@ -412,9 +374,10 @@ body { word-wrap: break-word; cursor: pointer; position: relative; - margin: 0.5em; - border-radius: 0.6em; - padding: 1em 1.5em; + margin: 0.5em 0 1em 0; + border-radius: 5px; + line-height: 20px; + padding: 8px 15px; } .sol.error pre, @@ -438,11 +401,13 @@ body { } .sol.error { - background-color: rgba(255, 0, 0, 0.4); + background-color: hsla(0, 100%, 75%, 0.1); + border: .2em dotted #FF8080; } .sol.warning { - background-color: rgba(210, 202, 36, 0.4); + background-color: hsla(59, 56%, 78%, 0.5); + border: .2em dotted #ffbd01; } #ghostbar { @@ -465,7 +430,7 @@ body { bottom: 0; cursor: col-resize; z-index: 999; - border-right: 2px solid #C6CFF7; + border-right: 2px solid hsla(215, 81%, 79%, .3); } #editor .ace-tm .ace_gutter, @@ -475,11 +440,10 @@ body { } input[readonly] { - padding: .4em; - border: 1px solid #ccc; - box-sizing: border-box; display: block; width: 100%; + height: 7px; + padding: .8em; } input[type="file"] { diff --git a/assets/css/universal-dapp.css b/assets/css/universal-dapp.css index a63532bd76..b7571ce29d 100644 --- a/assets/css/universal-dapp.css +++ b/assets/css/universal-dapp.css @@ -1,6 +1,4 @@ .udapp { - padding: .5em; - border: 1px dotted #4D5686; position: relative; box-shadow: 0 0 5px rgba(0, 0, 0, 0.3); box-sizing: border-box; @@ -16,7 +14,6 @@ color: #7A7AE2; } -.udapp input, .udapp button, .udapp-setup textarea, .udapp-setup button { @@ -47,30 +44,7 @@ .udapp .create { overflow: auto; - margin-bottom: 1em; -} - -.udapp .title { - margin-bottom: 0.4em; - padding: 1em; - background-color: #C6CFF7; - font-weight: bold; - display: flex; - justify-content: space-between; - word-wrap: break-word; - position: relative; - border-radius: 3px; -} - -.udapp .definitionTitle { - background-color: #C6CFD9; -} - -.udapp .title:hover { - opacity: 0.8; -} -.udapp .title .size { - font-weight: normal; + margin: 1em; } .udapp .output { @@ -205,12 +179,8 @@ border-radius: 3px; } -.udapp input { - border-left: 0 none; -} - .udapp button { - background-color: #666; + padding: .36em; color: #4C4B4B; cursor: pointer; overflow: hidden; @@ -310,15 +280,24 @@ } .udapp .legend { - font-size: 12px; - float: left; - color: #666; + background-color: white; + line-height: 20px; + border: .2em dotted lightGrey; + padding: 8px 15px; + border-radius: 5px; + margin-bottom: 1em; + display: flex; + justify-content: initial; + flex-wrap: wrap; } .udapp .legend div { display: inline-block; margin-right: 0.5em; - margin-bottom: 1em; + display: flex; + align-items: center; + line-height: 0px; + padding: 5px; } .udapp .legend div:before { @@ -329,6 +308,7 @@ height: 1em; margin-right: 0.5em; width: 1em; + border-radius: 50%; } .udapp .legend .publish:before { diff --git a/ci/browser_tests.sh b/ci/browser_tests.sh index 1a8e1928f0..c49d154cef 100755 --- a/ci/browser_tests.sh +++ b/ci/browser_tests.sh @@ -19,8 +19,11 @@ while [ ! -f "$SAUCECONNECT_READYFILE" ]; do sleep .5 done -# npm run browser-test-remote-parallel || TEST_EXITCODE=1 -npm run nightwatch_remote_parallel || TEST_EXITCODE=1 +npm run nightwatch_remote_chrome || TEST_EXITCODE=1 +npm run nightwatch_remote_firefox || TEST_EXITCODE=1 +npm run nightwatch_remote_safari || TEST_EXITCODE=1 +# npm run nightwatch_remote_ie || TEST_EXITCODE=1 +# npm run nightwatch_remote_parallel || TEST_EXITCODE=1 node ci/sauceDisconnect.js "$SAUCECONNECT_USERNAME" "$SAUCECONNECT_ACCESSKEY" "$SAUCECONNECT_JOBIDENTIFIER" diff --git a/index.html b/index.html index e882ab0847..85d142e603 100644 --- a/index.html +++ b/index.html @@ -4,7 +4,6 @@
- Publish all open files to an anonymous github gist.
- Copy all files to another instance of Browser-solidity.
-
You can also load a gist by adding the following #gist=GIST_ID to your url, where GIST_ID is the id of the gist to load.
-
- This tab provides support for formal verification of Solidity contracts.
- This feature is still in development and thus also not yet well documented,
- but you can find some information
- here.
- The compiler generates input to be verified
- (or report errors). Please paste the text below into
- http://why3.lri.fr/try/
- to actually perform the verification.
- We plan to support direct integration in the future.
-