search

stanford-centaur / pono

Pono: A flexible and extensible SMT-based model checker
Other
82 stars 30 forks source link

Rename default branch to main #321

Closed CyanoKobalamyne closed 2 months ago

CyanoKobalamyne commented 9 months ago

We should rename the master branch to main. See here for the rationale: https://about.gitlab.com/blog/2021/03/10/new-git-default-branch-name/.