Commit Graph

25 Commits (de5b894d8da9815fc73a8815a105a6db72934232)

Author SHA1 Message Date
yann300 c33a671148 add sourceHighlighter 8 years ago
Alex Beregszaszi 067b01e51c css: consistency fixes 8 years ago
Alex Beregszaszi 2550f3f11c udapp: enable legend 8 years ago
Alex Beregszaszi 2ad4b6a128 udapp: remove disabled code 8 years ago
Alex Beregszaszi 941b9ca2eb CSS: remove duplicate properties 8 years ago
chriseth 519dbe2d4a Provide formal verification input. 8 years ago
yann300 16b214ca41 remix int 8 years ago
iFA 2c10a3189e Fix dargbar width 8 years ago
Denton Liu 8e01a0b90b Added upload button 9 years ago
chriseth 810b340c48 Copy files over to another instance. 9 years ago
d11e9 9a380295e1 fix gist loading and publish text 9 years ago
d11e9 4ff4c86493 fix scroller styling 9 years ago
d11e9 cf7ac73156 fix file tab navigation to allow many files 9 years ago
chriseth 2c17b7a230 Fix strange font weight. 9 years ago
chriseth 6ce40e266e Link to documentation. 9 years ago
d11e9 8e2be15200 colour tweak 9 years ago
d11e9 1c67c2d128 add gist loading documentation 9 years ago
d11e9 83fb09b810 finishup header changes 9 years ago
d11e9 ec6dc3928a fix logo - return to white bg 9 years ago
d11e9 2c66706000 tx panel 9 years ago
d11e9 79d210b303 wiring txorigin into select dropdown 9 years ago
d11e9 b4c0f0561b awesomeify the header 9 years ago
d11e9 74814c9801 add icon font 9 years ago
d11e9 c616323d45 add fonts and reorg assets 9 years ago
d11e9 a502c7e5ae prettify header 9 years ago
d11e9 002126d208 tidy header 9 years ago
d11e9 4e19a7550b rename button but have title and warning prompt 9 years ago
d11e9 20a61de315 start tidying header 9 years ago
d11e9 e17ef151c2 allow publishing gists and toggle rhp 9 years ago
chriseth e7fe06c8f3 All contracts in a single Universal DApp. 9 years ago
d11e9 5a21d791a6 mute method button colours and reduce padding 9 years ago
d11e9 847add31ba fix error html-escaping 9 years ago
d11e9 660657d716 add contract output separator 9 years ago
d11e9 bd2d475bb3 add execution context toggle and warning 9 years ago
d11e9 717c7e922f render contract if only warnings, and make dismissable 9 years ago
d11e9 a85a9e8458 bugfix dragbar not working when rhp is scolled 9 years ago
d11e9 28f9e17938 fix contract output collapsing/hiding 9 years ago
d11e9 bf0acf274b use universal-dapp interface 9 years ago
chriseth 7055a87048 Pointer cursor on errors and warnings. 9 years ago
d11e9 82d090c930 improved error and warning navigation 9 years ago
chriseth 09159dfa20 Show warnings correctly. 9 years ago
d11e9 5eb10e8414 fix multiple files bugs 9 years ago
d11e9 0631065907 multiple files 9 years ago
d11e9 cf97d6dd55 organise libs, add readme and npm package.json 9 years ago