| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | cad/abc: Update g20200322 -> g20220920 | Emmanuel Vadot | 2022-10-09 | 1 | -6/+6 |
| * | New port: cad/abc: System for sequential synthesis and verification | Yuri Victorovich | 2018-04-24 | 1 | -0/+18 |
![]() |
index : freebsd/ports.git | |
| Unnamed repository; edit this file 'description' to name the repository. | git |
| summaryrefslogtreecommitdiff |
| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | cad/abc: Update g20200322 -> g20220920 | Emmanuel Vadot | 2022-10-09 | 1 | -6/+6 |
| * | New port: cad/abc: System for sequential synthesis and verification | Yuri Victorovich | 2018-04-24 | 1 | -0/+18 |