Commit Graph

4220 Commits (394070d94afee4b2e3a01761edbaf9055e12b79f)

Author SHA1 Message Date
yann300 01c89554fe fix missing param 1 year ago
ioedeveloper 7421725518 Activate circom plugin after template selected 1 year ago
ioedeveloper ee7f185726 Added semaphore templates 1 year ago
ioedeveloper 8d850cc154 Remove unused imports 1 year ago
ioedeveloper 3f86a8a6d2 Improve workspace typings 1 year ago
ioedeveloper 550f6d9a1a Show errors and warnings 1 year ago
ioedeveloper a5bbf89e3e Compile circom code with play button 1 year ago
Joseph Izang 749761c2b0 export types correctly 1 year ago
Joseph Izang a62796b84f remove duplicate type declaration 1 year ago
Joseph Izang dcab536604 clean up console log 1 year ago
Joseph Izang aa79aa18ca add types in contract-selection component. unfold 2 important sections by default 1 year ago
Joseph Izang 695338746e fix absent downward caret. add type for contractpropertyName 1 year ago
Joseph Izang 5f18288eaa logging 1 year ago
bunsenstraat 925b88f45b resize handler 1 year ago
bunsenstraat 6f1a45f073 set shells 1 year ago
bunsenstraat d8e21274c5 clear button 1 year ago
bunsenstraat 9657490cd5 terminal menu 1 year ago
Joseph Izang 3f5ee28059 clean up 1 year ago
Joseph Izang 27ddcb602d add spanish and french to settings 1 year ago
bunsenstraat 6c0282a848 rm console 1 year ago
bunsenstraat 5666ff70c9 css 1 year ago
bunsenstraat 66b1c5fbd5 fix xterm 1 year ago
filip mertens 57bde3a716 fonts xterm 1 year ago
filip mertens 6891556e46 theme update xterm 1 year ago
filip mertens 0d9bdd2db8 databatcher 1 year ago
Joseph Izang cedb350e44 fix e2e 1 year ago
Joseph Izang cc78bff052 add tooltip to download button. 1 year ago
Joseph Izang 0d0ab68961 showing compilation details in main tab 1 year ago
Joseph Izang 3d165c3e5b testing loading of mainpanel plugin 1 year ago
bunsenstraat 0e6b38482d fix resize 1 year ago
yann300 7e1afb4e40 fix open default file 1 year ago
filip mertens 2b6a77cff1 fix lint 1 year ago
filip mertens c0712cc65d restore electron recent folders 1 year ago
bunsenstraat f1b1e9c48e fix lint 1 year ago
yann300 352ef8412a make function stack clickable 1 year ago
bunsenstraat 8ef201a903 fix ripgrep paths 1 year ago
filip mertens 0149b8b24f only node-pty 1 year ago
filip mertens c3deb6da8a fix state 1 year ago
filip mertens d25cc2e3a0 wait before indexing 1 year ago
filip mertens 39f146be9a fs 1 year ago
filip mertens 50d98f0812 ripgrep 1 year ago
filip mertens 1b525cd85a merge test 1 year ago
filip mertens 31ce14b695 merging 1 year ago
lianahus f8bb581c19 updated e2e name and cleanup 1 year ago
lianahus 9dd68b4d95 createing new file every time user clickes on start coding 1 year ago
lianahus 14cbe39f07 reconstructed playground 1 year ago
lianahus 0971e3b691 adding tooltips to home buttons 1 year ago
lianahus 869161c6b1 refactoring the saved workspaces to have >3 saved 1 year ago
lianahus 12b42cd765 fixing rename workspace 1 year ago
lianahus 9fa1955c79 indent 1 year ago