Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | cad/abc: Update g20180420 -> g20200322 | Yuri Victorovich | 2020-03-22 | 1 | -0/+20 |
* | New port: cad/abc: System for sequential synthesis and verification | Yuri Victorovich | 2018-04-24 | 2 | -0/+36 |
![]() |
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 g20180420 -> g20200322 | Yuri Victorovich | 2020-03-22 | 1 | -0/+20 |
* | New port: cad/abc: System for sequential synthesis and verification | Yuri Victorovich | 2018-04-24 | 2 | -0/+36 |