This website requires JavaScript.
Explore
Help
Register
Sign In
Иван Борисов
iborisov
0 Followers
·
0 Following
Joined on
2024-06-07
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
1
Projects
Packages
Public Activity
Starred Repositories
iborisov
pushed to
main
at
ConceptProd/Portal
2024-09-27 12:04:10 +03:00
4c20d151d7
F: Rework user filter for LibraryPage
4383511a4a
F: Add AST visualization for expression
f3c11747d8
M: Inverse treeView
aeaa92df3f
B: Correctly process invalid manuals topic name
e1604bb7f8
F: Implement rules from pyconcept0.1.10
Compare 5 commits »
iborisov
pushed to
main
at
ConceptProd/Exteor
2024-09-27 12:04:06 +03:00
41cac6cbcb
M: Add new error type
iborisov
pushed to
main
at
Internals/CodeStandard
2024-09-27 12:04:03 +03:00
70883dcb4d
Update prod commands.txt
iborisov
pushed to
main
at
ConceptProd/Portal
2024-09-23 22:21:46 +03:00
760c4cd659
F: Enable Emoji support
861cb382ee
M: Fix placeholder text
ca4ed9b928
npm update
e1969b017b
M: Remove MockCst from sideView
ff38802cc1
M: Improve coloring of constituents and statuses
Compare 7 commits »
iborisov
pushed to
main
at
ConceptProd/Exteor
2024-09-22 19:02:22 +03:00
6b86dc3a16
F: Update ConceptCore API for error messages
iborisov
pushed to
main
at
ConceptProd/Portal
2024-09-21 21:52:10 +03:00
1f84abbc24
M: Small UI layout fixes
d12e8fed22
M: Fix syntax error message
6d8462565a
M: Minor UI fixes
02b07d2874
R: React.PropsWithChildren
08634e396e
R: use React.ComponentProps
Compare 9 commits »
iborisov
pushed to
main
at
ConceptProd/Portal
2024-09-18 15:09:51 +03:00
7f06777237
B: Fix constituenta tooltip
17ec9ea69d
M: Edit manuals
93f2e772f6
M: allow single operand synthesis
a919cf6baa
M: Minor UI improvements
3e707eb933
M: Add modifications check for operation editor
Compare 7 commits »
iborisov
pushed to
main
at
ConceptProd/Portal
2024-09-14 19:24:52 +03:00
0149f98c8b
F: Add schemas coloring option for TermGraph
d33f3e02b4
B: Fix buttons layers
3555db3edf
R: Add inherited cst source to API
fc669b8b3a
M: Shorten manuals landing page
495493bbbb
B: Fix incorrect local variable index parsing
Compare 5 commits »
iborisov
pushed to
main
at
ConceptProd/Portal
2024-09-12 21:10:32 +03:00
31195cdd60
R: Improve backend type hints, linting and package locks
453118ea66
Update requirements-dev.txt
17d1eac522
B: Fix cache after changing aliases
16479d6299
D: Add documentation to react components pt1
ca077cb2f3
B: Fix test
Compare 9 commits »
iborisov
pushed to
main
at
ConceptProd/Portal
2024-09-11 21:26:59 +03:00
6b397003b3
B: Fix react-flow attribution styling
iborisov
pushed to
main
at
ConceptProd/Portal
2024-09-11 21:26:13 +03:00
d3e9e0eadd
B: Fix react-flow attribution styling
296e740cc7
M: Improve layout for canvas - remove clipping top
5d00a10a58
npm update
fe678de8e4
R: Refactor Cst order attribute
6d84b89b14
Update README.md
Compare 11 commits »
iborisov
pushed to
main
at
ConceptProd/Portal
2024-09-06 14:21:45 +03:00
168ff94c42
F: Improve RSEditor layout responsiveness
8035a604bd
B: Fix renaming validation
05ef45fac8
B: Save ordering when selection changes
68cc96a779
M: Fix text justify for manuals
Compare 4 commits »
iborisov
pushed to
main
at
ConceptProd/Portal
2024-09-04 15:55:20 +03:00
21a304701e
npm update
8f29c69b49
F: Add ordering to OSS arguments
d4fe453840
R: Disable tailwind optimizations for local builds
a2882777aa
B: Open OSS for public
64076ec7d2
M: Prevent user from creating OSS from file
Compare 5 commits »
iborisov
pushed to
main
at
ConceptProd/Portal
2024-09-02 18:34:15 +03:00
d23f02420a
F: Improve tooltips positioning and text truncation
iborisov
pushed to
main
at
ConceptProd/Portal
2024-09-02 12:32:16 +03:00
6c4d10e8c0
M: Add fixed ordering for data sent to frontend
cc301551ca
Update package-lock.json
75ddf2bada
npm update
c5ec6f1d07
M: Minor UI fix
b882508d4b
B: Fix selection after substitutions
Compare 10 commits »
iborisov
pushed to
main
at
ConceptProd/Portal
2024-08-30 18:42:19 +03:00
b3c8b217c0
B: Fix input min-width
afe3ec0adb
M: Remove expression column from sideview
a4e2d2c25f
B: Fix error response to invalid file type
Compare 3 commits »
iborisov
pushed to
main
at
ConceptProd/Exteor
2024-08-30 18:42:14 +03:00
a69bedb033
Update TRSLegacyLoader.cpp
d456220006
F: Improve old reference loading
e4727b52ab
B: Fix loading empty term-forms
Compare 3 commits »
iborisov
pushed to
main
at
ConceptProd/Portal
2024-08-29 12:42:21 +03:00
25029a212b
B: Small dialog fixes
88652d57d3
F: Add xs size screen media query
7790cc4ef2
B: Fix tooltip clipping after cst==null
51ad937b99
B: Small UI fixes
a7ad9b86f5
B: Fix library cache update after changing OSS
Compare 9 commits »
iborisov
pushed to
main
at
ConceptProd/Portal
2024-08-27 11:34:29 +03:00
d8286e6339
M: Small UI fixes
8bd2c71f50
F: Implement typification checks on substitutions
30ec76cefd
F: Implement basic substitution checks
584ce59f2d
F: Add search feature to multiple cst selector
f6b52adacd
M: Improve mobile UI
Compare 9 commits »
iborisov
pushed to
main
at
ConceptProd/Portal
2024-08-23 22:54:08 +03:00
f86d847d64
M: Minor syntax fixes
b60c1305bd
F: Improve stats UI for OSS and RSForm
13b7b4d748
F: Improve OSS deletion mechanics
eb5cb6945f
M: Remove inheritance data from archive schemas
1305560679
M: Improve stats labels
Compare 9 commits »
First
Previous
1
2
3
4
5
...
Next
Last