Commits

History for

Commits on Sep 21, 2024

Start some cleanups.
grafikrobot
committed

Commits on Dec 8, 2021

Reformat all headers to consistent style.
grafikrobot
committed

Commits on Jul 26, 2020

Replaces uses of cli_parser with cli.
grafikrobot
committed

Commits on Jul 12, 2020

Update copyright names and format to be consistent.
grafikrobot
committed

Commits on Sep 17, 2019

Fix cardinality() use to obey [n,m] bounds.
grafikrobot
committed

Commits on Mar 13, 2019

Initial tearup refactor into independent headers.
grafikrobot
committed

Commits on Mar 2, 2019

Rename tests to automate testing maintenance.
grafikrobot
committed

Loading