Commit Graph

18 Commits

Author SHA1 Message Date
Ivan
6be49f2752 M: Fix TSDoc text 2024-10-30 21:35:43 +03:00
Ivan
731ca12308 R: Add eslint-plugin-react-hooks and fix issues 2024-10-23 16:27:56 +03:00
Ivan
df4323d214 F: Update pyconcept and implement improved typechecking 2024-09-22 20:25:10 +03:00
Ivan
30ec76cefd F: Implement basic substitution checks 2024-08-26 17:24:46 +03:00
Ivan
f59206c182 F: Implement operation and schema delete consequence for OSS 2024-08-15 23:23:10 +03:00
Ivan
e17056ea10 F: Prepare operation change propagation 2024-08-14 21:50:10 +03:00
Ivan
edc728fe00 R: Upgrade to eslint9 2024-08-06 14:38:10 +03:00
Ivan
d3213211b5 F: Implement UI for synthesis 2024-07-29 16:55:48 +03:00
Ivan
c438b6ac16 Refactoring: split backendAPI into modules 2024-07-24 23:20:45 +03:00
Ivan
ace3d53a2e Upgrade build system base versions
Some checks failed
Frontend CI / build (22.x) (push) Waiting to run
Backend CI / build (3.12) (push) Has been cancelled
2024-07-19 22:38:14 +03:00
Ivan
5922c28fa7 Small UI fixes 2024-07-19 20:42:54 +03:00
IRBorisov
5af65ecb06 Wait for user loading before loading Library or Schema 2024-06-26 21:52:18 +03:00
IRBorisov
6c3461977d Refactoring: UI elements naming convention
Some checks are pending
Frontend CI / build (18.x) (push) Waiting to run
2024-06-26 19:47:05 +03:00
IRBorisov
552fb67f09 Fix context loading semantics
Loading is a flag for data loading on context create
Processing is a flag for waiting for response after function call
2024-06-23 19:42:54 +03:00
IRBorisov
9a7076d516 Revert "Improting synthesis implementation pt1"
Some checks failed
Backend CI / build (3.12) (push) Waiting to run
Frontend CI / build (18.x) (push) Has been cancelled
2024-06-21 23:47:23 +03:00
IRBorisov
000bfad0f8 Start fixing type errors and basic linting
Some checks are pending
Backend CI / build (3.12) (push) Waiting to run
Frontend CI / build (18.x) (push) Waiting to run
2024-06-21 21:46:10 +03:00
IRBorisov
e144d156ac Improting synthesis implementation pt1 2024-06-21 19:56:30 +03:00
IRBorisov
2759f10d09 Initial commit
Some checks failed
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