| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-02-29 | refactor(src): move yices into vendor subdir | Austin Seipp |
| 2020-01-31 | Initial release of BSC as open source | Julie Schwartz |
 |
index : github/bsc.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiff |
path: root/.gitmodules