Ivan
|
539ed87ddf
|
R: Replace AccessMode with RoleStore
|
2025-01-15 23:03:23 +03:00 |
|
Ivan
|
07919cd912
|
R: Remove .Provider from Contexts
|
2024-12-12 21:58:07 +03:00 |
|
Ivan
|
f6bb76f5e1
|
F: Term graph rework pt1
|
2024-12-02 15:58:18 +03:00 |
|
Ivan
|
71659b8c15
|
F: Implement AST visualization using reactflow
|
2024-11-21 21:38:32 +03:00 |
|
Ivan
|
d0793d0e1c
|
F: Add TypeGraph manual page
|
2024-11-19 22:30:33 +03:00 |
|
Ivan
|
2b97e109b4
|
F: Implementing M-Graph pt3
Frontend CI / build (22.x) (push) Has been cancelled
|
2024-11-14 22:09:40 +03:00 |
|
Ivan
|
c0eac11539
|
M: Update emoji
|
2024-10-31 11:27:32 +03:00 |
|
Ivan
|
dde592bd32
|
F: Improve Help UI for dialogs
|
2024-10-29 12:05:23 +03:00 |
|
Ivan
|
b1bfbe26cb
|
M: Update dependencies + small fixes
|
2024-10-17 17:02:30 +03:00 |
|
Ivan
|
124abf33eb
|
F: Rework user filter for LibraryPage
|
2024-09-27 12:23:09 +03:00 |
|
Ivan
|
4383511a4a
|
F: Add AST visualization for expression
|
2024-09-26 23:26:20 +03:00 |
|
Ivan
|
e1604bb7f8
|
F: Implement rules from pyconcept0.1.10
|
2024-09-25 23:07:55 +03:00 |
|
Ivan
|
e1969b017b
|
M: Remove MockCst from sideView
|
2024-09-23 11:53:46 +03:00 |
|
Ivan
|
df4323d214
|
F: Update pyconcept and implement improved typechecking
|
2024-09-22 20:25:10 +03:00 |
|
Ivan
|
d12e8fed22
|
M: Fix syntax error message
|
2024-09-21 17:27:59 +03:00 |
|
Ivan
|
0149f98c8b
|
F: Add schemas coloring option for TermGraph
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
|
2024-09-14 17:11:26 +03:00 |
|
Ivan
|
4ed6975d84
|
M: Small UI fixes
|
2024-08-31 00:01:42 +03:00 |
|
Ivan
|
0a5fb5eecf
|
Add warning if term expressions are not equal
|
2024-08-28 12:33:47 +03:00 |
|
Ivan
|
8bd2c71f50
|
F: Implement typification checks on substitutions
|
2024-08-26 22:53:02 +03:00 |
|
Ivan
|
30ec76cefd
|
F: Implement basic substitution checks
|
2024-08-26 17:24:46 +03:00 |
|
Ivan
|
13b7b4d748
|
F: Improve OSS deletion mechanics
|
2024-08-23 19:09:18 +03:00 |
|
Ivan
|
7a4fceb9bf
|
F: Implement CSV export
|
2024-08-22 22:41:29 +03:00 |
|
Ivan
|
37d022a030
|
F: Implement location editing + showSubfolders
|
2024-08-21 16:49:04 +03:00 |
|
Ivan
|
118c5459f3
|
F: Add Thesaurus manual page
Backend CI / build (3.12) (push) Waiting to run
Frontend CI / build (22.x) (push) Waiting to run
|
2024-08-21 12:37:27 +03:00 |
|
Ivan
|
0c8577e913
|
F: Remove subscriptions and notification icon
|
2024-08-20 15:09:36 +03:00 |
|
Ivan
|
6d7183620e
|
F: Improve OSS UI and Manuals
Frontend CI / build (22.x) (push) Has been cancelled
|
2024-08-19 22:03:08 +03:00 |
|
Ivan
|
85c3027d3d
|
M: Implement RSForm sorting for OSS and small UI fixes
|
2024-08-17 22:35:59 +03:00 |
|
Ivan
|
edc728fe00
|
R: Upgrade to eslint9
|
2024-08-06 14:38:10 +03:00 |
|
Ivan
|
967eabde51
|
F: Improve RSForm UI for inherited cst
|
2024-08-01 11:55:45 +03:00 |
|
Ivan
|
2a30661355
|
F: Implementing backend for synthesis operation
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
|
2024-07-31 18:09:08 +03:00 |
|
Ivan
|
afd3f5f7e4
|
F: Prepare frontend for Synthesis execution
|
2024-07-29 23:20:17 +03:00 |
|
Ivan
|
338ad2bb98
|
Improve OSS UI
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
|
2024-07-24 18:11:28 +03:00 |
|
Ivan
|
8977c0fadc
|
Improve OSS frontend
|
2024-07-23 23:03:58 +03:00 |
|
Ivan
|
7b39b76498
|
Implementing basic oss graph pt2
|
2024-07-21 15:17:36 +03:00 |
|
Ivan
|
286abaf476
|
Implementing basic oss graph pt1
|
2024-07-20 18:26:32 +03:00 |
|
IRBorisov
|
e1d8c99ebf
|
Minor UI refactorings
|
2024-06-21 19:16:41 +03:00 |
|
IRBorisov
|
e1d99c47ca
|
Add path copy functionality
|
2024-06-20 21:10:59 +03:00 |
|
IRBorisov
|
142f3882bb
|
Fix folder naming
|
2024-06-20 11:06:47 +03:00 |
|
IRBorisov
|
c1f8553ff4
|
Add FolderTree UI
Frontend CI / build (18.x) (push) Waiting to run
|
2024-06-19 22:09:31 +03:00 |
|
IRBorisov
|
c9b7e45c85
|
UI improvements
Frontend CI / build (18.x) (push) Waiting to run
|
2024-06-18 15:06:52 +03:00 |
|
IRBorisov
|
1330476557
|
Update manuals
Frontend CI / build (18.x) (push) Waiting to run
|
2024-06-16 22:52:44 +03:00 |
|
IRBorisov
|
c47e5373e2
|
Improve help UI
|
2024-06-10 11:57:48 +03:00 |
|
IRBorisov
|
2759f10d09
|
Initial commit
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (18.x) (push) Has been cancelled
|
2024-06-07 20:17:03 +03:00 |
|