李衍志523370910113 jon-lee
2 Followers · 1 Following
  • 523370910113
  • Joined on 2023-09-10
Repositories Projects Packages Public Activity Starred Repositories
李衍志523370910113 opened issue JOJ/JOJ3-config-generator#21 2025-06-02 19:37:00 +08:00
Adjustments for task specific field in repo.toml
李衍志523370910113 commented on issue JOJ/JOJ3-config-generator#12 2025-05-31 21:00:29 +08:00
fix the duplication of default value and support multiple testcases name in diff

task.toml, this was to erase the default value originally, I think partly duplicate with https://focs.ji.sjtu.edu.cn/git/JOJ/JOJ3-config-generator/issues/7

how to ensure toml is minimal,…

李衍志523370910113 created pull request JOJ/JOJ3-config-generator#18 2025-05-26 21:14:23 +08:00
feat(elf): support for elf
李衍志523370910113 created branch feat/elf in JOJ/JOJ3-config-generator 2025-05-26 21:13:38 +08:00
李衍志523370910113 pushed to feat/elf at JOJ/JOJ3-config-generator 2025-05-26 21:13:38 +08:00
757de69ad8 feat(elf): support for elf
李衍志523370910113 pushed to fix/logpath at JOJ/JOJ3-config-generator 2025-05-26 00:56:31 +08:00
b54963d96e fix: log path
李衍志523370910113 pushed to fix/logpath at JOJ/JOJ3-config-generator 2025-05-26 00:54:20 +08:00
71c134461d revert: last 3 commits
李衍志523370910113 commented on pull request JOJ/JOJ3-config-generator#17 2025-05-25 20:27:12 +08:00
fix: log path

I ran pdm update in my WSL, previously I use my linux to develop. At that time I was in my windows.

李衍志523370910113 commented on pull request JOJ/JOJ3-config-generator#17 2025-05-25 20:15:04 +08:00
fix: log path

done

李衍志523370910113 pushed to fix/logpath at JOJ/JOJ3-config-generator 2025-05-25 20:14:45 +08:00
49225bccef fix: log path
李衍志523370910113 closed issue JOJ/JOJ3-config-generator#8 2025-05-25 17:00:57 +08:00
Advanced documentation
李衍志523370910113 closed issue JOJ/JOJ3-config-generator#3 2025-05-25 17:00:50 +08:00
generate all config files
李衍志523370910113 closed issue JOJ/JOJ3-config-generator#7 2025-05-25 17:00:15 +08:00
toml generation guidelines doc
李衍志523370910113 pushed to fix/logpath at JOJ/JOJ3-config-generator 2025-05-25 16:34:48 +08:00
d0616250d7 test: pass test
李衍志523370910113 created pull request JOJ/JOJ3-config-generator#17 2025-05-25 16:31:15 +08:00
fix: log path
李衍志523370910113 created branch fix/logpath in JOJ/JOJ3-config-generator 2025-05-25 16:30:47 +08:00
李衍志523370910113 pushed to fix/logpath at JOJ/JOJ3-config-generator 2025-05-25 16:30:47 +08:00
eec4c875ff fix: log path
李衍志523370910113 deleted branch fix/diff from JOJ/JOJ3-config-generator 2025-05-25 16:29:32 +08:00
李衍志523370910113 created branch fix/diff in JOJ/JOJ3-config-generator 2025-05-25 16:28:49 +08:00
李衍志523370910113 pushed to fix/diff at JOJ/JOJ3-config-generator 2025-05-25 16:28:49 +08:00
dd6955fd7e fix: log path
c3f2b21732 fix: default limit
dcebf86408 fix: remove none stdin for diff
183e6f1545 feat: add DEFAULT_PROC_LIMIT n DEFAULT_CLOCK_LIMIT_MULTIPLIER
b4a9d0cb62 fix: add back DEFAULT_CASE_SCORE
Compare 9 commits »