Ivan
|
fa6eb49172
|
M: Add warning if term expressions are not equal
|
2024-08-28 12:34:29 +03:00 |
|
Ivan
|
ceba6b882f
|
M: Improve graph UI
|
2024-08-21 20:21:23 +03:00 |
|
Ivan
|
50760d7d13
|
R: Upgrade to eslint9
Frontend CI / build (22.x) (push) Has been cancelled
|
2024-08-06 14:39:00 +03:00 |
|
Ivan
|
600b0c01ef
|
F: Improve OSS <-> RSForm UI
Backend CI / build (3.12) (push) Waiting to run
Frontend CI / build (22.x) (push) Waiting to run
|
2024-08-01 00:36:06 +03:00 |
|
IRBorisov
|
26fe49b352
|
Refactoring: use cached maps to access constituents
|
2024-04-07 15:38:24 +03:00 |
|
IRBorisov
|
a10bda8af3
|
Refactoring constants + small UI fixes
|
2024-04-06 14:39:49 +03:00 |
|
IRBorisov
|
16252b2145
|
Improve derivation check algorithm
|
2024-04-05 22:36:20 +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
|
6957d3d2fa
|
Update help pages
|
2024-04-05 12:21:52 +03:00 |
|
IRBorisov
|
99f9bdb856
|
UI improvements
|
2024-04-01 11:13:50 +03:00 |
|
IRBorisov
|
8a134557b6
|
Minor UI fixes
|
2024-03-26 22:55:53 +03:00 |
|
IRBorisov
|
38cd91765a
|
Naming refactoring and minor UI fixes
|
2024-03-17 19:24:12 +03:00 |
|
IRBorisov
|
2d3403bb84
|
Minor UI improvements
|
2024-02-20 13:12:06 +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
|
5aaf902919
|
Fix spelling via spellchecker
|
2023-12-26 14:23:51 +03:00 |
|
IRBorisov
|
44b30a9bd8
|
Refactoring: use clsx to clarify classNames
|
2023-12-15 17:34:50 +03:00 |
|
IRBorisov
|
87dc02dba5
|
Refactoring: implement aliases and use client
|
2023-12-13 14:32:57 +03:00 |
|
IRBorisov
|
5638fef857
|
Refactoring: split common models/API and add docs
|
2023-11-17 20:51:13 +03:00 |
|
IRBorisov
|
97bec834f0
|
Refactor models: split API in separate module
|
2023-11-06 20:21:30 +03:00 |
|