Skip to content
GitLab
Explore
Sign in
Rename ExactState to FullSummationState
Code
Review changes
Check out branch
Download
Patches
Plain diff
Vicentini Filippo
requested to merge
github/fork/PhilipVinc/pv/rename-exact
into
master
May 16, 2023
Overview
5
Commits
3
Pipelines
0
Changes
18
Expand
Created by: PhilipVinc
This has long confused people...
closes
#1330 (closed)
cc @gcarleo ?
Merge request reports