Skip to content

Rename module names, e.g. "precision_module" -> "precision" #8

Description

@certik

I think the _module in all modules name is redundant. I propose to rename:
solution_module -> solution
solver_module -> solver
precision_module -> precision
controller_module -> controller
geometry_module -> geometry

It's easier to type and consistent with other module names. Just like in Python, you also don't append _module to Python module names.

If you agree, I'll send a PR.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions