Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixing old e-mail addresses and deadnames | Claire Xenia Wolf | 2021-06-08 | 1 | -1/+1 |
* | Use C++11 final/override keywords. | whitequark | 2020-06-18 | 1 | -2/+2 |
* | kernel: big fat patch to use more ID::*, otherwise ID(*) | Eddie Hung | 2020-04-02 | 1 | -1/+1 |
* | Consistent use of 'override' for virtual methods in derived classes. | Henner Zeller | 2018-07-20 | 1 | -2/+2 |
* | Added "equiv_add -try" mode | Clifford Wolf | 2016-01-06 | 1 | -6/+33 |
* | Import more std:: stuff into Yosys namespace | Clifford Wolf | 2015-10-25 | 1 | -1/+1 |
* | Added "equiv_add -cell" | Clifford Wolf | 2015-10-25 | 1 | -32/+93 |
* | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 1 | -2/+2 |
* | Added equiv_add | Clifford Wolf | 2015-02-08 | 1 | -0/+89 |