ConceptProd/ConceptPortal-public
1
0
Fork 0
mirror of https://github.com/IRBorisov/ConceptPortal.git synced 2025-06-26 21:10:38 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity
1,103 Commits 2 Branches 0 Tags 21 MiB
80473b0b82
Commit Graph

14 Commits

Author SHA1 Message Date
Ivan
25b577233b M: Small bug fixes
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-08-28 00:00:04 +03:00
Ivan
f70f226c36 F: Implement typification checks on substitutions
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-08-26 22:53:27 +03:00
Ivan
50760d7d13 R: Upgrade to eslint9
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
Details
2024-08-06 14:39:00 +03:00
IRBorisov
2fbbec0466 Improve concept derivation UI 2024-04-05 20:04:12 +03:00
IRBorisov
f03fd337ba Add concept derivation relation to backend 2024-04-05 15:53:05 +03:00
IRBorisov
8d240d1360 Refactoring: miscellaneous functions 2024-01-04 14:35:46 +03:00
IRBorisov
40cb8b4ce8 Refactoring: apply prettier on save 2023-12-28 14:04:44 +03:00
IRBorisov
31899c49ce Small fixes 2023-12-27 16:45:18 +03:00
IRBorisov
1009a2ec98 Refactor and simplify UI 2023-12-17 20:19:28 +03:00
IRBorisov
87dc02dba5 Refactoring: implement aliases and use client 2023-12-13 14:32:57 +03:00
IRBorisov
da05bd6a12 Refactor UI elements 2023-12-08 19:24:08 +03:00
IRBorisov
5638fef857 Refactoring: split common models/API and add docs 2023-11-17 20:51:13 +03:00
IRBorisov
93136b4843 Implement template argument substitutions 2023-11-06 22:21:36 +03:00
IRBorisov
97bec834f0 Refactor models: split API in separate module 2023-11-06 20:21:30 +03:00