Skip to content
GitLab
Explore
Sign in
Dmitry Khalanskiy
Iris
Repository
iris
theories
algebra
namespace_map.v
Find file
Blame
History
Permalink
Rename Awesome_{ne,proper} to NamespaceMap_{ne,proper}
· 38df0d21
Paolo G. Giarrusso
authored
Jan 07, 2020
38df0d21