Skip to content
GitLab
Explore
Sign in
Register
Graph closure procedure
Code
Review changes
Check out branch
Download
Patches
Plain diff
Tsegelnik Nikita
requested to merge
feature/graph-closure
into
update-to-data-preservation
Oct 30, 2022
Overview
0
Commits
18
Pipelines
0
Changes
28
Expand
Closure procedure
Memory allocation
Type-functions
Logging
Some basic transformations
Codestyle, exceptions, other small fixes
Merge request reports