Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | More deadname stuff | Claire Xenia Wolf | 2021-06-09 | 1 | -2/+2 |
* | Use HTTPS for website links, gatecat email | Claire Xenia Wolf | 2021-06-09 | 1 | -1/+1 |
* | Fixing old e-mail addresses and deadnames | Claire Xenia Wolf | 2021-06-08 | 1 | -1/+1 |
* | Renamed opt_const to opt_expr | Clifford Wolf | 2016-03-31 | 1 | -2/+2 |
* | Spell check (by Larry Doolittle) | Clifford Wolf | 2015-08-14 | 1 | -1/+1 |
* | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 1 | -13/+13 |
* | appnote 012 fix | Clifford Wolf | 2015-04-04 | 1 | -2/+2 |
* | Appnote 012 | Clifford Wolf | 2015-04-04 | 1 | -114/+114 |
* | appnote for verilog to btor | Ahmed Irfan | 2015-04-03 | 1 | -0/+435 |