Skip to content
GitLab
Explore
Sign in
Luc Libralesso
cryptodag
Merge requests
!2
Optimize ctree
Code
Review changes
Check out branch
Download
Patches
Plain diff
Francois DELOBEL
requested to merge
optimize_ctree
into
master
Nov 18, 2020
Overview
0
Commits
4
Pipelines
0
Changes
12
Expand
Detect aliases variables (a = b)
Create class with union-find
Substitute variables in constraints
Delete the useless alias constraints (a = a)
Merge request reports