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

587 Commits

Author SHA1 Message Date
Ivan
ca8aba2b9d F: Animation rework 
move to simple CSS animations and react-spring
 2024-12-12 13:19:12 +03:00
Ivan
a8d39eb8bd R: Use monadic conditional call
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-12-04 22:53:01 +03:00
Ivan
9fb7ca0abb M: Small UI fixes 2024-12-04 20:09:07 +03:00
Ivan
a6ef6bc045 M: Minor UI fix for small screens 2024-12-03 19:35:45 +03:00
Ivan
2d3bc56776 R: Small UI refactoring and improvement
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-12-03 12:47:08 +03:00
Ivan
ab75de1042 M: Update GraphUI
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-12-02 21:00:31 +03:00
Ivan
963c725617 M: UI fixes
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-12-02 16:07:59 +03:00
Ivan
23f2e142cf F: Term graph rework pt1 2024-12-02 15:59:03 +03:00
Ivan
f4488384ac R: Upgrade to react-router v7
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
Details
2024-11-25 19:53:20 +03:00
Ivan
8634fa14ea M: Improve Typification UI
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-11-21 22:14:22 +03:00
Ivan
5eace56968 F: Implement AST visualization using reactflow 2024-11-21 21:39:01 +03:00
Ivan
c1f50d6f50 D: Improve TSDocs for frontend components
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-11-21 15:09:51 +03:00
Ivan
72634e80fa R: Decouple setters from onChange events
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-11-21 00:26:16 +03:00
Ivan
15c292d240 F: Add TypeGraph for RSForm
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-11-20 10:39:09 +03:00
Ivan
a869f42fce F: Add TypeGraph manual page 2024-11-19 22:30:52 +03:00
Ivan
5d68f05b85 M: Disable move buttons when all selected 2024-11-19 21:56:26 +03:00
Ivan
29b169bef4 F: Implementing M-Graph pt3 2024-11-14 22:10:29 +03:00
Ivan
178499676c M: minor text fixes
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
Details
2024-11-07 23:15:44 +03:00
Ivan
402277e30e F: Implementing M-Graph pt1
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
Details
2024-10-31 15:21:50 +03:00
Ivan
2b42329956 M: Decouple statusbar and graph nodes colors 2024-10-31 10:56:12 +03:00
Ivan
ba08844ff8 M: Small UI fix
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-10-30 21:48:17 +03:00
Ivan
06f59e3ed3 R: Improve conditional hook performance 2024-10-30 21:41:52 +03:00
Ivan
9c336e324b R: Improve OSS rendering 2024-10-30 19:56:48 +03:00
Ivan
df4adf72a5 M: Update manuals
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-10-30 10:39:26 +03:00
Ivan
8d5ce8b0cf F: Improve Help UI for dialogs 2024-10-29 12:06:43 +03:00
Ivan
9761cc2c9d F: Constituenta relocation: final part
Some checks failed
Frontend CI / build (22.x) (push) Waiting to run
Details
Backend CI / build (3.12) (push) Has been cancelled
Details
2024-10-28 23:55:25 +03:00
Ivan
2b312cebb1 F: Constituenta relocation pt2 2024-10-28 14:53:41 +03:00
Ivan
79d8184193 R: Add eslint-plugin-react-hooks and
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-10-23 16:29:35 +03:00
Ivan
5700462ad5 F: Implement constituenta relocation pt1 2024-10-23 15:31:24 +03:00
Ivan
b912594b20 M: Minor style fixes 2024-10-03 18:02:24 +03:00
Ivan
df81c4e125 F: Rework user filter for LibraryPage 2024-09-27 12:23:26 +03:00
Ivan
77be306cf1 F: Add AST visualization for expression
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-26 23:26:48 +03:00
Ivan
53e93dbab0 B: Correctly process invalid manuals topic name
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-26 11:48:42 +03:00
Ivan
b7cfb3082b M: Fix placeholder text
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
Details
2024-09-23 14:58:53 +03:00
Ivan
ae1fceafcf M: Remove MockCst from sideView 2024-09-23 11:54:18 +03:00
Ivan
990b340705 M: Improve manuals UI layout 2024-09-23 10:34:14 +03:00
Ivan
35bfc86533 F: Update pyconcept and implement improved typechecking
Some checks failed
Frontend CI / build (22.x) (push) Waiting to run
Details
Backend CI / build (3.12) (push) Has been cancelled
Details
2024-09-22 20:25:36 +03:00
Ivan
7f88d030d4 M: Small UI layout fixes
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-21 20:24:32 +03:00
Ivan
c92a4058b9 M: Minor UI fixes
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
Details
2024-09-19 21:15:08 +03:00
Ivan
abc28940a9 R: use React.PropsWithChildren 2024-09-19 17:49:25 +03:00
Ivan
c75258bfa9 B: Fix inserting operation in empty OSS 2024-09-19 16:27:16 +03:00
Ivan
4b15bfdd6d M: Edit manuals
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-18 12:54:59 +03:00
Ivan
6338888095 M: allow single operand synthesis
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
Details
2024-09-16 20:02:38 +03:00
Ivan
636a9a1650 M: UI improvements 2024-09-16 14:07:11 +03:00
Ivan
87ed5b39ae M: Improve Library location navigation
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-15 21:19:17 +03:00
Ivan
fcfc2e909b F: Add schemas coloring option for TermGraph
Some checks failed
Frontend CI / build (22.x) (push) Waiting to run
Details
Backend CI / build (3.12) (push) Has been cancelled
Details
2024-09-14 17:11:50 +03:00
Ivan
e0eb06b27f B: Fix buttons layers 2024-09-14 16:14:04 +03:00
Ivan
80680a7bf2 R: Add inherited cst source to API 2024-09-14 15:15:36 +03:00
Ivan
713d436aa6 M: Shorten manuals landing page
Some checks are pending
Frontend CI / build (22.x) (push) Waiting to run
Details
2024-09-13 13:31:23 +03:00
Ivan
c18efc93e1 D: Add documentation to react components pt1 2024-09-12 16:42:02 +03:00