Thanks to visit codestin.com
Credit goes to github.com

Commits

Commits on Sep 29, 2024

docs: add LLVM exceptions to Apache 2.0 licensing
favonia
committed

Commits on Nov 19, 2023

docs: add CONTRIBUTING.markdown
favonia
committed

Commits on Nov 5, 2023

style: avoid *Labels
favonia
committed

Commits on Oct 3, 2023

docs(CONTRIBUTORS): actually use Markdown
favonia
committed

Commits on Sep 4, 2023

build(deps): bump actions/checkout from 3 to 4 (#14)
dependabot[bot]
authored

Commits on Aug 30, 2023

Commits on Aug 29, 2023

Commits on May 24, 2023

docs: unify the cases of "kado"
favonia
committed

Commits on Jun 9, 2022

docs(Graph): tweak the comments
favonia
committed

Commits on Jun 5, 2022

fix(Theory): use compare_dim, not compare (#10)
favonia
authored

Commits on Jun 4, 2022

docs: update README and rename test files
favonia
committed

Commits on May 27, 2022

fix(Graph): edges (v, 1) can be removed from reduced graphs
favonia
committed

Commits on May 26, 2022

Commits on May 18, 2022

docs: use {e emphasis} not {i italic}
favonia
committed

Commits on Apr 30, 2022

Commits on Apr 18, 2022

docs(README): make the title bigger
favonia
committed

Commits on Apr 17, 2022

Commits on Apr 7, 2022