6 Commits

Author	SHA1	Message	Date
Ivan	0ee0e65ac5	Prepare merge into main	2024-07-20 13:12:28 +03:00
IRBorisov	2e4199b904	Start fixing type errors and basic linting	2024-06-21 21:46:38 +03:00
IRBorisov	91865e54f0	Merge branch 'main' into synthesis	2024-06-21 19:37:56 +03:00
khadanovichba	73bbde3acb	synthesis	2024-06-21 18:47:46 +03:00
IRBorisov	bc811cbf88	Small fixes	2024-06-05 21:59:03 +03:00
IRBorisov	3f2db1e7bc	Add OSS scaffolding	2024-06-04 23:00:22 +03:00