Skip to content
GitLab
Explore
Sign in
Register
switch from namespaces to dictionaries
Code
Review changes
Check out branch
Download
Patches
Plain diff
Anton Akhmerov
requested to merge
parameters
into
master
May 24, 2020
Overview
0
Commits
17
Pipelines
8
Changes
24
Expand
This aligns with Kwant's new
params
interface.
Edited
Aug 05, 2021
by
Anton Akhmerov
Merge request reports