├── .gitignore ├── .gitlab-ci.yml ├── AUTHORS ├── CHANGELOG ├── LICENSE ├── README.md ├── api.md ├── backend ├── .cargo │ └── config.toml ├── .dockerignore ├── .env.sample ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── Dockerfile ├── README.md ├── build.sh ├── diesel.toml ├── jielabs-backend.service ├── migrations │ ├── .gitkeep │ ├── 2020-02-12-120630_create_users │ │ ├── down.sql │ │ └── up.sql │ ├── 2020-02-13-144220_create_jobs │ │ ├── down.sql │ │ └── up.sql │ ├── 2020-02-16-121048_create_configs │ │ ├── down.sql │ │ └── up.sql │ ├── 2020-02-23-082509_add_time_to_jobs │ │ ├── down.sql │ │ └── up.sql │ ├── 2020-03-07-000036_add_last_login_to_users │ │ ├── down.sql │ │ └── up.sql │ └── 2021-03-16-124339_make_password_nullable │ │ ├── down.sql │ │ └── up.sql └── src │ ├── bin │ ├── backend.rs │ ├── create_user.rs │ ├── create_users.rs │ ├── fix_jobs.rs │ ├── generate_hash.rs │ ├── mock_board.rs │ ├── mock_user.rs │ └── s3_gc.rs │ ├── board.rs │ ├── board_manager.rs │ ├── common.rs │ ├── env.rs │ ├── file.rs │ ├── lib.rs │ ├── metric.rs │ ├── models.rs │ ├── schema.rs │ ├── session.rs │ ├── task.rs │ ├── task_manager.rs │ ├── user.rs │ ├── ws_board.rs │ └── ws_user.rs ├── examples ├── 4m-clock-digital-life.json ├── const-output.json ├── digital_life.vhdl ├── manual-clock-digital-life.json ├── multi-pin-net-manual-clock.json ├── running-light.json └── running_light.vhdl ├── frontend ├── .eslintrc.json ├── .gitignore ├── Dockerfile ├── README.md ├── assets │ └── logo.studio ├── build.sh ├── config-overrides.js ├── mime.types ├── nginx.conf ├── package.json ├── public │ ├── index.html │ ├── logo │ │ ├── logo-flat.png │ │ ├── logo.png │ │ ├── logo.svg │ │ ├── logo@2x.png │ │ ├── logo@3x.png │ │ ├── logo@4x.png │ │ └── logo@8x.png │ ├── manifest.json │ └── robots.txt ├── src │ ├── App.js │ ├── ErrorBoundary.js │ ├── HelpLayer.js │ ├── Sandbox.js │ ├── assets │ │ ├── tutorial.v │ │ └── tutorial.vhdl │ ├── blocks │ │ ├── Clock.js │ │ ├── Digit4.js │ │ ├── Digit7.js │ │ ├── FPGA.js │ │ ├── Switch4.js │ │ └── index.js │ ├── comps │ │ ├── Dialog.js │ │ ├── Digit.js │ │ ├── Highlighter.js │ │ ├── Icon.js │ │ ├── Input.js │ │ └── Tooltip.js │ ├── config.example.js │ ├── fonts │ │ ├── MaterialIcons │ │ │ └── MaterialIcons.woff2 │ │ ├── Roboto │ │ │ ├── LICENSE.txt │ │ │ ├── Roboto-Bold.woff2 │ │ │ ├── Roboto-Regular.woff2 │ │ │ └── Roboto-Thin.woff2 │ │ └── RobotoMono │ │ │ ├── LICENSE.txt │ │ │ ├── RobotoMono-Bold.woff2 │ │ │ ├── RobotoMono-Regular.woff2 │ │ │ └── RobotoMono-Thin.woff2 │ ├── index.js │ ├── index.scss │ ├── lang.js │ ├── lib │ │ ├── .gitignore │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ ├── verilog.rs │ │ │ └── vhdl.rs │ ├── loaders │ │ └── Monaco.js │ ├── polyfills.js │ ├── prelude.scss │ ├── routes │ │ ├── Login.js │ │ └── Workspace.js │ ├── serviceWorker.js │ ├── store │ │ ├── actions.js │ │ ├── index.js │ │ └── reducers.js │ ├── styles │ │ ├── consts.scss │ │ ├── editor.scss │ │ ├── error.scss │ │ ├── font.scss │ │ ├── help.scss │ │ ├── highlighter.scss │ │ ├── scrollbar.scss │ │ ├── shutter.scss │ │ ├── tooltip.scss │ │ └── transition.scss │ └── util.js └── yarn.lock ├── manage ├── .gitignore ├── README.md ├── babel.config.js ├── package.json ├── public │ ├── favicon.ico │ └── index.html ├── src │ ├── App.vue │ ├── components │ │ └── Main.vue │ ├── config.sample.js │ ├── main.js │ ├── plugins │ │ └── vuetify.js │ └── util.js ├── vue.config.js └── yarn.lock ├── protocol.md └── uninstaller └── service-worker.js /.gitignore: -------------------------------------------------------------------------------- 1 | deploy.sh 2 | config.yml 3 | .*.sw[a-p] 4 | -------------------------------------------------------------------------------- /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/AUTHORS -------------------------------------------------------------------------------- /CHANGELOG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/CHANGELOG -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/README.md -------------------------------------------------------------------------------- /api.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/api.md -------------------------------------------------------------------------------- /backend/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/.cargo/config.toml -------------------------------------------------------------------------------- /backend/.dockerignore: -------------------------------------------------------------------------------- 1 | .env 2 | /target 3 | -------------------------------------------------------------------------------- /backend/.env.sample: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/.env.sample -------------------------------------------------------------------------------- /backend/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/.gitignore -------------------------------------------------------------------------------- /backend/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/Cargo.lock -------------------------------------------------------------------------------- /backend/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/Cargo.toml -------------------------------------------------------------------------------- /backend/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/Dockerfile -------------------------------------------------------------------------------- /backend/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/README.md -------------------------------------------------------------------------------- /backend/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/build.sh -------------------------------------------------------------------------------- /backend/diesel.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/diesel.toml -------------------------------------------------------------------------------- /backend/jielabs-backend.service: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/jielabs-backend.service -------------------------------------------------------------------------------- /backend/migrations/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /backend/migrations/2020-02-12-120630_create_users/down.sql: -------------------------------------------------------------------------------- 1 | DROP TABLE users 2 | -------------------------------------------------------------------------------- /backend/migrations/2020-02-12-120630_create_users/up.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/migrations/2020-02-12-120630_create_users/up.sql -------------------------------------------------------------------------------- /backend/migrations/2020-02-13-144220_create_jobs/down.sql: -------------------------------------------------------------------------------- 1 | DROP TABLE jobs -------------------------------------------------------------------------------- /backend/migrations/2020-02-13-144220_create_jobs/up.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/migrations/2020-02-13-144220_create_jobs/up.sql -------------------------------------------------------------------------------- /backend/migrations/2020-02-16-121048_create_configs/down.sql: -------------------------------------------------------------------------------- 1 | DROP TABLE configs -------------------------------------------------------------------------------- /backend/migrations/2020-02-16-121048_create_configs/up.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/migrations/2020-02-16-121048_create_configs/up.sql -------------------------------------------------------------------------------- /backend/migrations/2020-02-23-082509_add_time_to_jobs/down.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/migrations/2020-02-23-082509_add_time_to_jobs/down.sql -------------------------------------------------------------------------------- /backend/migrations/2020-02-23-082509_add_time_to_jobs/up.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/migrations/2020-02-23-082509_add_time_to_jobs/up.sql -------------------------------------------------------------------------------- /backend/migrations/2020-03-07-000036_add_last_login_to_users/down.sql: -------------------------------------------------------------------------------- 1 | ALTER TABLE users DROP COLUMN last_login; 2 | -------------------------------------------------------------------------------- /backend/migrations/2020-03-07-000036_add_last_login_to_users/up.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/migrations/2020-03-07-000036_add_last_login_to_users/up.sql -------------------------------------------------------------------------------- /backend/migrations/2021-03-16-124339_make_password_nullable/down.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/migrations/2021-03-16-124339_make_password_nullable/down.sql -------------------------------------------------------------------------------- /backend/migrations/2021-03-16-124339_make_password_nullable/up.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/migrations/2021-03-16-124339_make_password_nullable/up.sql -------------------------------------------------------------------------------- /backend/src/bin/backend.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/bin/backend.rs -------------------------------------------------------------------------------- /backend/src/bin/create_user.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/bin/create_user.rs -------------------------------------------------------------------------------- /backend/src/bin/create_users.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/bin/create_users.rs -------------------------------------------------------------------------------- /backend/src/bin/fix_jobs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/bin/fix_jobs.rs -------------------------------------------------------------------------------- /backend/src/bin/generate_hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/bin/generate_hash.rs -------------------------------------------------------------------------------- /backend/src/bin/mock_board.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/bin/mock_board.rs -------------------------------------------------------------------------------- /backend/src/bin/mock_user.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/bin/mock_user.rs -------------------------------------------------------------------------------- /backend/src/bin/s3_gc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/bin/s3_gc.rs -------------------------------------------------------------------------------- /backend/src/board.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/board.rs -------------------------------------------------------------------------------- /backend/src/board_manager.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/board_manager.rs -------------------------------------------------------------------------------- /backend/src/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/common.rs -------------------------------------------------------------------------------- /backend/src/env.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/env.rs -------------------------------------------------------------------------------- /backend/src/file.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/file.rs -------------------------------------------------------------------------------- /backend/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/lib.rs -------------------------------------------------------------------------------- /backend/src/metric.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/metric.rs -------------------------------------------------------------------------------- /backend/src/models.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/models.rs -------------------------------------------------------------------------------- /backend/src/schema.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/schema.rs -------------------------------------------------------------------------------- /backend/src/session.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/session.rs -------------------------------------------------------------------------------- /backend/src/task.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/task.rs -------------------------------------------------------------------------------- /backend/src/task_manager.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/task_manager.rs -------------------------------------------------------------------------------- /backend/src/user.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/user.rs -------------------------------------------------------------------------------- /backend/src/ws_board.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/ws_board.rs -------------------------------------------------------------------------------- /backend/src/ws_user.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/backend/src/ws_user.rs -------------------------------------------------------------------------------- /examples/4m-clock-digital-life.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/examples/4m-clock-digital-life.json -------------------------------------------------------------------------------- /examples/const-output.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/examples/const-output.json -------------------------------------------------------------------------------- /examples/digital_life.vhdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/examples/digital_life.vhdl -------------------------------------------------------------------------------- /examples/manual-clock-digital-life.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/examples/manual-clock-digital-life.json -------------------------------------------------------------------------------- /examples/multi-pin-net-manual-clock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/examples/multi-pin-net-manual-clock.json -------------------------------------------------------------------------------- /examples/running-light.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/examples/running-light.json -------------------------------------------------------------------------------- /examples/running_light.vhdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/examples/running_light.vhdl -------------------------------------------------------------------------------- /frontend/.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/.eslintrc.json -------------------------------------------------------------------------------- /frontend/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/.gitignore -------------------------------------------------------------------------------- /frontend/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/Dockerfile -------------------------------------------------------------------------------- /frontend/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/README.md -------------------------------------------------------------------------------- /frontend/assets/logo.studio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/assets/logo.studio -------------------------------------------------------------------------------- /frontend/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/build.sh -------------------------------------------------------------------------------- /frontend/config-overrides.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/config-overrides.js -------------------------------------------------------------------------------- /frontend/mime.types: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/mime.types -------------------------------------------------------------------------------- /frontend/nginx.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/nginx.conf -------------------------------------------------------------------------------- /frontend/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/package.json -------------------------------------------------------------------------------- /frontend/public/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/public/index.html -------------------------------------------------------------------------------- /frontend/public/logo/logo-flat.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/public/logo/logo-flat.png -------------------------------------------------------------------------------- /frontend/public/logo/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/public/logo/logo.png -------------------------------------------------------------------------------- /frontend/public/logo/logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/public/logo/logo.svg -------------------------------------------------------------------------------- /frontend/public/logo/logo@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/public/logo/logo@2x.png -------------------------------------------------------------------------------- /frontend/public/logo/logo@3x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/public/logo/logo@3x.png -------------------------------------------------------------------------------- /frontend/public/logo/logo@4x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/public/logo/logo@4x.png -------------------------------------------------------------------------------- /frontend/public/logo/logo@8x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/public/logo/logo@8x.png -------------------------------------------------------------------------------- /frontend/public/manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/public/manifest.json -------------------------------------------------------------------------------- /frontend/public/robots.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/public/robots.txt -------------------------------------------------------------------------------- /frontend/src/App.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/App.js -------------------------------------------------------------------------------- /frontend/src/ErrorBoundary.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/ErrorBoundary.js -------------------------------------------------------------------------------- /frontend/src/HelpLayer.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/HelpLayer.js -------------------------------------------------------------------------------- /frontend/src/Sandbox.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/Sandbox.js -------------------------------------------------------------------------------- /frontend/src/assets/tutorial.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/assets/tutorial.v -------------------------------------------------------------------------------- /frontend/src/assets/tutorial.vhdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/assets/tutorial.vhdl -------------------------------------------------------------------------------- /frontend/src/blocks/Clock.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/blocks/Clock.js -------------------------------------------------------------------------------- /frontend/src/blocks/Digit4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/blocks/Digit4.js -------------------------------------------------------------------------------- /frontend/src/blocks/Digit7.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/blocks/Digit7.js -------------------------------------------------------------------------------- /frontend/src/blocks/FPGA.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/blocks/FPGA.js -------------------------------------------------------------------------------- /frontend/src/blocks/Switch4.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/blocks/Switch4.js -------------------------------------------------------------------------------- /frontend/src/blocks/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/blocks/index.js -------------------------------------------------------------------------------- /frontend/src/comps/Dialog.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/comps/Dialog.js -------------------------------------------------------------------------------- /frontend/src/comps/Digit.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/comps/Digit.js -------------------------------------------------------------------------------- /frontend/src/comps/Highlighter.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/comps/Highlighter.js -------------------------------------------------------------------------------- /frontend/src/comps/Icon.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/comps/Icon.js -------------------------------------------------------------------------------- /frontend/src/comps/Input.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/comps/Input.js -------------------------------------------------------------------------------- /frontend/src/comps/Tooltip.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/comps/Tooltip.js -------------------------------------------------------------------------------- /frontend/src/config.example.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/config.example.js -------------------------------------------------------------------------------- /frontend/src/fonts/MaterialIcons/MaterialIcons.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/fonts/MaterialIcons/MaterialIcons.woff2 -------------------------------------------------------------------------------- /frontend/src/fonts/Roboto/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/fonts/Roboto/LICENSE.txt -------------------------------------------------------------------------------- /frontend/src/fonts/Roboto/Roboto-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/fonts/Roboto/Roboto-Bold.woff2 -------------------------------------------------------------------------------- /frontend/src/fonts/Roboto/Roboto-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/fonts/Roboto/Roboto-Regular.woff2 -------------------------------------------------------------------------------- /frontend/src/fonts/Roboto/Roboto-Thin.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/fonts/Roboto/Roboto-Thin.woff2 -------------------------------------------------------------------------------- /frontend/src/fonts/RobotoMono/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/fonts/RobotoMono/LICENSE.txt -------------------------------------------------------------------------------- /frontend/src/fonts/RobotoMono/RobotoMono-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/fonts/RobotoMono/RobotoMono-Bold.woff2 -------------------------------------------------------------------------------- /frontend/src/fonts/RobotoMono/RobotoMono-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/fonts/RobotoMono/RobotoMono-Regular.woff2 -------------------------------------------------------------------------------- /frontend/src/fonts/RobotoMono/RobotoMono-Thin.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/fonts/RobotoMono/RobotoMono-Thin.woff2 -------------------------------------------------------------------------------- /frontend/src/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/index.js -------------------------------------------------------------------------------- /frontend/src/index.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/index.scss -------------------------------------------------------------------------------- /frontend/src/lang.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/lang.js -------------------------------------------------------------------------------- /frontend/src/lib/.gitignore: -------------------------------------------------------------------------------- 1 | /pkg 2 | /target 3 | -------------------------------------------------------------------------------- /frontend/src/lib/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/lib/Cargo.lock -------------------------------------------------------------------------------- /frontend/src/lib/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/lib/Cargo.toml -------------------------------------------------------------------------------- /frontend/src/lib/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/lib/src/lib.rs -------------------------------------------------------------------------------- /frontend/src/lib/src/verilog.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/lib/src/verilog.rs -------------------------------------------------------------------------------- /frontend/src/lib/src/vhdl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/lib/src/vhdl.rs -------------------------------------------------------------------------------- /frontend/src/loaders/Monaco.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/loaders/Monaco.js -------------------------------------------------------------------------------- /frontend/src/polyfills.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/polyfills.js -------------------------------------------------------------------------------- /frontend/src/prelude.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/prelude.scss -------------------------------------------------------------------------------- /frontend/src/routes/Login.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/routes/Login.js -------------------------------------------------------------------------------- /frontend/src/routes/Workspace.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/routes/Workspace.js -------------------------------------------------------------------------------- /frontend/src/serviceWorker.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/serviceWorker.js -------------------------------------------------------------------------------- /frontend/src/store/actions.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/store/actions.js -------------------------------------------------------------------------------- /frontend/src/store/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/store/index.js -------------------------------------------------------------------------------- /frontend/src/store/reducers.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/store/reducers.js -------------------------------------------------------------------------------- /frontend/src/styles/consts.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/styles/consts.scss -------------------------------------------------------------------------------- /frontend/src/styles/editor.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/styles/editor.scss -------------------------------------------------------------------------------- /frontend/src/styles/error.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/styles/error.scss -------------------------------------------------------------------------------- /frontend/src/styles/font.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/styles/font.scss -------------------------------------------------------------------------------- /frontend/src/styles/help.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/styles/help.scss -------------------------------------------------------------------------------- /frontend/src/styles/highlighter.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/styles/highlighter.scss -------------------------------------------------------------------------------- /frontend/src/styles/scrollbar.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/styles/scrollbar.scss -------------------------------------------------------------------------------- /frontend/src/styles/shutter.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/styles/shutter.scss -------------------------------------------------------------------------------- /frontend/src/styles/tooltip.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/styles/tooltip.scss -------------------------------------------------------------------------------- /frontend/src/styles/transition.scss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/styles/transition.scss -------------------------------------------------------------------------------- /frontend/src/util.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/src/util.js -------------------------------------------------------------------------------- /frontend/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/frontend/yarn.lock -------------------------------------------------------------------------------- /manage/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/manage/.gitignore -------------------------------------------------------------------------------- /manage/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/manage/README.md -------------------------------------------------------------------------------- /manage/babel.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/manage/babel.config.js -------------------------------------------------------------------------------- /manage/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/manage/package.json -------------------------------------------------------------------------------- /manage/public/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/manage/public/favicon.ico -------------------------------------------------------------------------------- /manage/public/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/manage/public/index.html -------------------------------------------------------------------------------- /manage/src/App.vue: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/manage/src/App.vue -------------------------------------------------------------------------------- /manage/src/components/Main.vue: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/manage/src/components/Main.vue -------------------------------------------------------------------------------- /manage/src/config.sample.js: -------------------------------------------------------------------------------- 1 | export const BACKEND = "http://localhost:8080"; -------------------------------------------------------------------------------- /manage/src/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/manage/src/main.js -------------------------------------------------------------------------------- /manage/src/plugins/vuetify.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/manage/src/plugins/vuetify.js -------------------------------------------------------------------------------- /manage/src/util.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/manage/src/util.js -------------------------------------------------------------------------------- /manage/vue.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/manage/vue.config.js -------------------------------------------------------------------------------- /manage/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/manage/yarn.lock -------------------------------------------------------------------------------- /protocol.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/protocol.md -------------------------------------------------------------------------------- /uninstaller/service-worker.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thu-cs-lab/JieLabs-Web/HEAD/uninstaller/service-worker.js --------------------------------------------------------------------------------