Paul Pan

Paul synced commits to dev at Paul/tiny_os from mirror 2023-12-17 20:57:06 +08:00

f74c7fbc92 chore: add GitHub Actions

2b268de52d chore: bitmap.rs: make clippy happy

a57ece2f76 chore: refactor arch traits

58b050d2b5 feat: quit/reset system by using test device provided by Qemu

bc71fa35f5 feat: add bitmap frame allocator

Compare 5 commits »

Paul synced commits to dev at Paul/tiny_os from mirror 2023-12-17 17:53:29 +08:00

2ace3f14e1 feat: initial paging support

c7c36e5665 chore: adjust boot_stack

5a11fbd169 feat: add phys/virt address type

Compare 3 commits »

Paul created branch master in Paul/forward-air-worker

2023-12-03 15:34:47 +08:00

Paul pushed to master at Paul/forward-air-worker

2023-12-03 15:34:47 +08:00

e15bdc192a add reg, hw will use imei instead of token

7b52bb9da9 return real 404

fe8272e0c5 basic functions

2c4443bb26 Initial commit (by create-cloudflare CLI)

Paul created repository Paul/forward-air-worker

2023-12-03 15:34:12 +08:00

Paul transferred repository TinySoC/peta to Paul/peta

2023-11-05 19:15:58 +08:00

Paul synced commits to dev at Paul/tiny_os from mirror 2023-09-24 00:36:17 +08:00

9c95cb4f5e fix: support riscv32 build

9628d32d54 chore: support colorful log

f86b061470 feat: add trampoline definition

2252edf228 feat: implement Reader on RawConsole

Compare 4 commits »

Paul pushed to master at woj/woj-ui

2023-07-22 14:02:28 +08:00

a723b02f19 chore: adjust layout

8c16c19fa6 feat: add search/list page

f858c91a12 fix: side effect of regex '/g'

Compare 3 commits »

Paul pushed to develop at woj/woj-server

2023-07-20 11:39:22 +08:00

6617b6d68e feat: better integrates with sentry

7660069c34 fix: swagger documentation

Compare 2 commits »

Paul pushed to master at woj/woj-ui

2023-07-17 14:14:29 +08:00

6c9ab90843 fix: warnings

Paul pushed to master at woj/woj-ui

2023-07-16 20:51:34 +08:00

aedf2bbf17 feat: problem detail page

5049330fde fix: static api method

4860a66dca feat: new error page using antd

0b51183cd7 feat: basic sketch

a4b0d0308c feat: add api wrapper

Paul created branch master in woj/woj-ui

2023-07-16 20:51:34 +08:00

Paul created repository woj/woj-ui

2023-07-16 20:51:17 +08:00

Paul opened issue woj/woj-server#2

2023-07-16 16:41:40 +08:00

提交状态设计

Paul opened issue woj/woj-server#1

2023-07-16 16:32:59 +08:00

接口权限设计

Paul pushed to develop at woj/woj-server

2023-07-16 15:53:06 +08:00

42b9e98408 feat: more comments on judge framework

Paul pushed to develop at woj/woj-server

2023-07-16 15:47:01 +08:00

d49f91ea5e feat: more comments on judge framework

Paul pushed to develop at woj/woj-server

2023-07-16 15:42:42 +08:00

8be6630e26 feat: more comments on judge framework

52503c6e0a feat: add sentry support and enhance healthcheck

Compare 2 commits »

Paul pushed to master at NSCSCC/MIPS

2023-06-11 19:48:44 +08:00

2e0dbc2f20 sync partial debugging sources